au-ts / libvmm

An experimental virtual machine monitor for the seL4 microkernel
Other
29 stars 15 forks source link

examples/simple: utilise overlays #113

Closed Ivan-Velickovic closed 3 months ago

Ivan-Velickovic commented 3 months ago

For QEMU virt AArch64 and Odroid-C4, what we did in the past is take the original DTS intended for booting Linux natively and adapt it to work in a virtualised environment.

This patch gets those two platforms in line with the current convention for other platforms and examples which is to have linux.dts be the unmodified DTS from Linux source and then use the overlay to disable certain devices, change the amount and address of RAM, etc.