[Barrelfish-users] Details regarding pci support with acpi

[hilfi alkaff]

Hi,

I'm an undergraduate currently working on a research operating system and
I'm having problems when initializing pci and mapping its interrupts with
ACPI. I'm wondering how do you guys figure out the pci_add_root() function
because I could not find any meaningful details in Intel's acpica reference.

Thanks,
Hilfi Alkaff
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20110804/94e71e15/attachment.html