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 (really seabios should
communicate this to the chipset, but our chipset doesn't support this at
It should also only apply to -M old.
error compiling committee.c: too many arguments to function