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

[Borislav Petkov]

On Sun, Oct 02, 2022 at 09:15:09AM +0200, Ahmad Fatoum wrote:
> Release cadence is monthly. Starting with release v2015.09.0,
> type_of_loader=0xff was being used. I figured it's about time, we
> allocate an ID for it.

Right, by "explain a bit what it is here" I meant to explain what it
is and add some references to the commit message. I.e., leave enough
breadcrumbs so that people like me can go and find that relevant info
when doing git archeology.

Thx.

-- 
Regards/Gruss,
    Boris.

https://people.kernel.org/tglx/notes-about-netiquette