<div dir="ltr"><font face="arial,helvetica,sans-serif">Hi all,<br clear="all"></font><div><br></div><div>I am trying to run Barrelfish using qemu on a 64-bit Ubuntu machine. I was able to build the OS successfully. However, when I run "make sim", I get the error shown below.</div>
<div><br></div><div><div><div>My system specifications are:</div><div>- Kernel: 2.6.35-28-generic</div><div>- qemu: 0.14.0 (qemu-kvm-0.14.0)</div><div>
- ghc: 6.12.3</div></div><div>- gcc: 4.5.2</div><div><br></div><div>Any ideas about what could be the problem?</div><div><br></div><div>Best Regards,</div><div>Mohamed</div></div><div><br></div>
<div>***** BEGIN OUTPUT *****</div><div><div> Booting 'Barrelfish'</div><div><br></div><div>root (nd)</div><div> Filesystem type is tftp, using whole disk</div><div>kernel /x86_64/sbin/elver loglevel=4</div><div>
[Multiboot-elf, <0x100000:0x21b6:0x0>, <0x103fe4:0x1c:0x6000>, shtab=0x10a32</div><div>0, entry=0x10000c]</div><div>module /x86_64/sbin/cpu loglevel=4</div><div> [Multiboot-module @ 0x115000, 0xcd5ca bytes]</div>
<div>module /x86_64/sbin/init</div><div> [Multiboot-module @ 0x1e3000, 0x394057 bytes]</div><div>module /x86_64/sbin/mem_serv</div><div> [Multiboot-module @ 0x578000, 0x351270 bytes]</div><div>module /x86_64/sbin/monitor</div>
<div> [Multiboot-module @ 0x8ca000, 0x5d071f bytes]</div><div>module /x86_64/sbin/chips boot</div><div> [Multiboot-module @ 0xe9b000, 0x346b52 bytes]</div><div>module /x86_64/sbin/ramfsd boot</div><div> [Multiboot-module @ 0x11e2000, 0x3ce88d bytes]</div>
<div>module /x86_64/sbin/skb boot</div><div> [Multiboot-module @ 0x15b1000, 0x7ec365 bytes]</div><div>modulenounzip /skb_ramfs.cpio.gz nospawn</div><div> [Multiboot-module @ 0x1d9e000, 0x9bd43 bytes]</div><div>module /x86_64/sbin/pci boot</div>
<div> [Multiboot-module @ 0x1e3a000, 0x604e89 bytes]</div><div>module /x86_64/sbin/spawnd boot</div><div> [Multiboot-module @ 0x243f000, 0x548069 bytes]</div><div>module /x86_64/sbin/startd boot</div><div> [Multiboot-module @ 0x2988000, 0x4fb0e5 bytes]</div>
<div>module /x86_64/sbin/serial</div><div> [Multiboot-module @ 0x2e84000, 0x38f5b6 bytes]</div><div>module /x86_64/sbin/fish</div><div> [Multiboot-module @ 0x3214000, 0x53cf02 bytes]</div><div><br></div><div>Kernel starting at address 0xffffff8003752000</div>
<div>Barrelfish CPU driver starting on x86_64 apic_id 0</div><div>kernel 0: Measured 999993816 APIC timer counts in one RTC second, 56173 data points.</div><div>kernel 0: Measured 2546016 TSC counts per ms, 99 data points. Average jitter 27088 TSC ticks.</div>
<div>init: invoked as: init 2097152</div><div>Spawning memory server (x86_64/sbin/mem_serv)...</div><div>Spawning monitor (x86_64/sbin/monitor)...</div><div>monitor: invoked as: x86_64/sbin/monitor 327680</div><div>RAM allocator initialised, 943 MB (of 959 MB) available</div>
<div>Spawning chips on core 0</div><div>Spawning /x86_64/sbin/ramfsd on core 0</div><div>Spawning /x86_64/sbin/skb on core 0</div><div>Spawning /x86_64/sbin/pci on core 0</div><div>Spawning /x86_64/sbin/spawnd on core 0</div>
<div>Spawning /x86_64/sbin/startd on core 0</div><div>ramfsd.0: pre-populating from boot image...</div><div>chips: client waiting for ramfs</div><div>chips: client waiting for skb</div><div>chips: client waiting for ramfs</div>
<div>chips: client waiting for ramfs</div><div>ramfsd.0: unpacking Gzipped CPIO /skb_ramfs.cpio.gz</div><div>ramfsd.0: ready</div><div>chips: notifying client about ramfs</div><div>chips: notifying client about ramfs</div>
<div>chips: notifying client about ramfs</div><div>chips: client waiting for all_spawnds_up</div><div>chips: client waiting for skb</div><div>chips: notifying client about skb</div><div>chips: notifying client about skb</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 725.</div><div>Aborted</div></div><div><br></div><div>***** END OUTPUT *****</div><div><br></div></div>