feat: add note about Xilinx U-Boot EL1 quirk

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel

Other

68 stars 37 forks source link

feat: add note about Xilinx U-Boot EL1 quirk #135

Open wucke13 opened 2 weeks ago

wucke13 commented 2 weeks ago

This commits adds a note on booting Microkit on the zcu102. In particular, it mentions a fix for situations where the boot fails do to U-Boot switching from EL2 to EL1 just before handing of boot to Microkit.

Ivan-Velickovic commented 20 minutes ago

If you could rebase and address the feedback then we can merge.