<div class="gmail_quote"><div>I used the show.sh script to confirm that Barrelfish was booted well.</div><div>But the results were like this.</div><div><div><br></div><div>user1@snumarc:~/Barrelfish/scc$ ./show.sh 0</div>
<div><b>Kernel starting at address 0x80100000</b></div><div><b>My APIC ID: 0</b></div><div><b>Barrelfish CPU driver starting on scc core 0</b></div><div><b>kernel 0: Measured 31261 TSC counts per ms, 99 data points. Average jitter 6 TSC ticks.</b></div>

<div><b>init: invoked as: init 2097152</b></div><div><b>Spawning memory server (scc/sbin/mem_serv)...</b></div><div><b>Spawning monitor (scc/sbin/monitor)...</b></div><div><b>starting monitor as &#39;scc/sbin/monitor 6848512 &#39;</b></div>

<div><b>monitor: invoked as: scc/sbin/monitor 6848512</b></div><div><b>RAM allocator initialised, 334 MB (of 366 MB) available</b></div><div><b>Spawning chips on core 0</b></div><div><b>Spawning /scc/sbin/ramfsd on core 0</b></div>

<div><b>Spawning /scc/sbin/spawnd on core 0</b></div><div><b>spawnd: invoked on core 0 as: spawnd boot bootscc=</b></div><div><b>chips: client waiting for ramfs</b></div><div><b>ramfsd.0: pre-populating from boot image...</b></div>

<div><b>ramfsd.0: ready</b></div><div><b>chips: notifying client about ramfs</b></div><div><b>kernel 0: Allocating RAM at 0x80000000 uninitialized</b></div><div><b>all 1 monitors up</b></div><div>user1@snumarc:~/Barrelfish/scc$ ./show.sh 1</div>

<div><b>Kernel starting at address 0x80100000</b></div><div><b>My APIC ID: 1</b></div><div><b>Barrelfish CPU driver starting on scc core 1</b></div><div><b>kernel 1: Measured 31261 TSC counts per ms, 99 data points. Average jitter 6 TSC ticks.</b></div>

<div><b>init: invoked as: init 2097152</b></div><div><b>Spawning memory server (scc/sbin/mem_serv)...</b></div><div><b>Spawning monitor (scc/sbin/monitor)...</b></div><div><b>starting monitor as &#39;scc/sbin/monitor 6848512 &#39;</b></div>

<div><b>monitor: invoked as: scc/sbin/monitor 6848512</b></div><div><b>RAM allocator initialised, 334 MB (of 366 MB) available</b></div><div><b>Spawning chips on core 1</b></div><div><b>Spawning /scc/sbin/ramfsd on core 1</b></div>

<div><b>Spawning /scc/sbin/spawnd on core 1</b></div><div><b>spawnd: invoked on core 1 as: spawnd boot bootscc=</b></div><div><b>chips: client waiting for ramfs</b></div><div><b>ramfsd.1: pre-populating from boot image...</b></div>

<div><b>ramfsd.1: ready</b></div><div><b>chips: notifying client about ramfs</b></div><div><b>kernel 1: Allocating RAM at 0x80100000 uninitialized</b></div><div><b>all 1 monitors up</b></div><div><b>kernel 1: exception 2 (error code 0x0): NMI Interrupt</b></div>

<div><b>Faulting instruction pointer (or following instruction): 0x8010a254 (0x 10a254 in binary)</b></div><div><b>EAX 0x8091b640 EBX 0x80114eb4 ECX 0x0 EDX 0xfffff000 ESP (bogus) 0x0</b></div><div><b>No GDB backend</b></div>

<div><br></div><div>What is the meaning of this messages? </div><div>Is booting Barrelfish failed?</div><div>If then, how can I try again?</div><div class="im"><div>I executed the following SCC tools :</div>     sccReset -g<br>
     sccMerge -m 4 -n 12 -noimage -lut_default -force <a href="http://barrelfish48.mt" target="_blank">barrelfish48.mt</a><br></div><div class="im">
     sccBoot -g obj<br>     sccReset -r 0<div><br></div></div><div>And when Barrelfish is booted properly, how can I connect to Barrelfish?</div><div><br></div><div><span style="border-collapse:collapse;font-family:arial, sans-serif;font-size:13px">I look forward to your favorable reply.</span></div>

<div><font face="arial, sans-serif"><span style="border-collapse:collapse"><br></span></font></div><div><font face="arial, sans-serif"><span style="border-collapse:collapse"><br>
</span></font></div><div><span style="border-collapse:collapse;font-family:arial, sans-serif;font-size:13px">Best,</span></div><div><span style="border-collapse:collapse;font-family:arial, sans-serif;font-size:13px">Jehun</span></div>

<div><span style="border-collapse:collapse;font-family:arial, sans-serif;font-size:13px"><br></span></div><br><div class="gmail_quote"><br></div></div></div>