<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:Calibri
}
--></style></head>
<body class='hmmessage'><div dir='ltr'><span style="color: rgb(68, 68, 68); font-size: 15px; line-height: 21px;">Hi Pravin,</span><div style="line-height: 21px; color: rgb(68, 68, 68); font-size: 15px;"><br></div><div style="line-height: 21px; color: rgb(68, 68, 68); font-size: 15px;">I'm a undergrad student of Simon at University of Washington. I tried to run Postmark on barrelfish(and I did follow the steps in README_NETWORKING file). However, it stopped after lwip_init_auto got called (from vfs_nfs_mount() which is called from vfs_mount() in postmark) and never came back to execute the rest of postmark again. Do you happen to know if there is any recent change to the barrelfish network that would lead to this problem?</div><div style="line-height: 21px; color: rgb(68, 68, 68); font-size: 15px;"><br></div><div style="line-height: 21px; color: rgb(68, 68, 68); font-size: 15px;">I really appreciate your help.</div><div style="line-height: 21px; color: rgb(68, 68, 68); font-size: 15px;"><br></div><div style="line-height: 21px; color: rgb(68, 68, 68); font-size: 15px;">Best,</div><div style="line-height: 21px; color: rgb(68, 68, 68); font-size: 15px;">-Xin</div>                                               </div></body>
</html>