[Barrelfish-users] Unknown global system interrupt

Zeus Gómez Marmolejo zeus.gomez at bsc.es
Mon Mar 14 13:09:39 CET 2011

Hi all,

Thanks for releasing for this new version of Barrelfish :)

I have a small problem while running the system. I'm making the default
compilation for x86_64 and running it under QEMU. I'm using the default

$ mkdir build
$ cd build/
$ ../hake/hake.sh .. x86_64
$ make
$ make sim ARCH=x86_64

All compilation goes fine and QEMU boots Barrelfish till this error is
printed and system is halted:

chips: notifying client about skb
chips: notifying client about skb
spawnd: Waiting for pci to finish
chips: client waiting for pci_discovery_done
ERROR: pci.0 in AcpiOsInstallInterruptHandler()
ERROR: failed to route interrupt
Failure: (            pci) Unknown global system interrupt number
Assertion failed on core 0 in pci: r == 0, function init_acpi, file
../usr/pci/acpi.c, line 726.

Do you have any ideas on what is happening?

I'm using Ubuntu v10.10 with:
gcc v4.4.5
ghc v6.12.3
qemu v0.12.5

Thank you all. You are doing a great work!!

Zeus Gómez Marmolejo
Barcelona Supercomputing Center
PhD student
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20110314/6231e0da/attachment.html 

More information about the Barrelfish-users mailing list