Added flags for Cheshire platform (#129)

omeh-a · web-flow · commit 3583555b7db2 · 2025-02-04T16:20:46.000+11:00
Cheshire - no timer and 1GiB of RAM so timer and huge page tests must be
disabled.

Signed-off-by: Matt Rossouw &lt;matthew.rossouw@unsw.edu.au&gt;
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

Original file line number	Diff line number	Diff line change
`@@ -82,6 +82,7 @@ if(NOT Sel4testAllowSettingsOverride)`
`82`	`82`	`OR KernelPlatformQuartz64`
`83`	`83`	`OR KernelPlatformRocketchip`
`84`	`84`	`OR KernelPlatformRocketchipZCU102`
	`85`	`+ OR KernelPlatformCheshire`
`85`	`86`	`OR (SIMULATION AND (KernelArchRiscV OR KernelArchARM))`
`86`	`87`	`)`
`87`	`88`	`# Frequency settings of the ZynqMP make the ltimer tests problematic`