On Fri, Jul 15, 2011 at 18:05, Stefano Stabellini <stefano.stabell...@eu.citrix.com> wrote: > Shouldn't we avoid registering any memory for the whole video ram area? > I mean: > > 0xa0000 - 0x100000
No, because SeaBIOS load the Options ROM (VGA Bios, PXE) to the area between 0xc0000 and 0x100000, and this go through QEMU. The area between 0xa0000 and 0xc0000 is registred later by the cirrus_vga bits, as IO. -- Anthony PERARD