<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 &#39;scc/sbin/monitor 327680 &#39;</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 &#39;/scc/sbin/cpu&#39;</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 &#39;scc/sbin/monitor 327680 0 chanid=0 frame=2214723584 &#39;</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>