<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Hi,<br>
    <br>
    this is harder to fix than I originally though. I will take some
    time to fix (especially since I am a little busy right now).<br>
    <br>
    Maybe you want to use an earlier version of Barrelfish in the
    meanwhile, e.g. revision release2011-09-02?! Since then, nothing
    significantly changed for the SCC code anyway. That one works fine
    on our SCC. In case you revert, make sure to do a clean rebuild!<br>
    <br>
    Cheers<br>
    &nbsp;Stefan<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>