[Barrelfish-users] Barrelfish on hardware waiting for serial

[Simon Peter]

> 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