Well, I have added the bomp benchmarks to it and it no longer hangs up at the "skb.0:waiting for: serial" message. However, I am still getting the ram_alloc error. So I guess I am low on memory? My machine has 16GB of memory. You would think that would be enough but maybe since it has 48 cores that there is not enough memory to load everything.<div>
<br></div><div>Here is my menu.lst:</div><div><br></div><div><div><font size="1" color="#660000">default 0</font></div><div><font size="1" color="#660000">timeout 5</font></div><div><font size="1" color="#660000"><br>
</font></div><div><font size="1" color="#660000">title Barrelfish</font></div><div><font size="1" color="#660000">ifconfig --address=10.1.1.29 --server=10.1.1.25</font></div><div><font size="1" color="#660000">root (nd)/barrelfish/</font></div>
<div><font size="1" color="#660000">kernel (nd)/barrelfish/x86_64/sbin/elver loglevel=4</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/cpu loglevel=4</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/init</font></div>
<div><font size="1" color="#660000"><br></font></div><div><font size="1" color="#660000"># Domains spawned by init</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/mem_serv</font></div><div>
<font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/monitor</font></div><div><font size="1" color="#660000"><br></font></div><div><font size="1" color="#660000"># Special boot time domains spawned by monitor</font></div>
<div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/ramfsd boot</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/skb boot</font></div><div><font size="1" color="#660000">modulenounzip (nd)/barrelfish/skb_ramfs.cpio.gz nospawn</font></div>
<div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/kaluga boot</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/acpi boot</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/spawnd boot</font></div>
<div><font size="1" color="#660000">#bootapic-x86_64=1-15</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/startd boot</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/routing_setup boot</font></div>
<div><font size="1" color="#660000"><br></font></div><div><font size="1" color="#660000"># Drivers</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/pci auto</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/ahcid auto</font></div>
<div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/rtl8029 auto</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/e1000n auto</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/NGD_mng auto</font></div>
<div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/netd auto</font></div><div><font size="1" color="#660000"><br></font></div><div><font size="1" color="#660000"># General user domains</font></div><div>
<font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/serial</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/fish</font></div><div><font size="1" color="#660000"><br></font></div>
<div><font size="1" color="#660000"># Benchmarks</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/bomp_benchmark_is</font></div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/bomp_benchmark_cg</font></div>
</div><div><font size="1" color="#660000">module (nd)/barrelfish/x86_64/sbin/bomp_benchmark_ft</font></div><div><br></div><div>Here is my complete boot output from the serial port:</div><div><br></div><div><div><font size="1" color="#660000">Kernel starting at address 0xffffff8008780000</font></div>
<div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 16</font></div><div><font size="1" color="#660000">kernel 0: Measured 200006784 APIC timer counts in one RTC second, 263928 data points.</font></div>
<div><font size="1" color="#660000">kernel 0: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 14 TSC ticks.</font></div><div><font size="1" color="#660000">Raw MMAP from BIOS</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x00000000 - 0x0009e800 Type: 1 Length: 0x9e800</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x0009e800 - 0x000a0000 Type: 2 Length: 0x1800</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x000e8000 - 0x00100000 Type: 2 Length: 0x18000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x00100000 - 0xd7e60000 Type: 1 Length: 0xd7d60000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7e6e000 - 0xd7e70000 Type: 9 Length: 0x2000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7e70000 - 0xd7e94000 Type: 3 Length: 0x24000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7e94000 - 0xd7ec0000 Type: 4 Length: 0x2c000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7ec0000 - 0xd7ee0000 Type: 2 Length: 0x20000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7eed000 - 0xd7f00000 Type: 2 Length: 0x13000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7f00000 - 0xd8000000 Type: 2 Length: 0x100000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xe0000000 - 0xf0000000 Type: 2 Length: 0x10000000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xffe00000 - 0x100000000 Type: 2 Length: 0x200000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x100000000 - 0x428000000 Type: 1 Length: 0x328000000</font></div>
<div><font size="1" color="#660000">Sorted MMAP</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x00000000 - 0x0009e800 Type: 1 Length: 0x9e800</font></div><div>
<font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x0009e800 - 0x000a0000 Type: 2 Length: 0x1800</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x000e8000 - 0x00100000 Type: 2 Length: 0x18000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x00100000 - 0xd7e60000 Type: 1 Length: 0xd7d60000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7e6e000 - 0xd7e70000 Type: 9 Length: 0x2000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7e70000 - 0xd7e94000 Type: 3 Length: 0x24000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7e94000 - 0xd7ec0000 Type: 4 Length: 0x2c000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7ec0000 - 0xd7ee0000 Type: 2 Length: 0x20000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7eed000 - 0xd7f00000 Type: 2 Length: 0x13000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7f00000 - 0xd8000000 Type: 2 Length: 0x100000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xe0000000 - 0xf0000000 Type: 2 Length: 0x10000000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xffe00000 - 0x100000000 Type: 2 Length: 0x200000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x100000000 - 0x428000000 Type: 1 Length: 0x328000000</font></div>
<div><font size="1" color="#660000">Preprocessed MMAP</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x00000000 - 0x0009e800 Type: 1 Length: 0x9e800</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x0009e800 - 0x000a0000 Type: 2 Length: 0x1800</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x000e8000 - 0x00100000 Type: 2 Length: 0x18000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x00100000 - 0xd7e60000 Type: 1 Length: 0xd7d60000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7e6e000 - 0xd7e70000 Type: 9 Length: 0x2000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7e70000 - 0xd7e94000 Type: 3 Length: 0x24000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7e94000 - 0xd7ec0000 Type: 4 Length: 0x2c000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7ec0000 - 0xd7ee0000 Type: 2 Length: 0x20000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7eed000 - 0xd7f00000 Type: 2 Length: 0x13000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7f00000 - 0xd8000000 Type: 2 Length: 0x100000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xe0000000 - 0xf0000000 Type: 2 Length: 0x10000000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xffe00000 - 0x100000000 Type: 2 Length: 0x200000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x100000000 - 0x428000000 Type: 1 Length: 0x328000000</font></div>
<div><font size="1" color="#660000">Pagealigned MMAP</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x00000000 - 0x0009e000 Type: 1 Length: 0x9e000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x0009e000 - 0x000a0000 Type: 2 Length: 0x2000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x000e8000 - 0x00100000 Type: 2 Length: 0x18000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x00100000 - 0xd7e60000 Type: 1 Length: 0xd7d60000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7e6e000 - 0xd7e70000 Type: 9 Length: 0x2000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7e70000 - 0xd7e94000 Type: 3 Length: 0x24000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7e94000 - 0xd7ec0000 Type: 4 Length: 0x2c000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7ec0000 - 0xd7ee0000 Type: 2 Length: 0x20000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7eed000 - 0xd7f00000 Type: 2 Length: 0x13000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xd7f00000 - 0xd8000000 Type: 2 Length: 0x100000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xe0000000 - 0xf0000000 Type: 2 Length: 0x10000000</font></div>
<div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0xffe00000 - 0x100000000 Type: 2 Length: 0x200000</font></div><div><font size="1" color="#660000"><span class="Apple-tab-span" style="white-space:pre"> </span>0x100000000 - 0x428000000 Type: 1 Length: 0x328000000</font></div>
<div><font size="1" color="#660000">kernel 0: unhandled IRQ 7</font></div><div><font size="1" color="#660000">init: invoked as: init 2097152</font></div><div><font size="1" color="#660000">Spawning memory server (x86_64/sbin/mem_serv)...</font></div>
<div><font size="1" color="#660000">Spawning monitor (x86_64/sbin/monitor)...</font></div><div><font size="1" color="#660000">monitor: invoked as: x86_64/sbin/monitor 327680</font></div><div><font size="1" color="#660000">RAM allocator initialised, 16221 MB (of 16237 MB) available</font></div>
<div><font size="1" color="#660000">Spawning ramfsd on core 0</font></div><div><font size="1" color="#660000">ramfsd.0: pre-populating from boot image...</font></div><div><font size="1" color="#660000">ramfsd.0: unpacking Gzipped CPIO /skb_ramfs.cpio.gz</font></div>
<div><font size="1" color="#660000">ramfsd.0: ready</font></div><div><font size="1" color="#660000">Spawning skb on core 0</font></div><div><font size="1" color="#660000">Spawning (nd)/barrelfish/x86_64/sbin/kaluga on core 0</font></div>
<div><font size="1" color="#660000">Spawning (nd)/barrelfish/x86_64/sbin/acpi on core 0</font></div><div><font size="1" color="#660000">Spawning (nd)/barrelfish/x86_64/sbin/spawnd on core 0</font></div><div><font size="1" color="#660000">Spawning (nd)/barrelfish/x86_64/sbin/startd on core 0</font></div>
<div><font size="1" color="#660000">Spawning (nd)/barrelfish/x86_64/sbin/routing_setup on core 0</font></div><div><font size="1" color="#660000">Kaluga running.</font></div><div><font size="1" color="#660000">skb.0: waiting for: skb</font></div>
<div><font size="1" color="#660000">skb.0: waiting for: all_spawnds_up</font></div><div><font size="1" color="#660000">kernel: 0: installing handler for IRQ 0</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 1 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8018001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 17</font></div><div><font size="1" color="#660000">Installing fixed event handler for power button</font></div>
<div><font size="1" color="#660000">Installing notify handler for power/sleep button</font></div><div><font size="1" color="#660000">kernel 1: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 16 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 1</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 2 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8019001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 18</font></div><div><font size="1" color="#660000">kernel 2: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 17 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 2</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 3 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff801b001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 19</font></div><div><font size="1" color="#660000">kernel 3: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 17 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 3</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 4 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff801c001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 20</font></div><div><font size="1" color="#660000">kernel 4: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 19 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 4</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 5 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff801d001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 21</font></div><div><font size="1" color="#660000">kernel 5: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 17 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 5</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 6 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff801e001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 22</font></div><div><font size="1" color="#660000">kernel 6: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 24 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 6</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 7 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8024001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 23</font></div><div><font size="1" color="#660000">kernel 7: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 16 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 7</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 8 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8025001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 24</font></div><div><font size="1" color="#660000">kernel 8: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 18 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 8</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 9 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8026001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 25</font></div><div><font size="1" color="#660000">kernel 9: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 15 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 9</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 10 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8027001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 26</font></div><div><font size="1" color="#660000">kernel 10: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 16 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 10</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 11 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8028001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 27</font></div><div><font size="1" color="#660000">kernel 11: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 17 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 11</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 12 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff802a001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 32</font></div><div><font size="1" color="#660000">kernel 12: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 16 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 12</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 13 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff802b001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 33</font></div><div><font size="1" color="#660000">kernel 13: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 17 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 13</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 14 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff802c001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 34</font></div><div><font size="1" color="#660000">kernel 14: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 18 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 14</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 15 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff802d001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 35</font></div><div><font size="1" color="#660000">kernel 15: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 16 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 15</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 16 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff802e801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 36</font></div><div><font size="1" color="#660000">kernel 16: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 19 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 16</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 17 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff802f801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 37</font></div><div><font size="1" color="#660000">kernel 17: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 21 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 17</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 18 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8031001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 38</font></div><div><font size="1" color="#660000">kernel 18: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 20 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 18</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 19 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8032801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 39</font></div><div><font size="1" color="#660000">kernel 19: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 18 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 19</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 20 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8033801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 40</font></div><div><font size="1" color="#660000">kernel 20: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 19 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 20</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 21 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8034801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 41</font></div><div><font size="1" color="#660000">kernel 21: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 20 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 21</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 22 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8035801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 42</font></div><div><font size="1" color="#660000">kernel 22: Measured 1700060 TSC counts per ms, 99 data points. Average jitter 20 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 22</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 23 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8037801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 43</font></div><div><font size="1" color="#660000">kernel 23: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 20 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 23</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 24 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8038801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 48</font></div><div><font size="1" color="#660000">kernel 24: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 17 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 24</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 25 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8039801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 49</font></div><div><font size="1" color="#660000">kernel 25: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 18 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 25</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 26 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff803a801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 50</font></div><div><font size="1" color="#660000">kernel 26: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 17 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 26</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 27 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff803c001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 51</font></div><div><font size="1" color="#660000">kernel 27: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 18 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 27</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 28 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff803d001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 52</font></div><div><font size="1" color="#660000">kernel 28: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 16 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 28</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 29 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff803e801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 53</font></div><div><font size="1" color="#660000">kernel 29: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 18 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 29</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 30 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff803f801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 54</font></div><div><font size="1" color="#660000">kernel 30: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 16 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 30</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 31 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8041001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 55</font></div><div><font size="1" color="#660000">kernel 31: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 17 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 31</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 32 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8042001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 56</font></div><div><font size="1" color="#660000">kernel 32: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 18 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 32</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 33 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8043801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 57</font></div><div><font size="1" color="#660000">kernel 33: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 16 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 33</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 34 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8044801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 58</font></div><div><font size="1" color="#660000">kernel 34: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 16 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 34</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 35 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8046001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 59</font></div><div><font size="1" color="#660000">kernel 35: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 17 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 35</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 36 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8047801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 64</font></div><div><font size="1" color="#660000">kernel 36: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 15 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 36</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 37 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8048801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 65</font></div><div><font size="1" color="#660000">kernel 37: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 15 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 37</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 38 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8049801000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 66</font></div><div><font size="1" color="#660000">kernel 38: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 16 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 38</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 39 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff804b001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 67</font></div><div><font size="1" color="#660000">kernel 39: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 20 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 39</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 40 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8050001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 68</font></div><div><font size="1" color="#660000">kernel 40: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 17 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 40</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 41 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8051001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 69</font></div><div><font size="1" color="#660000">kernel 41: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 18 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 41</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 42 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8052001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 70</font></div><div><font size="1" color="#660000">kernel 42: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 16 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 42</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 43 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8053001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 71</font></div><div><font size="1" color="#660000">kernel 43: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 17 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 43</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 44 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8054001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 72</font></div><div><font size="1" color="#660000">kernel 44: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 17 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 44</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 45 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8055001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 73</font></div><div><font size="1" color="#660000">kernel 45: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 16 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 45</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 46 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8056001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 74</font></div><div><font size="1" color="#660000">kernel 46: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 17 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 46</font></div><div><font size="1" color="#660000">Monitor 0: booting x86_64 core 47 as '/x86_64/sbin/cpu loglevel=4'</font></div>
<div><font size="1" color="#660000">ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116</font></div><div><font size="1" color="#660000">ERROR: ram_alloc</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Kernel starting at address 0xffffff8057001000</font></div><div><font size="1" color="#660000">Barrelfish CPU driver starting on x86_64 apic_id 75</font></div><div><font size="1" color="#660000">kernel 47: Measured 1700059 TSC counts per ms, 99 data points. Average jitter 16 TSC ticks.</font></div>
<div><font size="1" color="#660000">monitor: invoked as: monitor 0 chanid=0 archid=16</font></div><div><font size="1" color="#660000">Spawning spawnd on core 47</font></div><div><font size="1" color="#660000">all 48 monitors up</font></div>
<div><font size="1" color="#660000">monitor: synchronizing clocks</font></div><div><font size="1" color="#660000">spawnd.0: spawning /x86_64/sbin/pci on core 0</font></div><div><font size="1" color="#660000">ERROR: acpi.0 in mm_alloc_range_proxy_handler() ../usr/acpi/acpi_service.c:35</font></div>
<div><font size="1" color="#660000">ERROR: mm realloc range failed...</font></div><div><font size="1" color="#660000"><br></font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">ERROR: pci.0 in main() ../usr/pci/pcimain.c:85</font></div><div><font size="1" color="#660000">ERROR: Setup PCIe confspace failed.</font></div><div><font size="1" color="#660000">Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]</font></div>
<div><font size="1" color="#660000">Aborted</font></div><div><font size="1" color="#660000">startd.0: starting app /x86_64/sbin/serial on core 0</font></div><div><font size="1" color="#660000">spawnd.0: spawning /x86_64/sbin/serial on core 0</font></div>
<div><font size="1" color="#660000">startd.0: starting app /x86_64/sbin/fish on core 0</font></div><div><font size="1" color="#660000">skb.0: waiting for: pci</font></div><div><font size="1" color="#660000">spawnd.0: spawning /x86_64/sbin/fish on core 0</font></div>
<div><font size="1" color="#660000">startd.0: starting app /x86_64/sbin/bomp_benchmark_is on core 0</font></div><div><font size="1" color="#660000">skb.0: waiting for: serial</font></div><div><font size="1" color="#660000">spawnd.0: spawning /x86_64/sbin/bomp_benchmark_is on core 0</font></div>
<div><font size="1" color="#660000">startd.0: starting app /x86_64/sbin/bomp_benchmark_cg on core 0</font></div><div><font size="1" color="#660000">Usage: bomp_benchmark_is <Number of threads></font></div><div><font size="1" color="#660000">spawnd.0: spawning /x86_64/sbin/bomp_benchmark_cg on core 0</font></div>
<div><font size="1" color="#660000">startd.0: starting app /x86_64/sbin/bomp_benchmark_ft on core 0</font></div><div><font size="1" color="#660000">Usage: bomp_benchmark_cg <Number of threads></font></div><div><font size="1" color="#660000">Aborted</font></div>
<div><font size="1" color="#660000">spawnd.0: spawning /x86_64/sbin/bomp_benchmark_ft on core 0</font></div><div><font size="1" color="#660000">No bootscript</font></div><div><font size="1" color="#660000">Usage: bomp_benchmark_ft <Number of threads></font></div>
</div><div><font size="1" color="#660000"><br></font></div><div>Let me know what you think. Thanks for the help guys.</div><div><br></div><div>Shawn</div><div><br></div><div><br><div class="gmail_quote">On Thu, Jun 14, 2012 at 11:59 AM, Zellweger Gerd <span dir="ltr"><<a href="mailto:zgerd@student.ethz.ch" target="_blank">zgerd@student.ethz.ch</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all,<br>
<br>
Stefan is correct. Something (not the SKB) is waiting for serial to appear.<br>
@Shawn: Can you give us some more input (i.e., your menu.lst file and the complete boot output)?<br>
<br>
Gerd<br>
<br>
________________________________________<br>
From: Stefan Kästle [<a href="mailto:stefan.kaestle@inf.ethz.ch">stefan.kaestle@inf.ethz.ch</a>]<br>
Sent: 14 June 2012 16:57<br>
To: <a href="mailto:barrelfish-users@lists.inf.ethz.ch">barrelfish-users@lists.inf.ethz.ch</a><br>
Subject: Re: [Barrelfish-users] Barrelfish on hardware waiting for serial<br>
<div class="HOEnZb"><div class="h5"><br>
skb.0: waiting for: serial is probably due to the fact that the name<br>
server got replaced by Gerd's thesis. He was integrating the name server<br>
in the SKB. It just means that something in the system is waiting for<br>
serial.<br>
<br>
On 06/14/2012 03:02 PM, Simon Peter wrote:<br>
>> I can successfully boot Barrelfish over tftp on one of my machines.<br>
>> However, when I try to do it on a different machine, Barrelfish boots<br>
>> but at the end it displays "skb.0: waiting for: serial" and I never<br>
> This looks like garbled output. The SKB shouldn't depend on the serial<br>
> driver.<br>
><br>
>> actually get the fish prompt. Looking back at the rest of the messages,<br>
>> I see that all monitors are up but I have different errors such as:<br>
>> ERROR: monitor.0 in ram_alloc() ../lib/barrelfish/ram_alloc.c:116<br>
>> ERROR: ram_alloc<br>
>> Failure: ( libmm) No matching node found [MM_ERR_NOT_FOUND]<br>
> That's an out of memory error. You might not have enough RAM in the machine.<br>
><br>
> Simon<br>
><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>
<br>
--<br>
Stefan<br>
<br>
<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>
_______________________________________________<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>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div>Virginia Tech<br>Bradley Department of Electrical and Computer Engineering<br>B.S. Electrical Engineering</div><div>B.S. Computer Engineering</div>
<br>
</div>