Am 17. November 2019 23:09:18 MEZ schrieb Steve McIntyre <steve@einval.com>: >you'll >probably need to make your initial boot binary be a PE UEFI >executable. No, afaik that's not neccessary if you boot from an intermediate bootloader like grub. Peter