On Fri, May 13, 2022 at 04:30:39PM +0200, Ahmad Fatoum wrote: > barebox built as EFI payload has been booting Linux on x86 with > type_of_loader=0xff since v2015.09.0. What is barebox? That https://en.wikipedia.org/wiki/Barebox ? That version number v2015 - am I to understand it that it has been booting Linux since the year 2015? In any case, it would be useful to explain a bit what it is here. > Reserve 13, the next free id, so this can be used instead. Sure, I guess, why not. Thx. -- Regards/Gruss, Boris. https://people.kernel.org/tglx/notes-about-netiquette