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