[Barrelfish-users] PCI error while running barrelfish

[Abhishek Kulkarni]

Hey all,

I am running barrelfish on a x86_64 smp box and run into the following error
while trying to boot it:

spawnd: invoked on core1 as: spawnd/usr/pci/pcimain.c:115
ERROR: adding region 84 FAILED
Failure: (          libmm) Node already present in add_node()
[MM_ERR_ALREADY_PRESENT]
Aborted

Is this because one of the devices connected to the PCI bus might not be
supported? What would be a good way to debug this?

-adk
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20110523/49b2d1eb/attachment.html