[vbox-dev] Quick patch for BIOS bug (same area reported twice by "int 0x15, eax = 0xE820")

[Brendan Trotter]

Hi,

Doh - I forgot the legalese.....

----8<----

// These few lines are public domain and/or covered by the MIT licence
and/or covered by the GNU Lesser General Public Licence (choose
whichever you prefer)....

#ifdef VBOX
     set_e820_range(ES, regs.u.r16.di,0x00100000L,
extended_memory_size - 0x10000, 1);
#else
     set_e820_range(ES, regs.u.r16.di,0x00100000L, extended_memory_size, 1);
#endif

----8<----


I never was good at legal stuff - hope that covers any requirements....


Cheers,

Brendan


-- 
BCOS Project - http://bcos.zapto.org