riscv: disable huge page for rocketchip

Rocketchip default platform configuration only has 256MB of RAM, so we can't allocate a huge 1GB page. Also, removed outdated platform configuration BUILD_ROCKET_CHIP_ZEDBOARD Signed-off-by: Juan Pablo Ruiz <[email protected]>
seL4 · Jun 19, 2021 · 53e5fba · 53e5fba
1 parent 5d607ee
commit 53e5fba
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/apps/sel4test-tests/arch/riscv/arch_frame_type.h b/apps/sel4test-tests/arch/riscv/arch_frame_type.h
@@ -11,9 +11,11 @@
 
 /* This list must be ordered by size - highest first */
 static const frame_type_t frame_types[] = {
-    /* Rocket-Chip for zedboard only has 256MiB of RAM, so we can't allocate a 1GiB page */
-    /* Polarfire has 1GiB of memory can't allocate a 1GiB page for user space */
-#if __riscv_xlen == 64 && !defined(CONFIG_BUILD_ROCKET_CHIP_ZEDBOARD) && !defined(CONFIG_PLAT_ARIANE) &&!defined(CONFIG_PLAT_POLARFIRE)
+    /* Rocket-Chip only has a default 256MiB of RAM in rocketchip.dts,
+    * 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)
     { seL4_RISCV_Giga_Page, 0, seL4_HugePageBits, },
 #endif
     { seL4_RISCV_Mega_Page, 0, seL4_LargePageBits, },