<div dir="ltr">first of all: which version of Barrelfish are you running on?<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF">
    The current release is known to be broken on the SCC. Can you try
    release2012-11-03 instead?<br></div></blockquote><div> </div><div style>Thanks a lot.</div><div>My Barrelfish is based on Barrelfish_release_20120606.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF">
    <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:<div class="im"><br>
    <blockquote type="cite"><span style><font color="#666666">1370610089.268328279
          [tty0] spawnd.0: coreid 1 is arch id 4</font></span></blockquote></div></div></blockquote><div style>The core with arch id of 4 is just the core I want to boot on.</div><div style><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div text="#000000" bgcolor="#FFFFFF">
    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></div></blockquote><div><br></div><div style>If I change the core4 to core1 ,the core sequence becomes continuous, and then of course, the booting up will be successful. </div>
<div style><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div text="#000000" bgcolor="#FFFFFF">

    <br>
    Cheers,<br>
     Stefan<div><div class="h5"><br>
    <br>
    <div>On 06/07/2013 03:31 PM, Zhiquan Lai
      wrote:<br>
    </div>
    </div></div><blockquote type="cite"><div><div class="h5">
      
      <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><font color="#666666">1370610086.744220451 [tty0] My APIC
                    ID: 0</font></span></div>
              <div><span style><font color="#666666">1370610086.745230278 [tty0]
                    Barrelfish CPU driver starting on scc core 0</font></span></div>
              <div><span style><font color="#666666">1370610086.972962305 [tty0] init:
                    invoked as: init 2097152</font></span></div>
              <div><span style><font color="#666666">1370610087.280146855 [tty0] Spawning
                    memory server (scc/sbin/mem_serv)...</font></span></div>
              <div><span style><font color="#666666">1370610087.406961746 [tty0] Spawning
                    monitor (scc/sbin/monitor)...</font></span></div>
              <div><span style><font color="#666666">1370610087.630416482 [tty0] starting
                    monitor as &#39;scc/sbin/monitor 327680 &#39;</font></span></div>
              <div><span style><font color="#666666">1370610087.638769366 [tty0] monitor:
                    invoked as: scc/sbin/monitor 327680</font></span></div>
              <div><span style><font color="#666666">1370610087.663370722 [tty0] RAM
                    allocator initialised, 1994 MB (of 2010 MB)
                    available</font></span></div>
              <div><span style><font color="#666666">1370610087.666355828 [tty0] Spawning
                    ramfsd on core 0</font></span></div>
              <div><span style><font color="#666666">1370610087.871187598 [tty0]
                    ramfsd.0: pre-populating from boot image...</font></span></div>
              <div><span style><font color="#666666">1370610088.695696508 [tty0]
                    ramfsd.0: ready</font></span></div>
              <div><span style><font color="#666666">1370610088.696654655 [tty0] Spawning
                    skb on core 0</font></span></div>
              <div><span style><font color="#666666">1370610088.860933304 [tty0] Spawning
                    /scc/sbin/spawnd on core 0</font></span></div>
              <div><span style><font color="#666666">1370610089.054823325 [tty0] Spawning
                    /scc/sbin/startd on core 0</font></span></div>
              <div><span style><font color="#666666">1370610089.256619624 [tty0] skb.0:
                    waiting for: all_spawnds_up</font></span></div>
              <div><span style><font color="#666666">1370610089.267317711 [tty0]
                    spawnd.0: coreid 0 is arch id 0</font></span></div>
              <div><span style><font color="#666666">1370610089.268328279 [tty0]
                    spawnd.0: coreid 1 is arch id 4</font></span></div>
              <div><span style><font color="#666666">1370610089.269286138 [tty0] Monitor
                    0: booting scc core 1 as &#39;/scc/sbin/cpu&#39;</font></span></div>
              <div><span style><font color="#666666">1370610089.758488274 [tty4] Kernel
                    starting at address 0x80100000</font></span></div>
              <div><span style><font color="#666666">1370610090.037761764 [tty4] My APIC
                    ID: 4</font></span></div>
              <div><span style><font color="#666666">1370610090.038739931 [tty4]
                    Barrelfish CPU driver starting on scc core 4</font></span></div>
              <div><span style><font color="#666666">1370610090.275835695 [tty4] init:
                    invoked as: init 2097152 0 chanid=0 frame=<a href="tel:2214723584" value="+862214723584" target="_blank">2214723584</a></font></span></div>
              <div><span style><font color="#666666">1370610090.595221904 [tty4] Spawning
                    memory server (scc/sbin/mem_serv)...</font></span></div>
              <div><span style><font color="#666666">1370610090.726358263 [tty4] Spawning
                    monitor (scc/sbin/monitor)...</font></span></div>
              <div><span style><font color="#666666">1370610090.958056688 [tty4] starting
                    monitor as &#39;scc/sbin/monitor 327680 0 chanid=0
                    frame=<a href="tel:2214723584" value="+862214723584" target="_blank">2214723584</a> &#39;</font></span></div>
              <div><span style><font color="#666666">1370610090.967141757 [tty4] monitor:
                    invoked as: scc/sbin/monitor 327680 0 chanid=0
                    frame=<a href="tel:2214723584" value="+862214723584" target="_blank">2214723584</a></font></span></div>
              <div><span style><font color="#666666">1370610090.992616617 [tty4] RAM
                    allocator initialised, 1994 MB (of 2010 MB)
                    available</font></span></div>
              <div><span style><font color="#666666">1370610090.994719546 [tty4] frame
                    base at 0x84020000 -- 0x84021000</font></span></div>
              <div><span style><font color="#666666">1370610090.996330709 [tty4] URPC
                    physical frame at 0x84020000</font></span></div>
              <div><span style><font color="#666666">1370610091.009610876 [tty4] Spawning
                    spawnd on core 4</font></span></div>
              <div><span style><font color="#666666">1370610091.202585314 [tty0] all 2
                    monitors up</font></span></div>
              <div><span style><font color="#666666">1370610091.203579854 [tty0] skb.0:
                    waiting for: spawn.1.ready</font></span></div>
              <div><span style><font color="#666666">1370610091.215431869 [tty0] skb.0:
                    waiting for: all_spawnds_up</font></span></div>
              <div><span style><font color="#666666"><br>
                  </font></span></div>
              <div><span style><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><b>The menu.lst.scc is:</b></div>
            </div>
            <div><br>
            </div>
            <div>
              <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><b>The mt file:</b></div>
              <div><br>
              </div>
              <div>
                <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>Thanks,</div>
                <div>Zhiquan</div>
              </div>
              <div><br>
              </div>
            </div>
          </div>
        </div>
      </div>
      <br>
      <fieldset></fieldset>
      <br>
      </div></div><pre>_______________________________________________
Barrelfish-users mailing list
<a href="mailto:Barrelfish-users@lists.inf.ethz.ch" target="_blank">Barrelfish-users@lists.inf.ethz.ch</a>
<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><span class=""><font color="#888888">
</font></span></pre><span class=""><font color="#888888">
    </font></span></blockquote><span class=""><font color="#888888">
    <br>
    <pre cols="72">-- 
Stefan</pre>
  </font></span></div>

<br>_______________________________________________<br>
Barrelfish-users mailing list<br>
<a href="mailto:Barrelfish-users@lists.inf.ethz.ch">Barrelfish-users@lists.inf.ethz.ch</a><br>
<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br></blockquote></div></div></div>