[coreboot] 64bit PCI support in coreboot and CRS methods

[Alexey Korolev]

>> Sorry I'm not familiar with coreboot, so I probably asking obvious things.
>>
>> I have questions about the status of 64bit PCI support in coreboot.

>Why not look this up yourself in the source code?


>> I ask these questions because there is a BSOD issue on Win2003 with
>> 64bit PCI mem resources in Seabios.
>> The issue is caused by CRS method in ACPI dsdt code of seabios.
>> Unfortunately I don't know how to fix this bug. Probably you can
>> suggest something if there is no such a problem in coreboot. I
>> would very much appreciate any ideas!

>It sounds like you have a problem with another project, like you do
>not want to learn about the technology involved (which I understand,
>ACPI is no fun), and like you hope that some coreboot folks will tell
>you how to fix the problem. Nothing works like that.

>I suggest to learn more about the technology you are stuck with, or
>to hire someone who already has.

>You haven't even shown a boot log from SeaBIOS, much less the checked
>windows error. Did you even try a checked windows build? Can you
>interpret the errors it throws? Did you investigate the problem in
>WinDbg?

>There are numerous things that you could do in order to gather
>information about the problem, and you don't seem to have done
>any single one of them, yet you ask people you don't know on the
>internet to help you.

Could you please read my previous e-mail again.
1. I don't ask coreboot people to solve this issue. It is obviously different project, so it would be stupid to ask this. 
2. The thing I'm asking
   a. Status of 64bit support. I don't know if coreboot is tested in configurations when 64bit PCI devices occupy high memory on Win2003 or WinXP. 
   b. Ideas - in lucky case.
That is.