<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  </head>
  <body bgcolor="#ffffff" text="#000000">
    Hi<br>
    <br>
    I'm trying to run the snapshot release 2011-03-01 on Ubuntu 11.04
    but get the following output after a 'make sim ARCH=x86_64'.<br>
    I'm using gcc 4.5.2, ghc 6.12.3, parsec 2.1 and ghc-path 0.1.0.6 and
    qemu 0.14.0.<br>
    <span class="Apple-style-span" style="border-collapse: separate;
      color: rgb(0, 0, 0); font-family: 'Times New Roman'; font-style:
      normal; font-variant: normal; font-weight: normal; letter-spacing:
      normal; line-height: normal; orphans: 2; text-indent: 0px;
      text-transform: none; white-space: normal; widows: 2;
      word-spacing: 0px; font-size: medium;"></span><br>
    Is the snapshot release not compatible with this version of qemu or
    is it a bug in the apci glue code, which accroding to the README has
    some compatibility problems?<br>
    <br>
    Thanks in advance.<br>
    ref<br>
    <br>
    ---<br>
    Booting 'Barrelfish'<br>
    <br>
    root (nd)<br>
    &nbsp;Filesystem type is tftp, using whole disk<br>
    kernel /x86_64/sbin/elver loglevel=4<br>
    &nbsp;&nbsp; [Multiboot-elf, &lt;0x100000:0x20b6:0x0&gt;,
    &lt;0x103fe4:0x1c:0x6000&gt;, shtab=0x10a320, entry=0x10000c]<br>
    module /x86_64/sbin/cpu loglevel=4<br>
    &nbsp;&nbsp; [Multiboot-module @ 0x115000, 0xc721c bytes]<br>
    module /x86_64/sbin/init<br>
    &nbsp;&nbsp; [Multiboot-module @ 0x1dd000, 0x354e43 bytes]<br>
    module /x86_64/sbin/mem_serv<br>
    &nbsp;&nbsp; [Multiboot-module @ 0x532000, 0x3166c4 bytes]<br>
    module /x86_64/sbin/monitor<br>
    &nbsp;&nbsp; [Multiboot-module @ 0x849000, 0x59118c bytes]<br>
    module /x86_64/sbin/chips boot<br>
    &nbsp;&nbsp; [Multiboot-module @ 0xddb000, 0x30c108 bytes]<br>
    module&nbsp; /x86_64/sbin/ramfsd boot<br>
    &nbsp;&nbsp; [Multiboot-module @ 0x10e8000, 0x3968c8 bytes]<br>
    module&nbsp; /x86_64/sbin/skb boot<br>
    &nbsp;&nbsp; [Multiboot-module @ 0x147f000, 0x7a4741 bytes]<br>
    modulenounzip /skb_ramfs.cpio.gz nospawn<br>
    &nbsp;&nbsp; [Multiboot-module @ 0x1c24000, 0x9c9f3 bytes]<br>
    module&nbsp; /x86_64/sbin/pci boot<br>
    &nbsp;&nbsp; [Multiboot-module @ 0x1cc1000, 0x5d495f bytes]<br>
    module&nbsp; /x86_64/sbin/spawnd boot<br>
    &nbsp;&nbsp; [Multiboot-module @ 0x2296000, 0x4f240c bytes]<br>
    module /x86_64/sbin/serial<br>
    &nbsp;&nbsp; [Multiboot-module @ 0x2789000, 0x34fcd9 bytes]<br>
    module /x86_64/sbin/fish<br>
    &nbsp;&nbsp; [Multiboot-module @ 0x2ad9000, 0x4d5e23 bytes]<br>
    <br>
    Kernel starting at address 0xffffff8002fb0000<br>
    Barrelfish CPU driver starting on x86_64 apic_id 0<br>
    kernel 0: Measured 999998042 APIC timer counts in one RTC second,
    44760 data points.<br>
    kernel 0: Measured 2532763 TSC counts per ms, 99 data points.
    Average jitter 2790 TSC ticks.<br>
    init: invoked as: init 2097152<br>
    Spawning memory server (x86_64/sbin/mem_serv)...<br>
    Spawning monitor (x86_64/sbin/monitor)...<br>
    monitor: invoked as: x86_64/sbin/monitor 6963200<br>
    RAM allocator initialised, 439 MB (of 455 MB) available<br>
    Spawning chips on core 0<br>
    Spawning /x86_64/sbin/ramfsd on core 0<br>
    Spawning /x86_64/sbin/skb on core 0<br>
    Spawning /x86_64/sbin/pci on core 0<br>
    Spawning /x86_64/sbin/spawnd on core 0<br>
    ramfsd.0: pre-populating from boot image...<br>
    chips: client waiting for ramfs<br>
    chips: client waiting for skb<br>
    spawnd: invoked on core 0 as: spawnd boot<br>
    chips: client waiting for ramfs<br>
    ramfsd.0: unpacking Gzipped CPIO /skb_ramfs.cpio.gz<br>
    ramfsd.0: ready<br>
    chips: notifying client about ramfs<br>
    chips: notifying client about ramfs<br>
    chips: client waiting for skb<br>
    chips: notifying client about skb<br>
    chips: notifying client about skb<br>
    spawnd: Waiting for pci to finish<br>
    chips: client waiting for pci_discovery_done<br>
    ERROR: pci.0 in AcpiOsInstallInterruptHandler()
    ../usr/pci/acpica_osglue.c:831<br>
    ERROR: failed to route interrupt<br>
    Failure: (&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; pci) Unknown global system interrupt number
    [PCI_ERR_UNKNOWN_GSI]<br>
    Assertion failed on core 0 in pci: r == 0, function init_acpi, file
    ../usr/pci/acpi.c, line 726.<br>
    Aborted<br>
    ---<br>
  </body>
</html>