[PATCH] Documentation: x86: boot: reserve type_of_loader=13 for barebox

[Borislav Petkov]

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