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

[Brendan Trotter]

Hi,

For the "same area reported twice" bug, you'd want to put something like this:

#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

At (roughly) line 4361 in src/VBox/Devices/PC/BIOS/rombios.c (in case
3 of the "int 0x15, eax = 0xE820" code)...


Cheers,

Brendan

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