[Barrelfish-users] Barrelfish on hardware waiting for serial

[Zellweger Gerd]

Hi all,

Stefan is correct. Something (not the SKB) is waiting for serial to appear.
@Shawn: Can you give us some more input (i.e., your menu.lst file and the complete boot output)?

Gerd

________________________________________
From: Stefan Kästle [stefan.kaestle at inf.ethz.ch]
Sent: 14 June 2012 16:57
To: barrelfish-users at lists.inf.ethz.ch
Subject: Re: [Barrelfish-users] Barrelfish on hardware waiting for serial

skb.0: waiting for: serial is probably due to the fact that the name
server got replaced by Gerd's thesis. He was integrating the name server
in the SKB. It just means that something in the system is waiting for
serial.

On 06/14/2012 03:02 PM, Simon Peter wrote:
>> I can successfully boot Barrelfish over tftp on one of my machines.
>> However, when I try to do it on a different machine, Barrelfish boots
>> but at the end it displays "skb.0: waiting for: serial" and I never
> This looks like garbled output. The SKB shouldn't depend on the serial
> driver.
>
>> actually get the fish prompt. Looking back at the rest of the messages,
>> I see that all monitors are up but I have different errors such as:
>> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116
>> ERROR: ram_alloc
>> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]
> That's an out of memory error. You might not have enough RAM in the machine.
>
> Simon
>
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users

--
Stefan


_______________________________________________
Barrelfish-users mailing list
Barrelfish-users at lists.inf.ethz.ch
https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users