search

TUD-OS / NRE

NOVA runtime environment (official branch)
GNU General Public License v2.0
33 stars 12 forks source link

PCICFG addr(bdf, offset) returns MMIO base address #36

Closed parthy closed 11 years ago

parthy commented 11 years ago

Although the function takes the BDF as an argument, it always returns the MMIO base address (e.g., 0xe0000000) regardless of the device. As soon as the IOMMU is activated, this results in a number of problems (GSIs, PCI assignment problems).

I know that the IOMMU functionality is currently unimplemented, but the Gsi creation and the usage in the VBE glue code is still wrong.

hrniels commented 11 years ago

I've just fixed it. Could you please test if it works for you?

parthy commented 11 years ago

Perfect, thank you.