[Barrelfish-users] barrelfish help!

Stefan Kaestle stefan.kaestle at inf.ethz.ch
Fri Oct 31 14:01:27 CET 2014

Hi Antonio,

This could be due to a bug in the PCI bus allocation code.
It is worth trying the BIOS given PCI allocation plan instead. For that, 
try using the following arguments to PCI in menu.lst

modulenounzip /harness/sbrinz2_harness/x86_64/sbin/pci auto 

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:



On 10/31/2014 11:36 AM, Kornilios Kourtis wrote:
> Hi Antonio,
> [CCing the list and Gerd]
> On Thu, Oct 30, 2014 at 11:29:16AM -0400, Antonio Barbalace wrote:
>> 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 <= maxchild" failed: file "../usr/pci/pci.c", line 598,
>> function: assign_bus_numbers
>> Aborted
>> Spawnd up.
> 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.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20141031/724e0bc0/attachment.html 

More information about the Barrelfish-users mailing list