<div>Hey all,</div><div><br></div><div>I am running barrelfish on a x86_64 smp box and run into the following error while trying to boot it:</div><div><br></div><div>spawnd: invoked on core1 as: spawnd/usr/pci/pcimain.c:115</div>
ERROR: adding region 84 FAILED<div>Failure: (          libmm) Node already present in add_node() [MM_ERR_ALREADY_PRESENT]</div><div>Aborted</div><div><br></div><div>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?</div>
<div><br></div><div>-adk</div>