<html><body><div style="color:#000; background-color:#fff; font-family:garamond, new york, times, serif;font-size:14pt"><div style="font-family: garamond, 'new york', times, serif; font-size: 14pt;">Hello All,</div><div style="font-family: garamond, 'new york', times, serif; font-size: 14pt;"><br></div><div style="font-family: garamond, 'new york', times, serif; font-size: 19px; color: rgb(0, 0, 0); background-color: transparent; font-style: normal;">Today I have got a set up to install barrelfish on real hardware. I want to boot the OS via PXE/TFTP. I have configured the DHCP server and TFTP/PXE configuration as well. After that I have copied all the binary files of barrelfish using&nbsp;</div><div style="background-color: transparent;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;">make install INSTALL_PREFIX=/var/lib/tftpboot/barrelfish .</span></font><br></div><div style="background-color: transparent; color: rgb(0, 0,
 0); font-size: 19px; font-family: garamond, 'new york', times, serif; font-style: normal;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;"><br></span></font></div><div style="background-color: transparent; color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; font-style: normal;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;">Now i have the following directory structure within&nbsp;/var/lib/tftpboot</span></font></div><div style="background-color: transparent; color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; font-style: normal;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;"><br></span></font></div><div style="background-color: transparent;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;">drwxr-xr-x 3 root root 4096 Sep &nbsp;5 02:08 barrelfish</span></font></div><div
 style="background-color: transparent;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;">-rwxr-xr-x 1 root root &nbsp;353 Sep &nbsp;5 02:15 mybootmenu.cfg</span></font></div><div style="background-color: transparent;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;">drwxr-xr-x 2 root root 4096 Sep &nbsp;5 03:25 pxelinux.cfg</span></font></div><div style="background-color: transparent; color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; font-style: normal;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;"><br></span></font></div><div style="background-color: transparent; color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; font-style: normal;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;">Now when i start my Pxe boot client its stuck in PXE-32 TFTP open
 timeout.</span></font></div><div style="background-color: transparent; color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; font-style: normal;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;">Is there any additional file required to boot barrelfish?</span></font></div><div style="background-color: transparent; color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; font-style: normal;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;"><br></span></font></div><div style="background-color: transparent; color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; font-style: normal;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;">Please can someone help me how to resolve the issue.</span></font></div><div style="background-color: transparent; color: rgb(0, 0, 0); font-size: 19px;
 font-family: garamond, 'new york', times, serif; font-style: normal;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;"><br></span></font></div><div style="background-color: transparent; color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; font-style: normal;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;">Thanks,</span></font></div><div style="background-color: transparent; color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; font-style: normal;"><font face="garamond, new york, times, serif"><span style="font-size: 19px;">Jiban</span></font></div></div></body></html>