<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Hi,<br>
    <br>
    <tt>module /scc/sbin/spawnd boot bootscc=1-3</tt> <br>
    looks okay to me.<br>
    <br>
    The procedure to boot Barrelfish is normally as follows: The spawnd
    on the bsp core boots all other cores. spawnd is started on those
    other cores as well, but these spawnd's should _not_ try to boot
    further cores. My suspicion is that spawnd on the second core thinks
    that it is running on the bsp core and therefore tries to boot
    cores, which it shouldn't. Hence, the before mentioned assert should
    _not_ fail. There is something wrong .. <br>
    <br>
    I get the same problem when I am trying to run the tip on the SCC. I
    am looking into this .. <br>
    <br>
    On 04/22/2012 12:18 PM, Shi Jinghao (&#21490;&#32463;&#28009;&#65289; wrote:
    <blockquote
cite="mid:CAKdW-HHkpMDyOvNjFA2dvd60Z7L5thX91J_CvTjtU86y4fGPRA@mail.gmail.com"
      type="cite">
      <meta http-equiv="Content-Type" content="text/html;
        charset=ISO-8859-1">
      <div class="gmail_extra">Hi, stefan.</div>
      <div class="gmail_extra"><br>
      </div>
      <div class="gmail_extra">I changed the line as you instructed and
        it works. But when I try to boot core 0, 1, 2 ,3</div>
      <div class="gmail_extra">
        with the following line:</div>
      <div class="gmail_extra"><br>
      </div>
      <div class="gmail_extra">module /scc/sbin/spawnd boot bootscc=1-3</div>
      <div class="gmail_extra"><br>
      </div>
      <div class="gmail_extra">The same problem occurs (ouput attached).
        So what's the proper syntax that correctly</div>
      <div class="gmail_extra">boot scc cores (e.g. {0, 1, 2, 3}, or {0,
        2, 4, 6} )?</div>
      <div class="gmail_extra"><br>
      </div>
      <div class="gmail_extra">Regards,</div>
      <div class="gmail_extra">Jinghao</div>
      <div class="gmail_extra">
        <br>
      </div>
      <div class="gmail_extra">
        ---------- OUTPUT START ------------------------------</div>
      <div class="gmail_extra">
        <div class="gmail_extra">Kernel starting at address 0x80100000</div>
        <div>Barrelfish CPU driver starting on scc core 0</div>
      </div>
      <div class="gmail_extra">
        <div class="gmail_extra">init: invoked as: init 2097152</div>
        <div class="gmail_extra">Spawning memory server
          (scc/sbin/mem_serv)...</div>
        <div class="gmail_extra">Spawning monitor (scc/sbin/monitor)...</div>
        <div class="gmail_extra">
          starting monitor as 'scc/sbin/monitor 327680 '</div>
        <div class="gmail_extra">monitor: invoked as: scc/sbin/monitor
          327680</div>
        <div class="gmail_extra">RAM allocator initialised, 1612 MB (of
          1628 MB) available</div>
        <div class="gmail_extra">Spawning chips on core 0</div>
        <div class="gmail_extra">Spawning /scc/sbin/ramfsd on core 0</div>
        <div class="gmail_extra">Spawning /scc/sbin/spawnd on core 0</div>
        <div class="gmail_extra">Spawning /scc/sbin/startd on core 0</div>
        <div class="gmail_extra">0 chips: client waiting for ramfs</div>
        <div class="gmail_extra">ramfsd.0: pre-populating from boot
          image...</div>
        <div class="gmail_extra">0 chips: client waiting for ramfs</div>
        <div class="gmail_extra">
          ramfsd.0: ready</div>
        <div class="gmail_extra">0 chips: notifying client about ramfs</div>
        <div class="gmail_extra">0 chips: notifying client about ramfs</div>
        <div class="gmail_extra">kernel 0: Allocating RAM at 0x80000000
          uninitialized</div>
        <div class="gmail_extra">kernel 0: Allocating RAM at 0x80010000
          uninitialized</div>
        <div class="gmail_extra">spawnd.0: coreid 0 is arch id 0</div>
        <div class="gmail_extra">spawnd.0: coreid 1 is arch id 1</div>
        <div class="gmail_extra">
          spawnd.0: coreid 2 is arch id 2</div>
        <div class="gmail_extra">spawnd.0: coreid 3 is arch id 3</div>
        <div class="gmail_extra">0 chips: client waiting for
          all_spawnds_up</div>
        <div class="gmail_extra">Monitor 0: booting scc core 1 as
          '/scc/sbin/cpu'</div>
        <div class="gmail_extra">kernel 0: Allocating RAM at 0x80020000
          uninitialized</div>
        <div class="gmail_extra">Kernel starting at address 0x80100000</div>
        <div class="gmail_extra">My APIC ID: 1</div>
        <div class="gmail_extra">
          Barrelfish CPU driver starting on scc core 1</div>
        <div class="gmail_extra">init: invoked as: init 2097152</div>
        <div class="gmail_extra">Spawning memory server
          (scc/sbin/mem_serv)...</div>
        <div class="gmail_extra">Spawning monitor (scc/sbin/monitor)...</div>
        <div class="gmail_extra">
          starting monitor as 'scc/sbin/monitor 327680 '</div>
        <div class="gmail_extra">monitor: invoked as: scc/sbin/monitor
          327680</div>
        <div class="gmail_extra">RAM allocator initialised, 1612 MB (of
          1628 MB) available</div>
        <div class="gmail_extra">Spawning chips on core 1</div>
        <div class="gmail_extra">Spawning /scc/sbin/ramfsd on core 1</div>
        <div class="gmail_extra">Spawning /scc/sbin/spawnd on core 1</div>
        <div class="gmail_extra">Spawning /scc/sbin/startd on core 1</div>
        <div class="gmail_extra">0 chips: client waiting for ramfs</div>
        <div class="gmail_extra">ramfsd.1: pre-populating from boot
          image...</div>
        <div class="gmail_extra">0 chips: client waiting for ramfs</div>
        <div class="gmail_extra">
          ramfsd.1: ready</div>
        <div class="gmail_extra">0 chips: notifying client about ramfs</div>
        <div class="gmail_extra">0 chips: notifying client about ramfs</div>
        <div class="gmail_extra">kernel 1: Allocating RAM at 0x84000000
          uninitialized</div>
        <div class="gmail_extra">kernel 1: Allocating RAM at 0x84010000
          uninitialized</div>
        <div class="gmail_extra">spawnd.1: coreid 0 is arch id 2</div>
        <div class="gmail_extra">spawnd.1: coreid 1 is arch id 1</div>
        <div class="gmail_extra">
          spawnd.1: coreid 2 is arch id 3</div>
        <div class="gmail_extra">0 chips: client waiting for
          all_spawnds_up</div>
        <div class="gmail_extra">Monitor 1: booting scc core 0 as
          '/scc/sbin/cpu'</div>
        <div class="gmail_extra">
          kernel 1: Allocating RAM at 0x84020000 uninitialized</div>
        <div class="gmail_extra">kernel 1 PANIC! kernel assertion
          "rck_get_coreid() == 0" failed at ../kernel/arch/scc/rck.c:876</div>
        <div class="gmail_extra">kernel 1: exception 3 (error code 0x0):
          breakpoint</div>
        <div class="gmail_extra">On behalf of: monitor</div>
        <div class="gmail_extra">Faulting instruction pointer (or
          following instruction): 0x8010a7bf (0x 10a7bf in binary)</div>
        <div class="gmail_extra">EAX 0x80118000 EBX 0x80116e88 ECX 0x0
          EDX 0x805202c0 ESP 0x80920a08</div>
        <div class="gmail_extra">Top o' stack:</div>
        <div class="gmail_extra">0x8010a7bf 0x2 0x8 0x10 0x3 0x0
          0x8010a7bf 0x8 0x2 0x80520180 0x80116e88 0x80920a44 0x8010c612
          0x80116e88 0x210d6000 0x80920a64 0x8010c64b 0x801164a0
          0x80114c10 0x80114b55&nbsp;</div>
        <div class="gmail_extra">No GDB backend</div>
        <div class="gmail_extra">---------------- OUTPUT END
          ----------------------------</div>
        <div><br>
        </div>
        <br>
        <div class="gmail_quote">On Sun, Apr 22, 2012 at 5:33 PM, <span
            dir="ltr">&lt;<a moz-do-not-send="true"
              href="mailto:barrelfish-users-request@lists.inf.ethz.ch"
              target="_blank">barrelfish-users-request@lists.inf.ethz.ch</a>&gt;</span>
          wrote:<br>
          <blockquote class="gmail_quote" style="margin:0 0 0
            .8ex;border-left:1px #ccc solid;padding-left:1ex">Send
            Barrelfish-users mailing list submissions to<br>
            &nbsp; &nbsp; &nbsp; &nbsp;<a moz-do-not-send="true"
              href="mailto:barrelfish-users@lists.inf.ethz.ch"
              target="_blank">barrelfish-users@lists.inf.ethz.ch</a><br>
            <br>
            To subscribe or unsubscribe via the World Wide Web, visit<br>
            &nbsp; &nbsp; &nbsp; &nbsp;<a moz-do-not-send="true"
              href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users"
              target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br>
            or, via email, send a message with subject or body 'help' to<br>
            &nbsp; &nbsp; &nbsp; &nbsp;<a moz-do-not-send="true"
              href="mailto:barrelfish-users-request@lists.inf.ethz.ch"
              target="_blank">barrelfish-users-request@lists.inf.ethz.ch</a><br>
            <br>
            You can reach the person managing the list at<br>
            &nbsp; &nbsp; &nbsp; &nbsp;<a moz-do-not-send="true"
              href="mailto:barrelfish-users-owner@lists.inf.ethz.ch"
              target="_blank">barrelfish-users-owner@lists.inf.ethz.ch</a><br>
            <br>
            When replying, please edit your Subject line so it is more
            specific<br>
            than "Re: Contents of Barrelfish-users digest..."<br>
            <br>
            <br>
            Today's Topics:<br>
            <br>
            &nbsp; 1. Problems when booting Barrelfish on SCC (???? &lt;<a
              moz-do-not-send="true" href="mailto:jhshi@cs.hku.hk"
              target="_blank">jhshi@cs.hku.hk</a>&gt;)<br>
            &nbsp; 2. Re: Problems when booting Barrelfish on SCC (Stefan
            K?stle)<br>
            <br>
            <br>
----------------------------------------------------------------------<br>
            <br>
            Message: 1<br>
            Date: Sun, 22 Apr 2012 17:12:57 +0800<br>
            From: Shi Jinghao (???? &lt;<a moz-do-not-send="true"
              href="mailto:jhshi@cs.hku.hk" target="_blank">jhshi@cs.hku.hk</a>&gt;<br>
            Subject: [Barrelfish-users] Problems when booting Barrelfish
            on SCC<br>
            To: <a moz-do-not-send="true"
              href="mailto:barrelfish-users@lists.inf.ethz.ch"
              target="_blank">barrelfish-users@lists.inf.ethz.ch</a><br>
            Message-ID:<br>
            &nbsp; &nbsp; &nbsp; &nbsp;&lt;<a moz-do-not-send="true"
href="mailto:CAKdW-HFRKv6HWqAxwsL5MMJRqot6BSPkHXPx9ecXg3eaONRHZw@mail.gmail.com"
              target="_blank">CAKdW-HFRKv6HWqAxwsL5MMJRqot6BSPkHXPx9ecXg3eaONRHZw@mail.gmail.com</a>&gt;<br>
            Content-Type: text/plain; charset="iso-8859-1"<br>
            <br>
            Hi,<br>
            <br>
            I'm trying to boot barrelfish on SCC. I've managed to
            compile the source,<br>
            get barrelfish0.obj and <a moz-do-not-send="true"
              href="http://barrelfish48.mt" target="_blank">barrelfish48.mt</a>.<br>
            Then I use the bootscc.sh to boot it. For test, I just want
            to boot core 0<br>
            and core 1, but a weird problem<br>
            happens: core 1 is trying to boot core 0. Here is the output
            after system<br>
            start.<br>
            <br>
            ----------------------OUTPUT START
            ------------------------------------<br>
            Kernel starting at address 0x80100000<br>
            hku@ubuntu:~/fish/<a moz-do-not-send="true"
              href="http://hg.barrelfish.org/build$" target="_blank">hg.barrelfish.org/build$</a>
            My APIC ID: 0<br>
            Barrelfish CPU driver starting on scc core 0<br>
            init: invoked as: init 2097152<br>
            Spawning memory server (scc/sbin/mem_serv)...<br>
            Spawning monitor (scc/sbin/monitor)...<br>
            starting monitor as 'scc/sbin/monitor 327680 '<br>
            monitor: invoked as: scc/sbin/monitor 327680<br>
            RAM allocator initialised, 1612 MB (of 1628 MB) available<br>
            Spawning chips on core 0<br>
            Spawning /scc/sbin/ramfsd on core 0<br>
            Spawning /scc/sbin/spawnd on core 0<br>
            Spawning /scc/sbin/startd on core 0<br>
            0 chips: client waiting for ramfs<br>
            ramfsd.0: pre-populating from boot image...<br>
            0 chips: client waiting for ramfs<br>
            ramfsd.0: ready<br>
            0 chips: notifying client about ramfs<br>
            0 chips: notifying client about ramfs<br>
            kernel 0: Allocating RAM at 0x80000000 uninitialized<br>
            kernel 0: Allocating RAM at 0x80010000 uninitialized<br>
            spawnd.0: coreid 0 is arch id 0<br>
            spawnd.0: coreid 1 is arch id 1<br>
            0 chips: client waiting for all_spawnds_up<br>
            Monitor 0: booting scc core 1 as '/scc/sbin/cpu'<br>
            kernel 0: Allocating RAM at 0x80020000 uninitialized<br>
            Kernel starting at address 0x80100000<br>
            My APIC ID: 1<br>
            Barrelfish CPU driver starting on scc core 1<br>
            init: invoked as: init 2097152<br>
            Spawning memory server (scc/sbin/mem_serv)...<br>
            Spawning monitor (scc/sbin/monitor)...<br>
            starting monitor as 'scc/sbin/monitor 327680 '<br>
            monitor: invoked as: scc/sbin/monitor 327680<br>
            RAM allocator initialised, 1612 MB (of 1628 MB) available<br>
            Spawning chips on core 1<br>
            Spawning /scc/sbin/ramfsd on core 1<br>
            Spawning /scc/sbin/spawnd on core 1<br>
            Spawning /scc/sbin/startd on core 1<br>
            0 chips: client waiting for ramfs<br>
            ramfsd.1: pre-populating from boot image...<br>
            0 chips: client waiting for ramfs<br>
            ramfsd.1: ready<br>
            0 chips: notifying client about ramfs<br>
            0 chips: notifying client about ramfs<br>
            kernel 1: Allocating RAM at 0x84000000 uninitialized<br>
            kernel 1: Allocating RAM at 0x84010000 uninitialized<br>
            spawnd.1: coreid 0 is arch id 0<br>
            spawnd.1: coreid 1 is arch id 1<br>
            0 chips: client waiting for all_spawnds_up<br>
            Monitor 1: booting scc core 0 as '/scc/sbin/cpu'<br>
            ********* Why would core 1 want to boot core 0 ?
            **************<br>
            kernel 1: Allocating RAM at 0x84020000 uninitialized<br>
            kernel 1 PANIC! kernel assertion "rck_get_coreid() == 0"
            failed at<br>
            ../kernel/arch/scc/rck.c:876<br>
            kernel 1: exception 3 (error code 0x0): breakpoint<br>
            On behalf of: monitor<br>
            Faulting instruction pointer (or following instruction):
            0x8010a7bf (0x<br>
            10a7bf in binary)<br>
            EAX 0x80118000 EBX 0x80116e88 ECX 0x0 EDX 0x805202c0 ESP
            0x80920a08<br>
            Top o' stack:<br>
            0x8010a7bf 0x2 0x8 0x10 0x3 0x0 0x8010a7bf 0x8 0x2
            0x80520180 0x80116e88<br>
            0x80920a44 0x8010c612 0x80116e88 0x210d6000 0x80920a64
            0x8010c64b<br>
            0x801164a0 0x80114c10 0x80114b55<br>
            No GDB backend<br>
            --------------- OUTPUT END ------------------------------<br>
            <br>
            As I see it, core 1 seems thought that it's the bsp core
            (while it's not)<br>
            so it's responsible to boot other cores. But I fail to see
            why core 1 would<br>
            think like that.<br>
            <br>
            Any ideas on this? Thanks in advance.<br>
            <br>
            Regards,<br>
            Jinghao<br>
            <br>
            FYI, this is my menu.lst.scc<br>
            <br>
            &nbsp;1 timeout 0<br>
            &nbsp;2<br>
            &nbsp;3 # spawnd is used to control which cpus are booted<br>
            &nbsp;4 #<br>
            &nbsp;5 # "spawnd boot" will use the skb and pci to figure out
            and<br>
            &nbsp;6 # &nbsp;boot all cores in the machine<br>
            &nbsp;7 #<br>
            &nbsp;8 # "spawnd boot bootscc=1-6" will not use the skb and<br>
            &nbsp;9 # boot the list of cores passed as argument.<br>
            &nbsp;10 # The hardware id of the cores to boot should be
            specified.<br>
            &nbsp;11 # This list may not include the bsp core id.<br>
            &nbsp;12<br>
            &nbsp;13 title &nbsp; Barrelfish<br>
            &nbsp;14 root &nbsp; &nbsp;(nd)<br>
            &nbsp;15 kernel &nbsp;/scc/sbin/cpu loglevel=4<br>
            &nbsp;16 module &nbsp;/scc/sbin/cpu<br>
            &nbsp;17 module &nbsp;/scc/sbin/init<br>
            &nbsp;18<br>
            &nbsp;19 # Domains spawned by init<br>
            &nbsp;20 module &nbsp;/scc/sbin/mem_serv<br>
            &nbsp;21 module &nbsp;/scc/sbin/monitor<br>
            &nbsp;22<br>
            &nbsp;23 module &nbsp;/scc/sbin/chips boot<br>
            &nbsp;24 module &nbsp;/scc/sbin/ramfsd boot<br>
            &nbsp;25 module &nbsp;/scc/sbin/spawnd boot bootscc=0-1<br>
            &nbsp;26 module &nbsp;/scc/sbin/startd boot<br>
            &nbsp;27<br>
            &nbsp;28 #module /scc/sbin/examples/xmpl-hello<br>
            &nbsp;29<br>
            &nbsp;30 # modules needed to start the networking<br>
            &nbsp;31 # module &nbsp;/scc/sbin/eMAC core=0 device=2<br>
            &nbsp;32 # module &nbsp;/scc/sbin/netd core=0 cardname=eMAC2_0<br>
            &nbsp;33 # module &nbsp;/scc/sbin/eMAC core=1<br>
            &nbsp;34 # module &nbsp;/scc/sbin/netd core=1 cardname=eMAC2_1<br>
            &nbsp;35<br>
            &nbsp;36 # Test for network throughput<br>
            &nbsp;37 # module &nbsp;/scc/sbin/netthroughput core=1 /nfs<br>
            nfs://<a moz-do-not-send="true"
              href="http://10.110.4.41/shared/nfs/pravin/testfile.txt"
              target="_blank">10.110.4.41/shared/nfs/pravin/testfile.txt</a><br>
            &nbsp;38<br>
            &nbsp;39 # For webserver<br>
            &nbsp;40 # module &nbsp;/scc/sbin/webserver core=1 eMAC2_1 10.110.4.41<br>
            /shared/pravin/sw<br>
            &nbsp;41<br>
            &nbsp;42 # RCK memory map<br>
            &nbsp;43 # Everything up til VGA is private RAM (maybe we want to
            throw it away)<br>
            &nbsp;44 mmap &nbsp; &nbsp;map 0x0 &nbsp; &nbsp; 0xa000 &nbsp; &nbsp; &nbsp;2<br>
            &nbsp;45 # Everything after VGA is private RAM (we also live in
            this area)<br>
            &nbsp;46 mmap &nbsp; &nbsp;map 0xe800 &nbsp; &nbsp; &nbsp;0x26ff1800 &nbsp;1<br>
            &nbsp;47 # Shared RAM (over all MCs) in the middle of address
            space<br>
            &nbsp;48 #mmap &nbsp; map 0x80000000 &nbsp;0x4000000 &nbsp; 1<br>
            &nbsp;49 mmap &nbsp; &nbsp;map &nbsp; &nbsp; 0x80000000 &nbsp; &nbsp; &nbsp;0x40000000 &nbsp; &nbsp; &nbsp;1<br>
            &nbsp;50 # At the very end we have some platform memory (bootup
            EEPROM)<br>
            &nbsp;51 mmap &nbsp; &nbsp;map 0xfffc0000 &nbsp;0x40000 &nbsp; &nbsp; 2<br>
            -------------- next part --------------<br>
            An HTML attachment was scrubbed...<br>
            URL: <a moz-do-not-send="true"
href="https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20120422/e2ff7982/attachment-0001.html"
              target="_blank">https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20120422/e2ff7982/attachment-0001.html</a><br>
            <br>
            ------------------------------<br>
            <br>
            Message: 2<br>
            Date: Sun, 22 Apr 2012 11:33:52 +0200<br>
            From: Stefan K?stle &lt;<a moz-do-not-send="true"
              href="mailto:stefan.kaestle@inf.ethz.ch" target="_blank">stefan.kaestle@inf.ethz.ch</a>&gt;<br>
            Subject: Re: [Barrelfish-users] Problems when booting
            Barrelfish on<br>
            &nbsp; &nbsp; &nbsp; &nbsp;SCC<br>
            To: &lt;<a moz-do-not-send="true"
              href="mailto:barrelfish-users@lists.inf.ethz.ch"
              target="_blank">barrelfish-users@lists.inf.ethz.ch</a>&gt;<br>
            Message-ID: &lt;<a moz-do-not-send="true"
              href="mailto:4F93D080.6080905@inf.ethz.ch" target="_blank">4F93D080.6080905@inf.ethz.ch</a>&gt;<br>
            Content-Type: text/plain; charset="iso-8859-1"<br>
            <br>
            Hi,<br>
            <br>
            can you try replacing<br>
            module &nbsp;/scc/sbin/spawnd boot bootscc=0-1<br>
            with<br>
            module &nbsp;/scc/sbin/spawnd boot bootscc=1<br>
            and try it again?<br>
            <br>
            The boot-up of core 0 is implicit - we do not specify it as
            a spwand<br>
            argument.<br>
            <br>
            Cheers,<br>
            &nbsp;Stefan<br>
            <br>
            On 04/22/2012 11:12 AM, Shi Jinghao (???) wrote:<br>
            &gt; Hi,<br>
            &gt;<br>
            &gt; I'm trying to boot barrelfish on SCC. I've managed to
            compile the<br>
            &gt; source, get barrelfish0.obj and <a
              moz-do-not-send="true" href="http://barrelfish48.mt"
              target="_blank">barrelfish48.mt</a> &lt;<a
              moz-do-not-send="true" href="http://barrelfish48.mt"
              target="_blank">http://barrelfish48.mt</a>&gt;.<br>
            &gt; Then I use the bootscc.sh to boot it. For test, I just
            want to boot<br>
            &gt; core 0 and core 1, but a weird problem<br>
            &gt; happens: core 1 is trying to boot core 0. Here is the
            output after<br>
            &gt; system start.<br>
            &gt;<br>
            &gt; ----------------------OUTPUT START
            ------------------------------------<br>
            &gt; Kernel starting at address 0x80100000<br>
            &gt; hku@ubuntu:~/fish/<a moz-do-not-send="true"
              href="http://hg.barrelfish.org/build$" target="_blank">hg.barrelfish.org/build$</a><br>
            &gt; &lt;<a moz-do-not-send="true"
              href="http://hg.barrelfish.org/build$" target="_blank">http://hg.barrelfish.org/build$</a>&gt;
            My APIC ID: 0<br>
            &gt; Barrelfish CPU driver starting on scc core 0<br>
            &gt; init: invoked as: init 2097152<br>
            &gt; Spawning memory server (scc/sbin/mem_serv)...<br>
            &gt; Spawning monitor (scc/sbin/monitor)...<br>
            &gt; starting monitor as 'scc/sbin/monitor 327680 '<br>
            &gt; monitor: invoked as: scc/sbin/monitor 327680<br>
            &gt; RAM allocator initialised, 1612 MB (of 1628 MB)
            available<br>
            &gt; Spawning chips on core 0<br>
            &gt; Spawning /scc/sbin/ramfsd on core 0<br>
            &gt; Spawning /scc/sbin/spawnd on core 0<br>
            &gt; Spawning /scc/sbin/startd on core 0<br>
            &gt; 0 chips: client waiting for ramfs<br>
            &gt; ramfsd.0: pre-populating from boot image...<br>
            &gt; 0 chips: client waiting for ramfs<br>
            &gt; ramfsd.0: ready<br>
            &gt; 0 chips: notifying client about ramfs<br>
            &gt; 0 chips: notifying client about ramfs<br>
            &gt; kernel 0: Allocating RAM at 0x80000000 uninitialized<br>
            &gt; kernel 0: Allocating RAM at 0x80010000 uninitialized<br>
            &gt; spawnd.0: coreid 0 is arch id 0<br>
            &gt; spawnd.0: coreid 1 is arch id 1<br>
            &gt; 0 chips: client waiting for all_spawnds_up<br>
            &gt; Monitor 0: booting scc core 1 as '/scc/sbin/cpu'<br>
            &gt; kernel 0: Allocating RAM at 0x80020000 uninitialized<br>
            &gt; Kernel starting at address 0x80100000<br>
            &gt; My APIC ID: 1<br>
            &gt; Barrelfish CPU driver starting on scc core 1<br>
            &gt; init: invoked as: init 2097152<br>
            &gt; Spawning memory server (scc/sbin/mem_serv)...<br>
            &gt; Spawning monitor (scc/sbin/monitor)...<br>
            &gt; starting monitor as 'scc/sbin/monitor 327680 '<br>
            &gt; monitor: invoked as: scc/sbin/monitor 327680<br>
            &gt; RAM allocator initialised, 1612 MB (of 1628 MB)
            available<br>
            &gt; Spawning chips on core 1<br>
            &gt; Spawning /scc/sbin/ramfsd on core 1<br>
            &gt; Spawning /scc/sbin/spawnd on core 1<br>
            &gt; Spawning /scc/sbin/startd on core 1<br>
            &gt; 0 chips: client waiting for ramfs<br>
            &gt; ramfsd.1: pre-populating from boot image...<br>
            &gt; 0 chips: client waiting for ramfs<br>
            &gt; ramfsd.1: ready<br>
            &gt; 0 chips: notifying client about ramfs<br>
            &gt; 0 chips: notifying client about ramfs<br>
            &gt; kernel 1: Allocating RAM at 0x84000000 uninitialized<br>
            &gt; kernel 1: Allocating RAM at 0x84010000 uninitialized<br>
            &gt; spawnd.1: coreid 0 is arch id 0<br>
            &gt; spawnd.1: coreid 1 is arch id 1<br>
            &gt; 0 chips: client waiting for all_spawnds_up<br>
            &gt; Monitor 1: booting scc core 0 as '/scc/sbin/cpu'<br>
            &gt; ********* Why would core 1 want to boot core 0 ?
            **************<br>
            &gt; kernel 1: Allocating RAM at 0x84020000 uninitialized<br>
            &gt; kernel 1 PANIC! kernel assertion "rck_get_coreid() ==
            0" failed at<br>
            &gt; ../kernel/arch/scc/rck.c:876<br>
            &gt; kernel 1: exception 3 (error code 0x0): breakpoint<br>
            &gt; On behalf of: monitor<br>
            &gt; Faulting instruction pointer (or following
            instruction): 0x8010a7bf<br>
            &gt; (0x 10a7bf in binary)<br>
            &gt; EAX 0x80118000 EBX 0x80116e88 ECX 0x0 EDX 0x805202c0
            ESP 0x80920a08<br>
            &gt; Top o' stack:<br>
            &gt; 0x8010a7bf 0x2 0x8 0x10 0x3 0x0 0x8010a7bf 0x8 0x2
            0x80520180<br>
            &gt; 0x80116e88 0x80920a44 0x8010c612 0x80116e88 0x210d6000
            0x80920a64<br>
            &gt; 0x8010c64b 0x801164a0 0x80114c10 0x80114b55<br>
            &gt; No GDB backend<br>
            &gt; --------------- OUTPUT END
            ------------------------------<br>
            &gt;<br>
            &gt; As I see it, core 1 seems thought that it's the bsp
            core (while it's<br>
            &gt; not) so it's responsible to boot other cores. But I
            fail to see why<br>
            &gt; core 1 would think like that.<br>
            &gt;<br>
            &gt; Any ideas on this? Thanks in advance.<br>
            &gt;<br>
            &gt; Regards,<br>
            &gt; Jinghao<br>
            &gt;<br>
            &gt; FYI, this is my menu.lst.scc<br>
            &gt;<br>
            &gt; &nbsp; 1 timeout 0<br>
            &gt; &nbsp; 2<br>
            &gt; &nbsp; 3 # spawnd is used to control which cpus are booted<br>
            &gt; &nbsp; 4 #<br>
            &gt; &nbsp; 5 # "spawnd boot" will use the skb and pci to figure
            out and<br>
            &gt; &nbsp; 6 # &nbsp;boot all cores in the machine<br>
            &gt; &nbsp; 7 #<br>
            &gt; &nbsp; 8 # "spawnd boot bootscc=1-6" will not use the skb
            and<br>
            &gt; &nbsp; 9 # boot the list of cores passed as argument.<br>
            &gt; &nbsp;10 # The hardware id of the cores to boot should be
            specified.<br>
            &gt; &nbsp;11 # This list may not include the bsp core id.<br>
            &gt; &nbsp;12<br>
            &gt; &nbsp;13 title &nbsp; Barrelfish<br>
            &gt; &nbsp;14 root &nbsp; &nbsp;(nd)<br>
            &gt; &nbsp;15 kernel &nbsp;/scc/sbin/cpu loglevel=4<br>
            &gt; &nbsp;16 module &nbsp;/scc/sbin/cpu<br>
            &gt; &nbsp;17 module &nbsp;/scc/sbin/init<br>
            &gt; &nbsp;18<br>
            &gt; &nbsp;19 # Domains spawned by init<br>
            &gt; &nbsp;20 module &nbsp;/scc/sbin/mem_serv<br>
            &gt; &nbsp;21 module &nbsp;/scc/sbin/monitor<br>
            &gt; &nbsp;22<br>
            &gt; &nbsp;23 module &nbsp;/scc/sbin/chips boot<br>
            &gt; &nbsp;24 module &nbsp;/scc/sbin/ramfsd boot<br>
            &gt; &nbsp;25 module &nbsp;/scc/sbin/spawnd boot bootscc=0-1<br>
            &gt; &nbsp;26 module &nbsp;/scc/sbin/startd boot<br>
            &gt; &nbsp;27<br>
            &gt; &nbsp;28 #module /scc/sbin/examples/xmpl-hello<br>
            &gt; &nbsp;29<br>
            &gt; &nbsp;30 # modules needed to start the networking<br>
            &gt; &nbsp;31 # module &nbsp;/scc/sbin/eMAC core=0 device=2<br>
            &gt; &nbsp;32 # module &nbsp;/scc/sbin/netd core=0 cardname=eMAC2_0<br>
            &gt; &nbsp;33 # module &nbsp;/scc/sbin/eMAC core=1<br>
            &gt; &nbsp;34 # module &nbsp;/scc/sbin/netd core=1 cardname=eMAC2_1<br>
            &gt; &nbsp;35<br>
            &gt; &nbsp;36 # Test for network throughput<br>
            &gt; &nbsp;37 # module &nbsp;/scc/sbin/netthroughput core=1 /nfs<br>
            &gt; nfs://<a moz-do-not-send="true"
              href="http://10.110.4.41/shared" target="_blank">10.110.4.41/shared</a>
            &lt;<a moz-do-not-send="true"
              href="http://10.110.4.41/shared" target="_blank">http://10.110.4.41/shared</a>&gt;<br>
            &gt; /nfs/pravin/testfile.txt<br>
            &gt; &nbsp;38<br>
            &gt; &nbsp;39 # For webserver<br>
            &gt; &nbsp;40 # module &nbsp;/scc/sbin/webserver core=1 eMAC2_1
            10.110.4.41<br>
            &gt; /shared/pravin/sw<br>
            &gt; &nbsp;41<br>
            &gt; &nbsp;42 # RCK memory map<br>
            &gt; &nbsp;43 # Everything up til VGA is private RAM (maybe we
            want to throw it<br>
            &gt; away)<br>
            &gt; &nbsp;44 mmap &nbsp; &nbsp;map 0x0 &nbsp; &nbsp; 0xa000 &nbsp; &nbsp; &nbsp;2<br>
            &gt; &nbsp;45 # Everything after VGA is private RAM (we also live
            in this area)<br>
            &gt; &nbsp;46 mmap &nbsp; &nbsp;map 0xe800 &nbsp; &nbsp; &nbsp;0x26ff1800 &nbsp;1<br>
            &gt; &nbsp;47 # Shared RAM (over all MCs) in the middle of
            address space<br>
            &gt; &nbsp;48 #mmap &nbsp; map 0x80000000 &nbsp;0x4000000 &nbsp; 1<br>
            &gt; &nbsp;49 mmap &nbsp; &nbsp;map &nbsp; &nbsp; 0x80000000 &nbsp; &nbsp; &nbsp;0x40000000 &nbsp; &nbsp; &nbsp;1<br>
            &gt; &nbsp;50 # At the very end we have some platform memory
            (bootup EEPROM)<br>
            &gt; &nbsp;51 mmap &nbsp; &nbsp;map 0xfffc0000 &nbsp;0x40000 &nbsp; &nbsp; 2<br>
            &gt;<br>
            &gt;<br>
            &gt;<br>
            &gt; _______________________________________________<br>
            &gt; Barrelfish-users mailing list<br>
            &gt; <a moz-do-not-send="true"
              href="mailto:Barrelfish-users@lists.inf.ethz.ch"
              target="_blank">Barrelfish-users@lists.inf.ethz.ch</a><br>
            &gt; <a moz-do-not-send="true"
              href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users"
              target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br>
            -------------- next part --------------<br>
            An HTML attachment was scrubbed...<br>
            URL: <a moz-do-not-send="true"
href="https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20120422/ffc2681c/attachment.html"
              target="_blank">https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20120422/ffc2681c/attachment.html</a><br>
            <br>
            ------------------------------<br>
            <br>
            _______________________________________________<br>
            Barrelfish-users mailing list<br>
            <a moz-do-not-send="true"
              href="mailto:Barrelfish-users@lists.inf.ethz.ch"
              target="_blank">Barrelfish-users@lists.inf.ethz.ch</a><br>
            <a moz-do-not-send="true"
              href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users"
              target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br>
            <br>
            <br>
            End of Barrelfish-users Digest, Vol 27, Issue 9<br>
            ***********************************************<br>
            <br>
          </blockquote>
        </div>
        <br>
      </div>
    </blockquote>
  </body>
</html>