Dear all,<div><br></div><div>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 &quot;skb.0: waiting for: serial&quot; and I never 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:</div>
<div><br></div><div>ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</div><div>ERROR: ram_alloc</div><div>Failure: (           libmm) No matching node found [MM_ERR_NOT_FOUND]</div><div><br></div><div>Any thoughts?</div>
<div><br></div><div>Thanks,</div><div>Shawn</div><div><div><br></div>-- <br><div>Virginia Tech<br>Bradley Department of Electrical and Computer Engineering<br>B.S. Electrical Engineering</div><div>B.S. Computer Engineering</div>
<br>
</div>