Re: [SeaBIOS] [BUG] BSOD on Win2003 Server when 64bit PCI resource is present

[Alexey Korolev]

Hi Kevin,
> Unfortunately, it's very difficult to debug acpi issues on Windows.
> Gerd's been on vacation this week - so, lets give him a chance to look
> at it when he gets back.  If it can't be resolved, we'll need to
> revert the patch that broke Win2003.

Thank you for your reply.
Right - acpi issues are painful. Actually I'm on a long holidays too. I'll do my best if you or Gerd need any help with the issue.

Kind regards,
Alexey