Files
seL4/tools
Joonas Onatsu 8b22630929 kernel,bcm2711: Remove redundant reserved mem
Remove redundant (and incorrect) reserved memory
definition for VideoCore memory. The reserved
memory area is defined in 'overlay-rpi4.dts'.

Signed-off-by: Joonas Onatsu <joonasx@ssrc.tii.ae>
2022-10-26 15:27:19 +11:00
..
2022-07-20 16:37:33 +10:00
2020-06-18 12:39:46 +10:00