Added flags for Cheshire platform - no timer and 1GiB of RAM so timer…

… and huge page tests must be disabled Signed-off-by: Matt Rossouw <[email protected]>
seL4 · Jan 17, 2025 · 3af4be4 · 3af4be4
1 parent d89ce01
commit 3af4be4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/apps/sel4test-tests/arch/riscv/arch_frame_type.h b/apps/sel4test-tests/arch/riscv/arch_frame_type.h
@@ -15,7 +15,8 @@ static const frame_type_t frame_types[] = {
     * so we can't allocate a 1GiB page for this test.
     * Polarfire has 1GiB of memory can't allocate a 1GiB page for user space */
 #if __riscv_xlen == 64 && !defined(CONFIG_PLAT_ROCKETCHIP) \
- && !defined(CONFIG_PLAT_ARIANE) &&!defined(CONFIG_PLAT_POLARFIRE)
+ && !defined(CONFIG_PLAT_ARIANE) &&!defined(CONFIG_PLAT_POLARFIRE) \
+ && !defined(CONFIG_PLAT_CHESHIRE)
     { seL4_RISCV_Giga_Page, 0, seL4_HugePageBits, },
 #endif
     { seL4_RISCV_Mega_Page, 0, seL4_LargePageBits, },

diff --git a/settings.cmake b/settings.cmake
@@ -82,6 +82,7 @@ if(NOT Sel4testAllowSettingsOverride)
         OR KernelPlatformQuartz64
         OR KernelPlatformRocketchip
         OR KernelPlatformRocketchipZCU102
+        OR KernelPlatformCheshire
         OR (SIMULATION AND (KernelArchRiscV OR KernelArchARM))
     )
         # Frequency settings of the ZynqMP make the ltimer tests problematic