[Barrelfish-users] PCI error while running barrelfish

Abhishek Kulkarni adkulkar at indiana.edu
Tue May 24 02:08:57 CEST 2011

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()

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?

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

More information about the Barrelfish-users mailing list