portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

rpi4,elfloader: select firmware node for smp boot

Browse source 
Attach the firmware node so that the elfloader can perform smp boots.

Signed-off-by: Kent McLeod <kent@kry10.com>
This commit is contained in:
Kent McLeod 2025-03-05 17:10:13 +11:00
parent f2925faee8
commit 6059924669
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/plat/bcm2711/overlay-rpi4.dts
View file

@ -10,6 +10,7 @@
chosen {
seL4,elfloader-devices =
"serial1",
&{/soc/firmware},
&{/timer};
seL4,kernel-devices =

3
tools/hardware.yml
View file

@ -224,8 +224,7 @@ devices:
- compatible:
- arm,psci-0.2
- arm,psci-1.0
- compatible:
- fsl,imx6q-src
- fsl,imx6sx-src
- compatible:
- xlnx,zynq-reset
- raspberrypi,bcm2835-firmware