[Barrelfish-users] Barrelfish on hardware waiting for serial

Shawn Furrow sfurrow at vt.edu
Fri Jun 15 17:54:05 CEST 2012


Manuel (and all fish users),

I tried your suggestion and I am still getting the ram_alloc() errors after
core 30. Here is my output:

Kernel starting at address 0xffffff800877e000
Barrelfish CPU driver starting on x86_64 apic_id 16
kernel 0: Measured 200006946 APIC timer counts in one RTC second, 263977
data points.
kernel 0: Measured 1700059 TSC counts per ms, 99 data points. Average
jitter 12 TSC ticks.
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 19 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 15 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 17 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 19 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 17 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 16 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 16 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 17 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 16 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 16 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 18 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 17 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 23 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 18 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 16 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 20 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 18 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 0xffffff8036001000
Barrelfish CPU driver starting on x86_64 apic_id 42
kernel 22: Measured 1700060 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 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 21 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 16 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 15 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 16 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 19 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 20 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 19 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 15 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 19 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 16 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 74 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 0xffffff8045001000
Barrelfish CPU driver starting on x86_64 apic_id 58
kernel 34: 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 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 18 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 0xffffff8047001000
Barrelfish CPU driver starting on x86_64 apic_id 64
kernel 36: 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 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 0xffffff804c001000
Barrelfish CPU driver starting on x86_64 apic_id 65
kernel 37: Measured 1700059 TSC counts per ms, 99 data points. Average
jitter 36 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 0xffffff804d001000
Barrelfish CPU driver starting on x86_64 apic_id 66
kernel 38: 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 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 0xffffff804e001000
Barrelfish CPU driver starting on x86_64 apic_id 67
kernel 39: 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 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 0xffffff804f001000
Barrelfish CPU driver starting on x86_64 apic_id 68
kernel 40: 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 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 0xffffff8050001000
Barrelfish CPU driver starting on x86_64 apic_id 69
kernel 41: 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 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 0xffffff8051001000
Barrelfish CPU driver starting on x86_64 apic_id 70
kernel 42: 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 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 0xffffff8052001000
Barrelfish CPU driver starting on x86_64 apic_id 71
kernel 43: 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 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 0xffffff8053001000
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 0xffffff8054001000
Barrelfish CPU driver starting on x86_64 apic_id 73
kernel 45: Measured 1700059 TSC counts per ms, 99 data points. Average
jitter 14 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 0xffffff8055001000
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 0xffffff8056001000
Barrelfish CPU driver starting on x86_64 apic_id 75
kernel 47: 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 47
all 48 monitors up
monitor: synchronizing clocks
spawnd.0: spawning /x86_64/sbin/pci on core 0
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
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: pci
skb.0: waiting for: serial
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
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 if you (or anyone else) have any more suggestions as to how I
can fix this or if you think I just need more memory.

Thanks,
Shawn

On Thu, Jun 14, 2012 at 3:28 PM, Manuel Stocker <mensi at vis.ethz.ch> wrote:

> This commit basically:
> http://hg.barrelfish.org/rev/**b64752e59d0d<http://hg.barrelfish.org/rev/b64752e59d0d>
>
> Am 14.06.2012 21:10, schrieb Shawn Furrow:
>
>  Manuel,
>>
>> I am not too familiar with the MMAP code. Can you be more specific about
>> which parts of the code (file name and line numbers) I should comment out?
>>
>> Thanks,
>> Shawn
>>
>


-- 
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/20120615/85c04527/attachment-0001.html 


More information about the Barrelfish-users mailing list