Hello, 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. mx