mirror of
https://github.com/seL4/seL4.git
synced 2026-03-27 10:29:57 +00:00
1a9b776e4f
Signed-off-by: Hannu Lyytinen <hannu.lyytinen@unikie.com> kernel,bcm2711: Fix RPI4 address mapping Fix build error and warnings by removing GPIO mapping from overlay. Also as a note, don't add 'serial1' or 'ethernet' here, because 'serial1' is already mapped to sel4 kernel by 'chosen' block in 'overlay-rpi4.dts', and the translation for the 'ethernet' is done with 'ranges' property. Signed-off-by: Joonas Onatsu <joonasx@ssrc.tii.ae> kernel,bcm2711: Fix memory area overlay DTS First fix is to change the memory area reserved for the VideoCore from 64 -> 76 MB, as this is the default value on RPi4. Using other values would require configuration of the first stage bootloader with 'config.txt' file. Second fix is separating the disjunct memory areas to separate nodes, as the generator Python scripts in 'kernel/tools/' etc discarded the first area below 1GB limit if all areas were defined in the same node. The effect of different variations can be observed during kernel build in the generated 'kernel/gen_headers/plat/machine/devices_gen.h' header. Third fix is adding the reserved memory area for the VideoCore memory to avoid any collisions. Signed-off-by: Joonas Onatsu <joonasx@ssrc.tii.ae>