[Barrelfish-users] error for running barrelfish

[Yaojia Zhu]

Hi,
I was going to boot Barrelfish by typing the command: make sim ARCH=x86_64.
Then an error occur. Can anyone tell me what's the problem here? It's
the problem of some PCI driver? What should I do? Thanks very much!


  Booting 'Barrelfish'

root (nd)
 Filesystem type is tftp, using whole disk
kernel /x86_64/sbin/cpu loglevel=4
   [Multiboot-elf, <0x100000:0x15ac0:0x5c550>, shtab=0x173780, entry=0x10000c]
module /x86_64/sbin/init
   [Multiboot-module @ 0x1d1000, 0x11f3aa bytes]
module /x86_64/sbin/mem_serv
   [Multiboot-module @ 0x2f1000, 0x10547b bytes]
module /x86_64/sbin/monitor
   [Multiboot-module @ 0x3f7000, 0x1978ac bytes]
module /x86_64/sbin/chips
   [Multiboot-module @ 0x58f000, 0x103291 bytes]
module  /x86_64/sbin/skb
   [Multiboot-module @ 0x693000, 0x896a83 bytes]
module  /x86_64/sbin/pci
   [Multiboot-module @ 0xf2a000, 0x2f3382 bytes]
module  /x86_64/sbin/serial
   [Multiboot-module @ 0x121e000, 0x104bae bytes]
module /x86_64/sbin/fish
   [Multiboot-module @ 0x1323000, 0x1a9811 bytes]

Kernel starting at address 0xffffffffc14ce000
Spawning memory server (mem_serv)...
Spawning monitor (monitor)...
RAM allocator initialised, 356 MB (of 360 MB) available
Spawning chips on core 0...
Spawning skb on core 0...
Spawning pci on core 0...
Spawning serial on core 0...
Spawning fish on core 0...
chips: client waiting for skb
chips: client waiting for pci
XXX: getpid() returns always 3
XXX: getpid() returns always 3
chips: client waiting for serial
WARNING: getenv(ECLIPSELIBRARYPATH_6_0) not implemented
WARNING: getenv(ECLIPSELIBRARYPATH) not implemented
chips: notifying client about skb
ERROR: pci.0 in AcpiOsInstallInterruptHandler()
../usr/pci/acpica_osglue.c:824 failed to route interrupt
Failure: (            pci) Unknown global system interrupt number
[PCI_ERR_UNKNOWN_GSI]
Assertion failed on core 0 in pci: r == 0, function init_acpi, file
../usr/pci/acpi.c, line 692.
Aborted