<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    Hi Antonio,<br>
    <br>
    This could be due to a bug in the PCI bus allocation code. <br>
    It is worth trying the BIOS given PCI allocation plan instead. For
    that, try using the following arguments to PCI in menu.lst<br>
    <tt><br>
    </tt><tt>modulenounzip /harness/sbrinz2_harness/x86_64/sbin/pci auto
      <b>skb_bridge_program=bridge_bios</b></tt><br>
    <br>
    Also, can you please enable PCI debug output and send the log? For
    that, uncomment the following in line  17 of usr/pci/pci_debug.h and
    recompile:<br>
    <br>
    <tt>#define PCI_SERVICE_DEBUG 1 </tt><br>
    <br>
    Cheers,<br>
     Stefan<br>
    <br>
    <div class="moz-cite-prefix">On 10/31/2014 11:36 AM, Kornilios
      Kourtis wrote:<br>
    </div>
    <blockquote cite="mid:20141031103637.GA8316@sgd-dalcoi5-20.ethz.ch"
      type="cite">
      <pre wrap="">Hi Antonio,

[CCing the list and Gerd]

On Thu, Oct 30, 2014 at 11:29:16AM -0400, Antonio Barbalace wrote:
</pre>
      <blockquote type="cite">
        <pre wrap="">Hi Kornilios,

I re-started my adventure with  Barrelfish this morning with the last mercurial
release. I am using tftpboot PXE boot (modified grub etc.). I kept myself from
modify the code at the moment. But I have to confess that I added a PCI_DEBUG()
before this error and nothing was printed even changing the loglevel= . Let me
know if you prefer me to send this error on the forum.

monitor: synchronizing clocks
Kaluga: pci_root_bridge
spawnd.0: spawning /x86_64/sbin/pci on core 0
Kaluga: pci_devices
pci: Unknown commandline option "auto" -- skipping.
startd.0: starting app /x86_64/sbin/serial on core 0
spawnd.0: spawning /x86_64/sbin/serial on core 0
startd.0: starting app /x86_64/sbin/angler on core 0
spawnd.0: spawning /x86_64/sbin/angler on core 0
No bootscript
skb.0: waiting for: pci
skb.0: waiting for: serial0.terminal
assertion "*busnum &lt;= maxchild" failed: file "../usr/pci/pci.c", line 598,
function: assign_bus_numbers
Aborted
Spawnd up.
</pre>
      </blockquote>
      <pre wrap="">
Sounds like a problem Gerd has been dealing with. If that's the case, we
might have a quick-fix for it. Gerd?

cheers,
Kornilios.

</pre>
    </blockquote>
    <br>
    <pre class="moz-signature" cols="72">-- 
Stefan
<a class="moz-txt-link-freetext" href="http://people.inf.ethz.ch/skaestle/">http://people.inf.ethz.ch/skaestle/</a></pre>
  </body>
</html>