<html><body><div style="color:#000; background-color:#fff; font-family:HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;font-size:10pt"><SPAN style="RIGHT: auto">
<DIV style="RIGHT: auto" id=yiv2475037936>
<DIV style="RIGHT: auto">
<DIV style="BACKGROUND-COLOR: #fff; FONT-FAMILY: times new roman, new york, times, serif; COLOR: #000; FONT-SIZE: 12pt">
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN>Hello All,</SPAN></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN></SPAN>&nbsp;</DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN>I am trying to boot up the barrelfish OS through tftp setup,</SPAN></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN>The OS boots from the menu list all the modules list and gets stuck with the following&nbsp;message - </SPAN></DIV><SPAN></SPAN><SPAN>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN>Below is the boot sequence&nbsp;extract - </SPAN></SPAN><SPAN><I>-----------</I></SPAN></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN><I>------------</I></SPAN></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN><I>monitor: synchronizing clocks<BR>spawnd.0: spawning /x86_64/sbin/pci on core 0<BR>startd.0: starting app /x86_64/sbin/serial on core 0<BR>spawnd.0: spawning /x86_64/sbin/serial on core 0<BR>startd.0: starting app /x86_64/sbin/fish on core 0<BR>spawnd.0: spawning /x86_64/sbin/fish on core 0<BR>No bootscript<BR>skb.0: waiting for: pci<BR>skb.0: waiting for: serial<BR>
<DIV></DIV></I></DIV></SPAN>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN></SPAN>&nbsp;</DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN>The same binaries boot up (with a similar menu list) to the fish prompt in my local set-up.</SPAN></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN>Below is the boot sequence in the local set-up - </SPAN></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN></SPAN>&nbsp;</DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN><I>------</I></SPAN></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN><SPAN><I>------</I></SPAN></SPAN></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN><SPAN><SPAN><I>------</I></SPAN></SPAN></SPAN><SPAN><BR><I>root&nbsp; (nd)<BR>&nbsp;Filesystem type is tftp, using whole disk<BR>configfile (nd)/menu.lst<BR>TFTP error 1 (File not found)<BR>&nbsp; Booting 'Barrelfish'</I></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><I>root (nd)<BR>&nbsp;Filesystem type is tftp, using whole disk<BR>kernel /x86_32/sbin/cpu loglevel=4<BR>&nbsp;&nbsp; [Multiboot-elf, &lt;0x100000:0x282b4:0xc32bdd&gt;, shtab=0xd5b550, entry=0x10000c]<BR>module /x86_32/sbin/cpu loglevel=4<BR>&nbsp;&nbsp; [Multiboot-module @ 0xdd6000, 0xa4217 bytes]<BR>module /x86_32/sbin/init<BR>&nbsp;&nbsp; [Multiboot-module @ 0xe7b000, 0x32361f bytes]<BR>module /x86_32/sbin/mem_serv<BR>&nbsp;&nbsp; [Multiboot-module @ 0x119f000, 0x2fa4e5 bytes]<BR>module /x86_32/sbin/monitor<BR>&nbsp;&nbsp; [Multiboot-module @ 0x149a000, 0x46a098 bytes]<BR>module /x86_32/sbin/ramfsd boot<BR>&nbsp;&nbsp; [Multiboot-module @ 0x1905000, 0x3538f6 bytes]<BR>module&nbsp; /x86_32/sbin/skb boot<BR>&nbsp;&nbsp; [Multiboot-module @ 0x1c59000, 0x7d64b5 bytes]<BR>modulenounzip /skb_ramfs.cpio.gz
 nospawn<BR>&nbsp;&nbsp; [Multiboot-module @ 0x2430000, 0x9f914 bytes]<BR>module&nbsp; /x86_32/sbin/kaluga boot<BR>&nbsp;&nbsp; [Multiboot-module @ 0x24d0000, 0x5af921 bytes]<BR>module&nbsp; /x86_32/sbin/acpi boot<BR>&nbsp;&nbsp; [Multiboot-module @ 0x2a80000, 0x58dba1 bytes]<BR>module&nbsp; /x86_32/sbin/spawnd boot<BR>&nbsp;&nbsp; [Multiboot-module @ 0x300e000, 0x52d691 bytes]<BR>module&nbsp; /x86_32/sbin/startd boot<BR>&nbsp;&nbsp; [Multiboot-module @ 0x353c000, 0x4e37fd bytes]<BR>module /x86_32/sbin/routing_setup boot<BR>&nbsp;&nbsp; [Multiboot-module @ 0x3a20000, 0x3269a4 bytes]<BR>module /x86_32/sbin/pci auto<BR>&nbsp;&nbsp; [Multiboot-module @ 0x3d47000, 0x417e74 bytes]<BR>module /x86_32/sbin/serial<BR>&nbsp;&nbsp; [Multiboot-module @ 0x415f000, 0x314e0e bytes]<BR>module /x86_32/sbin/fish<BR>&nbsp;&nbsp; [Multiboot-module @ 0x4474000, 0x54cf39 bytes]</I></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><I>Kernel starting at address 0x80100000<BR>Barrelfish CPU driver starting on x86_32 core 0<BR>kernel 0: Measured 999998298 APIC timer counts in one RTC second, 1442063 data points.<BR>kernel 0: Considerable TSC jitter detected! 14357 ticks on average.<BR>kernel 0: Measured 2999406 TSC counts per ms, 99 data points. Average jitter 14357 TSC ticks.<BR>spawn module: x86_32/sbin/init<BR>init: invoked as: init 2097152<BR>Spawning memory server (x86_32/sbin/mem_serv)...<BR>Spawning monitor (x86_32/sbin/monitor)...<BR>monitor: invoked as: x86_32/sbin/monitor 327680<BR>RAM allocator initialised, 929 MB (of 945 MB) available<BR>Spawning ramfsd on core 0<BR>ramfsd.0: pre-populating from boot image...<BR>ramfsd.0: unpacking Gzipped CPIO /skb_ramfs.cpio.gz<BR>ramfsd.0: ready<BR>Spawning skb on core 0<BR>Spawning
 /x86_32/sbin/kaluga on core 0<BR>Spawning /x86_32/sbin/acpi on core 0<BR>Spawning /x86_32/sbin/spawnd on core 0<BR>Spawning /x86_32/sbin/startd on core 0<BR>Spawning /x86_32/sbin/routing_setup on core 0<BR>Kaluga running on x86.<BR>skb.0: waiting for: all_spawnds_up<BR>Monitor 0: booting x86_32 core 1 as '/x86_32/sbin/cpu loglevel=4'<BR>Kernel starting at address 0x91001000<BR>Barrelfish CPU driver starting on x86_32 core 1<BR>Installing fixed event handler for power button<BR>kernel 1: Considerable TSC jitter detected! 8911751 ticks on average.<BR>kernel 1: Measured 7692767 TSC counts per ms, 99 data points. Average jitter 8911751 TSC ticks.<BR>spawn module: monitor<BR>monitor: invoked as: monitor 0 chanid=0 archid=0<BR>Spawning spawnd on core 1<BR>all 2 monitors up<BR>monitor: synchronizing clocks<BR>spawnd.0: spawning /x86_32/sbin/pci on core 0<BR>pci.0: No PCIe found, continue.<BR>startd.0: starting app /x86_32/sbin/serial on core 0<BR>spawnd.0:
 spawning /x86_32/sbin/serial on core 0<BR>startd.0: starting app /x86_32/sbin/fish on core 0<BR>skb.0: &gt;&gt;&gt;&gt;&gt;&gt;passing debug stmts: pci<BR>spawnd.0: spawning /x86_32/sbin/fish on core 0<BR>No bootscript<BR>skb.0: &gt;&gt;&gt;&gt;&gt;&gt;passing debug stmts: serial<BR>pci.c: pci_program_bridges(): SKB returned error code 2<BR>SKB error returned: instantiation fault in bignum(_112123integer overflow in fix(-8000000000.0, _112217)<BR>, _112157)</I></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><I>SKB output:<BR>WARNING: CONTINUING, HOWEVER PCI DEVICES WILL BE UNUSABLE<BR>fish v0.2 -- pleased to meet you!<BR>File /init.fish not found<BR>available commands:<BR>help&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; print_cspace&nbsp;&nbsp; quit&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ps&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; demo<BR>pixels&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; mnfs&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; oncore&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; reset&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; poweroff<BR>skb&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; mount&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 ls&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; cd&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; pwd<BR>touch&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; cat&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; cat2&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; dd&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; cp<BR>rm&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; mkdir&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; rmdir&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; setenv&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; src<BR>printenv&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; free<BR>&gt;<BR><SPAN>------</SPAN></I></SPAN><SPAN><SPAN><I>------</I></SPAN></SPAN></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN><SPAN><SPAN><I>------</I></SPAN></SPAN></SPAN></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN><SPAN><SPAN><SPAN><I>------</I></SPAN></SPAN></SPAN></SPAN></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN><I>Any pointers, please advise - </I></SPAN></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN><I></I></SPAN>&nbsp;</DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN>Thanks in advance,</SPAN></DIV>
<DIV style="BACKGROUND-COLOR: transparent; FONT-STYLE: normal; FONT-FAMILY: times new roman, new york, times, serif; COLOR: rgb(0,0,0); FONT-SIZE: 16px"><SPAN>Vishwas KM</SPAN></DIV>
<DIV><BR class=yiv2475037936yui-cursor></DIV></DIV></DIV></DIV>
<div><BR><BR></SPAN></div></div></body></html>