seL4 / camkes-vm-linux

Other
4 stars 13 forks source link

update_dtb: handle initrd values in upper memory #12

Closed chrisguikema closed 2 years ago

chrisguikema commented 2 years ago

Initrds could be loaded into 64-bit memory regions. This commit adds support for splitting 64-bit regions into device-tree compatible pairs.