docs
docs copied to clipboard
zynq7000 patch is outdated
https://github.com/seL4/docs/blob/5b8af67b8625fd0ccad32ce6bab4ae6021e7e61e/Hardware/ZC706.md?plain=1#L35C1-L35C9
This patch does not apply at all to the current structure found over at https://github.com/Xilinx/u-boot-xlnx