[Barrelfish-users] The result of ./show.sh

임제헌 jehunlim at gmail.com
Wed Jun 8 06:03:09 CEST 2011


I used the show.sh script to confirm that Barrelfish was booted well.
But the results were like this.

user1 at snumarc:~/Barrelfish/scc$ ./show.sh 0
*Kernel starting at address 0x80100000*
*My APIC ID: 0*
*Barrelfish CPU driver starting on scc core 0*
*kernel 0: Measured 31261 TSC counts per ms, 99 data points. Average jitter
6 TSC ticks.*
*init: invoked as: init 2097152*
*Spawning memory server (scc/sbin/mem_serv)...*
*Spawning monitor (scc/sbin/monitor)...*
*starting monitor as 'scc/sbin/monitor 6848512 '*
*monitor: invoked as: scc/sbin/monitor 6848512*
*RAM allocator initialised, 334 MB (of 366 MB) available*
*Spawning chips on core 0*
*Spawning /scc/sbin/ramfsd on core 0*
*Spawning /scc/sbin/spawnd on core 0*
*spawnd: invoked on core 0 as: spawnd boot bootscc=*
*chips: client waiting for ramfs*
*ramfsd.0: pre-populating from boot image...*
*ramfsd.0: ready*
*chips: notifying client about ramfs*
*kernel 0: Allocating RAM at 0x80000000 uninitialized*
*all 1 monitors up*
user1 at snumarc:~/Barrelfish/scc$ ./show.sh 1
*Kernel starting at address 0x80100000*
*My APIC ID: 1*
*Barrelfish CPU driver starting on scc core 1*
*kernel 1: Measured 31261 TSC counts per ms, 99 data points. Average jitter
6 TSC ticks.*
*init: invoked as: init 2097152*
*Spawning memory server (scc/sbin/mem_serv)...*
*Spawning monitor (scc/sbin/monitor)...*
*starting monitor as 'scc/sbin/monitor 6848512 '*
*monitor: invoked as: scc/sbin/monitor 6848512*
*RAM allocator initialised, 334 MB (of 366 MB) available*
*Spawning chips on core 1*
*Spawning /scc/sbin/ramfsd on core 1*
*Spawning /scc/sbin/spawnd on core 1*
*spawnd: invoked on core 1 as: spawnd boot bootscc=*
*chips: client waiting for ramfs*
*ramfsd.1: pre-populating from boot image...*
*ramfsd.1: ready*
*chips: notifying client about ramfs*
*kernel 1: Allocating RAM at 0x80100000 uninitialized*
*all 1 monitors up*
*kernel 1: exception 2 (error code 0x0): NMI Interrupt*
*Faulting instruction pointer (or following instruction): 0x8010a254 (0x
10a254 in binary)*
*EAX 0x8091b640 EBX 0x80114eb4 ECX 0x0 EDX 0xfffff000 ESP (bogus) 0x0*
*No GDB backend*

What is the meaning of this messages?
Is booting Barrelfish failed?
If then, how can I try again?
I executed the following SCC tools :
     sccReset -g
     sccMerge -m 4 -n 12 -noimage -lut_default -force barrelfish48.mt
     sccBoot -g obj
     sccReset -r 0

And when Barrelfish is booted properly, how can I connect to Barrelfish?

I look forward to your favorable reply.


Best,
Jehun
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20110608/1c3de1da/attachment.html 


More information about the Barrelfish-users mailing list