UEFI

2015

Single UEFI executable for kernel+initrd+cmdline -