On 05/02/12 17:31, Avi Kivity wrote: > On 05/02/2012 05:02 PM, Gerd Hoffmann wrote: >> This patch adds a address space hole for 64bit PCI ressources. >> It starts at 0x8000000000 (512 GB) and ends at 0x10000000000 (1 TB), >> thus has 512 GB in size. This matches what the seabios is doing >> (latest master branch). > > We should communicate this to seabios via fwcfg
A dsdt entry is needed for the pci64 window (see http://code.coreboot.org/p/seabios/source/commit/482a020ec25f4cec655ddcb16b67c6f38b0844c0/), which makes it non-trivial to turn this into a runtime option ... > It should also only apply to -M old. Is this the only reason you want this be runtime-switchable? cheers, Gerd