Am 17. November 2019 23:09:18 MEZ schrieb Steve McIntyre <st...@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