Skip to content

Commit

Permalink
Mention default RPi4 model seL4 builds for
Browse files Browse the repository at this point in the history
Signed-off-by: Ivan Velickovic <[email protected]>
  • Loading branch information
Ivan-Velickovic committed Oct 18, 2023
1 parent 86156ad commit a388c56
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion Hardware/Rpi4.md
Original file line number Diff line number Diff line change
Expand Up @@ -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 %}

Expand Down

0 comments on commit a388c56

Please sign in to comment.