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

[Alexey Korolev]

On 29/05/12 19:14, Gerd Hoffmann wrote:
>   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
Thanks, the new version works fine.

Alexey