Hi, > > (4) What about ArmVirtPkg for 32bit arm? > > I think this would be a good idea.
> We should be aiming to get 'virt' to work for the 32-bit case. > vexpress-a9/a15 is trying to model real hardware and has a > lot of irritating constraints as a result (like no PCI, only > SD card storage). > > This probably means sorting out passing through the DTB > from QEMU into UEFI and then into the boot loader. Looking at aarch64 it looks like the guest kernel doesn't use acpi but got a fdt somehow. Dunno how that happened. I guess ArmVirtPkg exports the FDT using EFI interfaces, then either the kernel gets it directly or grub is able to get and pass on the FDT. In any case it seems think the same should work for 32bit without too much trouble. cheers, Gerd