# qemu kernel and syslinux for bootloader...
# eventually switch to EFI ?

linux-virt
syslinux
