[Barrelfish-users] barrelfish help!

[Kornilios Kourtis]

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.

-- 
Kornilios Kourtis