On Fri, Sep 14, 2012 at 10:00:46AM +0200, Gerd Hoffmann wrote: > Guess we want CONFIG_QEMU_PIIX and CONFIG_QEMU_Q35 to build the two bios > variants[1]. Or include both acpi tables, then select at runtime. I think two binaries is better to save on memory. -- MST