* ron minnich <rminnich at gmail.com> [140514 19:22]: > what's an "EFI OS"? An OS that implements the UEFI standard, e.g. TianoCore / edk2 ;) This is under the assumption that every advanced boot loader eventually turns into an operating system. SCNR. Stefan