From a388c565adc31eac5652ab5aebf53593bc17add6 Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Wed, 18 Oct 2023 19:22:35 +1100 Subject: [PATCH] Mention default RPi4 model seL4 builds for Signed-off-by: Ivan Velickovic --- Hardware/Rpi4.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Hardware/Rpi4.md b/Hardware/Rpi4.md index ec11741686..54c100fccd 100644 --- a/Hardware/Rpi4.md +++ b/Hardware/Rpi4.md @@ -59,7 +59,8 @@ You will see that the `init-build.sh` command contains the flag `-DRPI4_MEMORY`, this specifies how much RAM exists on the Raspberry Pi that will run the final seL4 image. Since seL4 needs to know the physical memory layout of the hardware at build time, and the RPi4 has multiple models with different amounts of RAM, we have to -specify how much RAM the system will have when we build seL4. +specify how much RAM the system will have when we build seL4. If `-DRPI4_MEMORY` is not supplied, +seL4 defaults to expecting 8GB of memory. {% include sel4test.md %}