Hi all,<div><br></div><div>Thanks for releasing for this new version of Barrelfish :)</div><div><br></div><div>I have a small problem while running the system. I&#39;m making the default compilation for x86_64 and running it under QEMU. I&#39;m using the default options:</div>
<div><br></div><div><div>$ mkdir build</div><div>$ cd build/</div><div>$ ../hake/hake.sh .. x86_64</div><div>$ make</div><div>$ make sim ARCH=x86_64</div></div><div><br></div><div>All compilation goes fine and QEMU boots Barrelfish till this error is printed and system is halted:</div>
<div><br></div><div><div>chips: notifying client about skb</div><div>chips: notifying client about skb</div><div>spawnd: Waiting for pci to finish</div><div>chips: client waiting for pci_discovery_done</div><div>ERROR: pci.0 in AcpiOsInstallInterruptHandler() ../usr/pci/acpica_osglue.c:831</div>
<div>ERROR: failed to route interrupt</div><div>Failure: (            pci) Unknown global system interrupt number [PCI_ERR_UNKNOWN_GSI]</div><div>Assertion failed on core 0 in pci: r == 0, function init_acpi, file ../usr/pci/acpi.c, line 726.</div>
<div>Aborted</div></div><div><br></div><div>Do you have any ideas on what is happening? </div><div><br></div><div>I&#39;m using Ubuntu v10.10 with:</div><div>gcc v4.4.5</div><div>ghc v6.12.3</div><div>qemu v0.12.5</div><div>
<br></div><div>Thank you all. You are doing a great work!!</div><div><br></div><div>-- <br>Zeus Gómez Marmolejo<br>Barcelona Supercomputing Center<br>PhD student<br><a href="http://www.bsc.es" target="_blank">http://www.bsc.es</a><br>
<br><br>
</div>