<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Hi,<br>
<br>
first of all: which version of Barrelfish are you running on?<br>
The current release is known to be broken on the SCC. Can you try
release2012-11-03 instead?<br>
<br>
Much of the Barrelfish code assumes the cores to be continuous.
Thus, we just rename them internally to have a continuous
representation, in case the core IDs as given by hardware are not.
You can see that in your output in the following line:<br>
<blockquote type="cite"><span
style="background-color:rgb(255,255,255)"><font color="#666666">1370610089.268328279
[tty0] spawnd.0: coreid 1 is arch id 4</font></span></blockquote>
Can you try using module <tt>/scc/sbin/test core=0 1</tt> instead
of <tt>0 4</tt> in your menu.lst to see if that helps? <br>
<br>
Cheers,<br>
Stefan<br>
<br>
<div class="moz-cite-prefix">On 06/07/2013 03:31 PM, Zhiquan Lai
wrote:<br>
</div>
<blockquote
cite="mid:CAKP_FrNx8fDJPfVLq=_CxWy7i+df9bwEUSrDMkD7vHH0RYUKGw@mail.gmail.com"
type="cite">
<meta http-equiv="Content-Type" content="text/html;
charset=ISO-8859-1">
<div dir="ltr">Dear All,
<div><br>
</div>
<div>I am trying to boot Barrelfish on SCC with an uncontinuous
core sequence, e.g. just two cores, core0 and core4. </div>
<div>However, the booting process stoped before the user
application defined in the menu.lst.scc. If the core sequence
is continuous, the booting process is fine.
<div>
<div><br>
</div>
<div>Is there anyone tried this before? </div>
<div>And does Barrelfish support to boot on an uncontinuous
core sequence?</div>
<div><br>
</div>
<div><br>
</div>
<div><b>The output of booting up:</b></div>
<div><br>
</div>
<div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610086.744220451 [tty0] My APIC
ID: 0</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610086.745230278 [tty0]
Barrelfish CPU driver starting on scc core 0</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610086.972962305 [tty0] init:
invoked as: init 2097152</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610087.280146855 [tty0] Spawning
memory server (scc/sbin/mem_serv)...</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610087.406961746 [tty0] Spawning
monitor (scc/sbin/monitor)...</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610087.630416482 [tty0] starting
monitor as 'scc/sbin/monitor 327680 '</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610087.638769366 [tty0] monitor:
invoked as: scc/sbin/monitor 327680</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610087.663370722 [tty0] RAM
allocator initialised, 1994 MB (of 2010 MB)
available</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610087.666355828 [tty0] Spawning
ramfsd on core 0</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610087.871187598 [tty0]
ramfsd.0: pre-populating from boot image...</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610088.695696508 [tty0]
ramfsd.0: ready</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610088.696654655 [tty0] Spawning
skb on core 0</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610088.860933304 [tty0] Spawning
/scc/sbin/spawnd on core 0</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610089.054823325 [tty0] Spawning
/scc/sbin/startd on core 0</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610089.256619624 [tty0] skb.0:
waiting for: all_spawnds_up</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610089.267317711 [tty0]
spawnd.0: coreid 0 is arch id 0</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610089.268328279 [tty0]
spawnd.0: coreid 1 is arch id 4</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610089.269286138 [tty0] Monitor
0: booting scc core 1 as '/scc/sbin/cpu'</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610089.758488274 [tty4] Kernel
starting at address 0x80100000</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610090.037761764 [tty4] My APIC
ID: 4</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610090.038739931 [tty4]
Barrelfish CPU driver starting on scc core 4</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610090.275835695 [tty4] init:
invoked as: init 2097152 0 chanid=0 frame=2214723584</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610090.595221904 [tty4] Spawning
memory server (scc/sbin/mem_serv)...</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610090.726358263 [tty4] Spawning
monitor (scc/sbin/monitor)...</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610090.958056688 [tty4] starting
monitor as 'scc/sbin/monitor 327680 0 chanid=0
frame=2214723584 '</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610090.967141757 [tty4] monitor:
invoked as: scc/sbin/monitor 327680 0 chanid=0
frame=2214723584</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610090.992616617 [tty4] RAM
allocator initialised, 1994 MB (of 2010 MB)
available</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610090.994719546 [tty4] frame
base at 0x84020000 -- 0x84021000</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610090.996330709 [tty4] URPC
physical frame at 0x84020000</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610091.009610876 [tty4] Spawning
spawnd on core 4</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610091.202585314 [tty0] all 2
monitors up</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610091.203579854 [tty0] skb.0:
waiting for: spawn.1.ready</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666">1370610091.215431869 [tty0] skb.0:
waiting for: all_spawnds_up</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font
color="#666666"><br>
</font></span></div>
<div style=""><span
style="background-color:rgb(255,255,255)"><font
color="#000000">The next step in normal process is<b>
starting app /scc/sbin/test on core 0</b></font></span></div>
<div><br>
</div>
<div><br>
</div>
<div style=""><b>The menu.lst.scc is:</b></div>
</div>
<div style=""><br>
</div>
<div style="">
<div><font color="#666666">timeout 0</font></div>
<div><font color="#666666"><br>
</font></div>
<div><font color="#666666">title Barrelfish</font></div>
<div><font color="#666666">root (nd)</font></div>
<div><font color="#666666">kernel /scc/sbin/cpu
loglevel=4</font></div>
<div><font color="#666666">module /scc/sbin/cpu</font></div>
<div><font color="#666666">module /scc/sbin/init</font></div>
<div><font color="#666666"><br>
</font></div>
<div><font color="#666666"># Domains spawned by init</font></div>
<div><font color="#666666">module /scc/sbin/mem_serv</font></div>
<div><font color="#666666">module /scc/sbin/monitor</font></div>
<div><font color="#666666"><br>
</font></div>
<div><font color="#666666">module /scc/sbin/ramfsd boot</font></div>
<div><font color="#666666">module /scc/sbin/skb boot</font></div>
<div><font color="#666666">module /scc/sbin/spawnd boot
bootscc=4</font></div>
<div><font color="#666666">module /scc/sbin/startd boot</font></div>
<div><font color="#666666"><br>
</font></div>
<div><font color="#666666">module /scc/sbin/test core=0 0
4<br>
</font></div>
<div><font color="#666666"><br>
</font></div>
<div><font color="#666666"># RCK memory map</font></div>
<div><font color="#666666"># 624MB private RAM</font></div>
<div><font color="#666666">mmap map 0x0
0x27000000 1</font></div>
<div><font color="#666666">mmap map 0x80000000
0x03000000 1</font></div>
<div><font color="#666666"># 1GB shared RAM (over all MCs)
in the middle of address space</font></div>
<div><font color="#666666">mmap map 0x84000000
0x3c000000 1</font></div>
<div><font color="#666666"># 384MB MPB space</font></div>
<div><font color="#666666">mmap mmp 0xc0000000
0x18000000 1</font></div>
<div><font color="#666666"># 16MB more private RAM </font></div>
<div><font color="#666666">mmap map 0xff000000
0x1000000 1</font></div>
<div><br>
</div>
<div style=""><b>The mt file:</b></div>
<div style=""><br>
</div>
<div style="">
<div><font color="#666666">0x00 0x00 6 0x00
barrelfish0.obj</font></div>
<div><font color="#666666">0x04 0x00 6 0x04
barrelfish1.obj</font></div>
<div><br>
</div>
<div><br>
</div>
<div style="">Thanks,</div>
<div style="">Zhiquan</div>
</div>
<div><br>
</div>
</div>
</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Barrelfish-users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Barrelfish-users@lists.inf.ethz.ch">Barrelfish-users@lists.inf.ethz.ch</a>
<a class="moz-txt-link-freetext" href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a>
</pre>
</blockquote>
<br>
<pre class="moz-signature" cols="72">--
Stefan</pre>
</body>
</html>