[Barrelfish-users] PCI error while running barrelfish
adkulkar at indiana.edu
Tue May 24 02:08:57 CEST 2011
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...
More information about the Barrelfish-users