<html><body><div style="color:#000; background-color:#fff; font-family:garamond, new york, times, serif;font-size:14pt"><div><span>Hi,</span></div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; background-color: transparent; font-style: normal;"><span><br></span></div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; background-color: transparent; font-style: normal;"><span>Thank you very much for the help, I am trying to configure my systems according to your instructions. If I need further assistance&nbsp;</span></div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; background-color: transparent; font-style: normal;"><span>I will get back to you.</span></div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; background-color: transparent; font-style:
 normal;"><span><br></span></div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; background-color: transparent; font-style: normal;"><span>Many Thanks,</span></div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: garamond, 'new york', times, serif; background-color: transparent; font-style: normal;"><span>Jiban</span></div><div><br></div>  <div style="font-family: garamond, 'new york', times, serif; font-size: 14pt;"> <div style="font-family: 'times new roman', 'new york', times, serif; font-size: 12pt;"> <div dir="ltr"> <hr size="1">  <font size="2" face="Arial"> <b><span style="font-weight:bold;">From:</span></b> Pravin &lt;shindep@student.ethz.ch&gt;<br> <b><span style="font-weight: bold;">To:</span></b> jiban sarma &lt;jj_sep@yahoo.com&gt; <br><b><span style="font-weight: bold;">Cc:</span></b> "barrelfish-users@lists.inf.ethz.ch" &lt;barrelfish-users@lists.inf.ethz.ch&gt;; Kornilios
 Kourtis &lt;kornilios.kourtis@inf.ethz.ch&gt; <br> <b><span style="font-weight: bold;">Sent:</span></b> Tuesday, 17 September 2013, 11:52<br> <b><span style="font-weight: bold;">Subject:</span></b> Re: [Barrelfish-users] Need Help configuring PXE/TFTP boot<br> </font> </div> <div class="y_msg_container"><br>Hi,<br><br>To expand on Kornilios's answer, here are few configuration<br>details from our internal setup which might help you to use<br>as an example for your setup.<br><br>Directory structure ::<br><br>&nbsp; &nbsp; tftpboot<br>&nbsp; &nbsp; ├── menu.lst.10.110.4.51 -&gt; shindep/menu.lst<br>&nbsp; &nbsp; ├── pxegrub-undi<br>&nbsp; &nbsp; ├── tftpboot.nos5 -&gt; ./pxegrub-undi<br>&nbsp; &nbsp; └── shindep<br>&nbsp; &nbsp; &nbsp;  ├── menu.lst<br>&nbsp; &nbsp; &nbsp;  ├── skb_ramfs.cpio.gz<br>&nbsp; &nbsp; &nbsp;  └── x86_64<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;  └── sbin<br>&nbsp; &nbsp; &nbsp; &nbsp;
 &nbsp; &nbsp; &nbsp;  ├── NGD_mng<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;  ├── acpi<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;  ├── ahci_bench<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;  ├── .....<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;  ├── .....<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;  ├── .....<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;  ├── lot of binary images<br><br>While installing the barrelfish, you can use following prefix to get files<br>in proper place ::<br><br>&nbsp; &nbsp; make install INSTALL_PREFIX=/path/to/tftpboot/shindep<br><br>What you need to note that tftp configuration will point the boot process to<br>``tftpboot.nos5`` file, which is essentially a symbolic link to ``pxegrub-undi``<br>from grub installation.&nbsp; Here is a sample tftp configuration which configures<br>the tftp booting for the machine ``nos5`` ::<br><br>&nbsp;
  host nos5-boot-interface {<br>&nbsp; &nbsp; &nbsp; &nbsp; hardware ethernet 00:0f:53:07:4d:64;<br>&nbsp; &nbsp; &nbsp; &nbsp; fixed-address 10.110.4.51;<br>&nbsp; &nbsp; &nbsp; &nbsp; filename "tftpboot.nos5";<br>&nbsp; &nbsp; }<br><br><br>Also, the&nbsp; ``menu.lst.10.110.4.51`` is symbolic link to the ``shindep/menu.lst``<br>which is slightly modified version of ``menu.lst`` from your install directory.<br>The changes are mostly related to the paths.&nbsp; Following is small part of<br>``menu.lst`` to give you an idea how paths should be modified<br>according to your directory structure (note the prefix ``/shindep/``<br>in each entry) ::<br><br>&nbsp; &nbsp; title&nbsp;  barrelfish image<br>&nbsp; &nbsp; root&nbsp; &nbsp; (nd)<br>&nbsp; &nbsp; kernel&nbsp; &nbsp; /shindep/x86_64/sbin/elver loglevel=4<br>&nbsp; &nbsp; module&nbsp; &nbsp; /shindep/x86_64/sbin/cpu loglevel=4<br>&nbsp; &nbsp; module&nbsp; &nbsp; /shindep/x86_64/sbin/init<br><br>&nbsp;
 &nbsp; # Domains spawned by init<br>&nbsp; &nbsp; module&nbsp; &nbsp; /shindep/x86_64/sbin/mem_serv<br>&nbsp; &nbsp; module&nbsp; &nbsp; /shindep/x86_64/sbin/monitor<br><br>&nbsp; &nbsp; # Special boot time domains spawned by monitor<br>&nbsp; &nbsp; module&nbsp; /shindep/x86_64/sbin/ramfsd boot<br>&nbsp; &nbsp; module&nbsp; /shindep/x86_64/sbin/skb boot<br><br>&nbsp; &nbsp; modulenounzip /shindep/skb_ramfs.cpio.gz nospawn<br><br>&nbsp; &nbsp; module&nbsp; /shindep/x86_64/sbin/kaluga boot<br>&nbsp; &nbsp; module&nbsp; /shindep/x86_64/sbin/acpi boot<br>&nbsp; &nbsp; module&nbsp; /shindep/x86_64/sbin/spawnd boot<br>&nbsp; &nbsp; module&nbsp; /shindep/x86_64/sbin/startd boot<br>&nbsp; &nbsp; module /shindep/x86_64/sbin/routing_setup boot<br><br>&nbsp;  ....&nbsp; and lot of other files ....<br><br><br>Essentially, DHCP will instruct the tftboot loader to download and use<br>``tftpboot.nos5`` for booting.&nbsp; This file is part of grub
 bootloader<br>``pxegrub-undi`` and will then download and use ``menu.lst`` to figure out<br>which other modules to download.&nbsp; Once it has downloaded all files, it will<br>give the control to ``elver`` (it should be there after doing ``make install``<br>on Barrelfish).&nbsp; Then elver will do rest of the loading for Barrelfish and<br>then pass the control to cpu driver.<br><br>I hope that all this information will be helpful to you for setting up<br>the infrastructure.<br><br>Regards,<br>Pravin<br><br><br>On Thu, Sep 5, 2013 at 7:17 AM, Kornilios Kourtis<br>&lt;<a ymailto="mailto:kornilios.kourtis@inf.ethz.ch" href="mailto:kornilios.kourtis@inf.ethz.ch">kornilios.kourtis@inf.ethz.ch</a>&gt; wrote:<br>&gt; Hi Jiban,<br>&gt;<br>&gt; On Thu, Sep 05, 2013 at 03:57:41AM -0700, jiban sarma wrote:<br>&gt;&gt; Hello All,<br>&gt;&gt;<br>&gt;&gt; Today I have got a set up to install barrelfish on real hardware. I want to<br>&gt;&gt; boot the OS via PXE/TFTP.
 I have configured the DHCP server and TFTP/PXE<br>&gt;&gt; configuration as well. After that I have copied all the binary files of<br>&gt;&gt; barrelfish using<br>&gt;&gt; make install INSTALL_PREFIX=/var/lib/tftpboot/barrelfish .<br>&gt;&gt;<br>&gt;&gt; Now i have the following directory structure within /var/lib/tftpboot<br>&gt;&gt;<br>&gt;&gt; drwxr-xr-x 3 root root 4096 Sep&nbsp; 5 02:08 barrelfish<br>&gt;&gt; -rwxr-xr-x 1 root root&nbsp; 353 Sep&nbsp; 5 02:15 mybootmenu.cfg<br>&gt;&gt; drwxr-xr-x 2 root root 4096 Sep&nbsp; 5 03:25 pxelinux.cfg<br>&gt;&gt;<br>&gt;&gt; Now when i start my Pxe boot client its stuck in PXE-32 TFTP open timeout.<br>&gt;&gt; Is there any additional file required to boot barrelfish?<br>&gt;&gt;<br>&gt;&gt; Please can someone help me how to resolve the issue.<br>&gt;<br>&gt; In what file transfer is PXE stuck?<br>&gt; Are you using grub?<br>&gt;<br>&gt; I'm not sure how well your setup matches ours, but (unless I'm
 mistaken) our<br>&gt; booting process is:<br>&gt;&nbsp; - pxe loads the grub image over tftp<br>&gt;&nbsp; &nbsp; (the image is typically specified in the dhcpd configuration file)<br>&gt;&nbsp; - grub fetches proper menu.lst (usually it's menu.lst.$IP) using tftp<br>&gt;&nbsp; - grub reads menu.lst&nbsp; (see README on Barrelfish source tree for an<br>&gt;&nbsp; &nbsp; example) and fetches the necessary files from tftp<br>&gt;&nbsp; - grub starts elver that loads Barrelfish kernel<br>&gt;<br>&gt; A good starting point would be to look at the tftp logs and see what files are<br>&gt; requested and what files are actually transfered.<br>&gt;<br>&gt; cheers,<br>&gt; Kornilios.<br>&gt;<br>&gt; --<br>&gt; Kornilios Kourtis<br>&gt;<br>&gt; _______________________________________________<br>&gt; Barrelfish-users mailing list<br>&gt; <a ymailto="mailto:Barrelfish-users@lists.inf.ethz.ch"
 href="mailto:Barrelfish-users@lists.inf.ethz.ch">Barrelfish-users@lists.inf.ethz.ch</a><br>&gt; <a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br><br></div> </div> </div>  </div></body></html>