forked from Imagelibrary/seL4
Compare commits
1 Commits
aos
...
lsf37/no-c
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
478372b62d |
@@ -138,7 +138,7 @@ static inline BOOT_CODE pptr_t it_alloc_paging(void)
|
||||
/* return the amount of paging structures required to cover v_reg */
|
||||
word_t arch_get_n_paging(v_region_t it_veg);
|
||||
|
||||
#if defined(CONFIG_DEBUG_BUILD) && defined(ENABLE_SMP_SUPPORT) && defined(CONFIG_KERNEL_MCS) && !defined(CONFIG_PLAT_QEMU_ARM_VIRT)
|
||||
#if defined(CONFIG_DEBUG_BUILD) && defined(ENABLE_SMP_SUPPORT) && defined(CONFIG_KERNEL_MCS) && !defined(CONFIG_PLAT_QEMU_ARM_VIRT) && !defined(CONFIG_ARCH_RISCV)
|
||||
/* Test whether clocks are synchronised across nodes */
|
||||
#define ENABLE_SMP_CLOCK_SYNC_TEST_ON_BOOT
|
||||
#endif
|
||||
|
||||
Reference in New Issue
Block a user