[SeaBIOS] [PATCH 0/6] pci patches (with BSOD fix)

[Gerd Hoffmann]

  Hi,

> pcimem64_start = (RamSizeOver4G + pcimem64_size) & ~(pcimem64_size-1);

> I guess it would be proper if pcimem64_start will be set in this way:
> pcimem64_start = ALIGN(0x100000000LL + RamSizeOver4G, pcimem64_size);

Indeed.

> Probably the correct value of the length of the PCI resource window should be set as
> len = pcimem_end - pcimem_start?

Yes.

Updated patches pushed to git://git.kraxel.org/seabios pci64

cheers,
  Gerd