[Barrelfish-users] boot Barrelfish via PXE/TFTP

Mengjun Xie mjxie2004 at gmail.com
Wed Sep 30 04:57:39 MEST 2009


I just downloaded the source code of Barrelfish. The compilation is pretty
smooth. I want to load the kernel on a real machine and am wondering
if anyone can give me some help on booting Barrelfish via PXE/TFTP.
Thanks a lot.


More information about the Barrelfish-users mailing list