Ore on Intel Pro/1000

Michael Scheibel m.scheibel at sirrix.com
Tue Feb 7 15:52:40 CET 2006


Am Montag 28 November 2005 16:53 schrieb Christian Helmuth:
> Hello Michael,
>
> please post a complete log for:
>
> * Fiasco kernel debugger messages
> * L4Linux boot messages
>
> BTW: Switching "Network device support" on seems reasonable...
>
> Cheers

Hi,

here we are, better late than never :)
We did not manage to arping ore_test_arping this time, but complete logs    
are attached.

Michael

-- 
Sirrix AG security technologies - http://www.sirrix-ag.de
Michael Scheibel  eMail: m.scheibel at sirrix.com
Tel +49(234) 610 071-124
Public key on demand
Fingerprint 009B 9963 7B28 4356 CA43 5BFD 17A4 AE0F 6943 4B54

This email may contain confidential legal information: if received by not
authorised person please advice our firm and destroy it. Anyway every
transmitted information shall be treated strictly confidentially.
-------------- next part --------------
Linux version 2.6.15-l4 (scheibel at gamma) (gcc version 3.3.6) #5 Tue Feb 7 12:04:35 CET 2006
 dm_phys: 0000000000800000 - 0000000020800000 [524288 KiB] (usable)
512MB memory available.
On node 0 totalpages: 133120
  DMA zone: 512 pages, LIFO batch:0
  DMA32 zone: 0 pages, LIFO batch:0
  Normal zone: 132608 pages, LIFO batch:31
  HighMem zone: 0 pages, LIFO batch:0
Allocating PCI resources starting at 30000000 (gap: 20800000:df800000)
Built 1 zonelists
Kernel command line: mem=512M noreplacement root=/dev/hda4 panicblink=0 lang=de
Initializing CPU#0
PID hash table entries: 4096 (order: 12, 65536 bytes)
Using l4rtc for high-res timesource
l4lx_irq_timer_startup(0)
timer_irq_thread: Starting timer IRQ thread.
Console: colour dummy device 80x25
Dentry cache hash table entries: 131072 (order: 7, 524288 bytes)
Inode-cache hash table entries: 65536 (order: 6, 262144 bytes)
Memory: 519040k/532480k available (2003k kernel code, 5028k reserved, 641k data, 148k init, 0k highmem)
Calibrating delay using timer specific routine.. 3389.81 BogoMIPS (lpj=16949094)
Mount-cache hash table entries: 512
CPU: After generic identify, caps: a7e9f9bf 00000000 00000000 00000000 00000180 00000000 00000000
CPU: After vendor identify, caps: a7e9f9bf 00000000 00000000 00000000 00000180 00000000 00000000
CPU: L1 I cache: 32K, L1 D cache: 32K
CPU: L2 cache: 1024K
CPU: After all inits, caps: a7e9f9bf 00000000 00000000 00000040 00000180 00000000 00000000
CPU: Intel(R) Pentium(R) M processor 1700MHz stepping 05
NET: Registered protocol family 16
PCI: PCI BIOS revision 2.10 entry at 0xfd8d6, last bus=8
PCI: Using configuration type 1
PCI: Probing PCI hardware
PCI: Probing PCI hardware (bus 00)
PCI quirk: region 1000-107f claimed by ICH4 ACPI/GPIO/TCO
PCI quirk: region 1180-11bf claimed by ICH4 GPIO
PCI: Ignoring BAR0-3 of IDE controller 0000:00:1f.1
Boot video device is 0000:01:00.0
PCI: Transparent bridge - 0000:00:1e.0
PCI: Discovered primary peer bus 09 [IRQ]
PCI: Using IRQ router PIIX/ICH [8086/24cc] at 0000:00:1f.0
PCI: IRQ 0 for device 0000:00:1f.1 doesn't match PIRQ mask - try pci=usepirqmask
PCI: Found IRQ 11 for device 0000:00:1f.1
PCI: Sharing IRQ 11 with 0000:00:1d.2
PCI: Sharing IRQ 11 with 0000:02:02.0
PCI: Bridge: 0000:00:01.0
  IO window: 3000-3fff
  MEM window: c0100000-c01fffff
  PREFETCH window: e0000000-e7ffffff
PCI: Bus 3, cardbus bridge: 0000:02:00.0
  IO window: 00004000-000040ff
  IO window: 00004400-000044ff
  PREFETCH window: e8000000-e9ffffff
  MEM window: c2000000-c3ffffff
PCI: Bus 7, cardbus bridge: 0000:02:00.1
  IO window: 00004800-000048ff
  IO window: 00004c00-00004cff
  PREFETCH window: ea000000-ebffffff
  MEM window: c4000000-c5ffffff
PCI: Bridge: 0000:00:1e.0
  IO window: 4000-8fff
  MEM window: c0200000-cfffffff
  PREFETCH window: e8000000-efffffff
PCI: Setting latency timer of device 0000:00:1e.0 to 64
PCI: Found IRQ 11 for device 0000:02:00.0
PCI: Sharing IRQ 11 with 0000:00:1d.0
PCI: Sharing IRQ 11 with 0000:01:00.0
PCI: Sharing IRQ 11 with 0000:02:01.0
PCI: Found IRQ 11 for device 0000:02:00.1
PCI: Sharing IRQ 11 with 0000:00:1f.3
PCI: Sharing IRQ 11 with 0000:00:1f.5
PCI: Sharing IRQ 11 with 0000:00:1f.6
Initializing Cryptographic API
io scheduler noop registered
io scheduler anticipatory registered
io scheduler deadline registered
io scheduler cfq registered
__ioremap: Mapping physaddr c0000000 [0x400 Bytes, c0000000+000400] to 20800000+000000
input: l4input key as /class/input/input0
input: l4input mouse as /class/input/input1
l4fb: DOpE framebuffer at 0x21004000, size 600k
l4fb: mode is 640x480x16, linelength=1280, pages=0
l4fb: directcolor: size=0:5:6:5, shift=0:11:5:0
Console: switching to colour frame buffer device 80x30
l4fb0: l4fb L4 frame buffer device (refresh: 100ms)
RAMDISK driver initialized: 16 RAM disks of 4096K size 1024 blocksize
loop: loaded (max 8 devices)
l4bd: No l4blk_name given, not starting.
eth0: L4Ore card found with 00:11:25:80:04:A1, IRQ 0
Uniform Multi-Platform E-IDE driver Revision: 7.00alpha2
ide: Assuming 33MHz system bus speed for PIO modes; override with idebus=xx
Probing IDE interface ide0...
l4lx_irq_dev_startup_virt(17) unimplemented
l4lx_irq_dev_startup_virt(16) unimplemented
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 15.
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 14.
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 13.
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 12.
acquire_irq: Error attaching to IRQ 12
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 11.
acquire_irq: Error attaching to IRQ 11
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 10.
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 9.
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 8.
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 7.
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 6.
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 5.
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 4.
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 3.
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 2.
acquire_irq: Error attaching to IRQ 2
l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 1.
acquire_irq: Error attaching to IRQ 1
l4lx_irq_dev_startup_virt(17) unimplemented
l4lx_irq_dev_startup_virt(16) unimplemented
hda: HTS726060M9AT00, ATA DISK drive
l4lx_irq_dev_shutdown_virt(16) unimplemented
l4lx_irq_dev_shutdown_virt(17) unimplemented
Probing IDE interface ide1...
l4lx_irq_dev_startup_virt(17) unimplemented
l4lx_irq_dev_startup_virt(16) unimplemented
l4lx_irq_dev_startup_virt(17) unimplemented
l4lx_irq_dev_startup_virt(16) unimplemented
l4lx_irq_dev_shutdown_virt(16) unimplemented
l4lx_irq_dev_shutdown_virt(17) unimplemented
hdc: HL-DT-STCD-RW/DVD DRIVE GCC-4242N, ATAPI CD/DVD-ROM drive
ide0 at 0x1f0-0x1f7,0x3f6 on irq 14
ide1 at 0x170-0x177,0x376 on irq 15
hda: max request size: 128KiB
hda: 117210240 sectors (60011 MB) w/7877KiB Cache, CHS=65535/16/63
hda: cache flushes supported
 hda: hda1 hda2 hda3 hda4
hdc: ATAPI 24X DVD-ROM CD-R/RW drive, 2048kB Cache
Uniform CD-ROM driver Revision: 3.20
mice: PS/2 mouse device common for all mice
device-mapper: 4.4.0-ioctl (2005-01-12) initialised: dm-devel at redhat.com
NET: Registered protocol family 2
IP route cache hash table entries: 32768 (order: 5, 131072 bytes)
TCP established hash table entries: 131072 (order: 7, 524288 bytes)
TCP bind hash table entries: 65536 (order: 6, 262144 bytes)
TCP: Hash tables configured (established 131072 bind 65536)
TCP reno registered
ip_conntrack version 2.4 (4160 buckets, 33280 max) - 212 bytes per conntrack
ip_tables: (C) 2000-2002 Netfilter core team
TCP bic registered
Initializing IPsec netlink socket
NET: Registered protocol family 1
NET: Registered protocol family 17
NET: Registered protocol family 15
ReiserFS: hda4: found reiserfs format "3.6" with standard journal
ReiserFS: hda4: using ordered data mode
ReiserFS: hda4: journal params: device hda4, size 8192, journal first block 18, max trans len 1024, max batch 900, max commit age 30, max trans age 30
ReiserFS: hda4: checking transaction log (hda4)
ReiserFS: hda4: Using r5 hash to sort names
VFS: Mounted root (reiserfs filesystem).
ReiserFS: dm-1: found reiserfs format "3.6" with standard journal
ReiserFS: dm-1: using ordered data mode
ReiserFS: dm-1: journal params: device dm-1, size 8192, journal first block 18, max trans len 1024, max batch 900, max commit age 30, max trans age 30
ReiserFS: dm-1: checking transaction log (dm-1)
ReiserFS: dm-1: Using r5 hash to sort names
Adding 1156672k swap on /dev/mapper/crypt-swap.  Priority:-1 extents:1 across:1156672k
eth0: Overwriting IRQ type for IRQ 0 with l4ore type!
eth0: request_irq(0, ...) failed.
eth0: Overwriting IRQ type for IRQ 0 with l4ore type!
eth0: request_irq(0, ...) failed.
eth0: Overwriting IRQ type for IRQ 0 with l4ore type!
eth0: request_irq(0, ...) failed.
-------------- next part --------------
ø

Welcome to Fiasco(ia32)!

DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden

Rev: Wed Jan 11 13:16:44 2006 compiled with gcc 3.3.6 for Intel Pentium

Performance-critical config option(s) detected:

  CONFIG_ASSEMBLER_IPC_SHORTCUT is off

  CONFIG_NDEBUG is off



Enabling special fully nested mode for PIC

Using the PIT (i8254) on IRQ 0 for scheduling

CPU: GenuineIntel (6:9:5:16) Model: Pentium-M (Banias) at 1694 MHz


 128 Entry I TLB (4K pages)      2 Entry I TLB (4M pages)

 128 Entry D TLB (4K pages)      8 Entry D TLB (4M pages)

  32 KB L1 I Cache (8-way associative, 64 bytes per line)

  32 KB L1 D Cache (8-way associative, 64 bytes per line)

1024 KB L2 U Cache (8-way associative, 64 bytes per line)


Freeing init code/data: 20480 bytes (5 pages)


SIGMA0: Hello!

  Found Fiasco: KIP syscalls: no.

  Allocated 324kB for maintenance structures.



Roottask.

  [00000000-00001000) added BIOS area

  [0009f000-00100000) added adapter space

  [06106000-07acd000] reserved for boot modules

  [00120000-00202000] reserved for Roottask

  [00001000-00002000) reserved for KIP


  1047484kB (1022MB) total RAM (reported by bootloader)

  985148kB ( 963MB) received RAM from Sigma0

   27304kB (  27MB) reserved RAM for RMGR

  Received no I/O ports

  Attached irqs = [ <!0> 1 <!2> 3 4 5 6 7 8 9 A B C D E F ]


Roottask: Parsing command line config.

  configured task 0x00 (bmodfs):

    vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:4

Symbols at [3c3aa000-3c3af000] (20kB), lines at [3c39a000-3c3aa000] (64kB)


Roottask: Loading 15 modules.

#05: loading "(hd0,3)/boot/tcb/svpn/names"

     from [06106000-06146414] to [00240000-00247046][00248000-00254000]

     entry at 0005a0ec via trampoline page code

     symbols at [3c398000-3c39a000] (8kB), lines at [3c392000-3c398000] (24kB)

#06: loading "(hd0,3)/boot/tcb/svpn/dmon"

     from [06147000-06209340] to [00400000-0041eb4a][0041f000-00455000]

     entry at 0005c0ec via trampoline page code

     symbols at [3c38d000-3c392000] (20kB), lines at [3c378000-3c38d000] (84kB)

#07: loading "(hd0,3)/boot/tcb/svpn/dm_phys"

     from [0620a000-06282b69] to [01500000-01512d71][01513000-0151a390]

     entry at 0005e0ec via trampoline page code

     symbols at [3c374000-3c378000] (16kB), lines at [3c367000-3c374000] (52kB)

#08: loading "(hd0,3)/boot/tcb/svpn/simple_ts -t 380"

     from [06283000-062c795e] to [01400000-014088f1][01409000-014147d0]

     entry at 000600ec via trampoline page code

     symbols at [3c365000-3c367000] (8kB), lines at [3c35e000-3c365000] (28kB)

#09: loading "(hd0,3)/boot/tcb/svpn/rtc"

     from [062c8000-062fe766] to [01080000-01085a1d][01086000-0108b000]

     entry at 000620ec via trampoline page code

     symbols at [3c35c000-3c35e000] (8kB), lines at [3c357000-3c35c000] (20kB)

#0a: loading "(hd0,3)/boot/tcb/svpn/l4io"

     from [062ff000-064d4258] to [00b80000-00ba2eea][00ba3000-00bf4000]

     entry at 000640ec via trampoline page code

     symbols at [3c320000-3c357000] (220kB), lines at [3c307000-3c320000] (100kB)

#0b: loading "(hd0,3)/boot/tcb/bench/ore "--debug""

     from [064d5000-0675eea2] to [01800000-0184452a][01845000-01886000]

     entry at 000660ec via trampoline page code

     symbols at [3c2fd000-3c307000] (40kB), lines at [3c2cf000-3c2fd000] (184kB)

#0c: loading "(hd0,3)/boot/tcb/svpn/bmodfs"

     from [0675f000-067f4ac9] to [01220000-0123658a][01237000-0125b000]

     passing module (hd0,3)/boot/tcb/svpn/run             [ 067f5000-06832c20 ]

     passing module (hd0,3)/boot/tcb/svpn/libloader.s.so  [ 06833000-068d8a2e ]

     passing module (hd0,3)/boot/tcb/bench/vmlinuz26-ore  [ 068d9000-077854cb ]

     passing module ot/tcb/bench/l4linux26ramdisk-ore.cfg [ 07786000-07786076 ]

     entry at 000680ec via trampoline page code

     symbols at [3c2ca000-3c2cf000] (20kB), lines at [3c2b9000-3c2ca000] (68kB)

#0d: loading "(hd0,3)/boot/tcb/svpn/l4exec"

     from [07787000-0788f837] to [01100000-0112a9ca][0112b000-01152000]

     entry at 0006a0ec via trampoline page code

     symbols at [3c2b1000-3c2b9000] (32kB), lines at [3c296000-3c2b1000] (108kB)

#0e: loading "(hd0,3)/boot/tcb/svpn/l4dope --l4io"

     from [07890000-079f9ace] to [01b00000-01b41dca][01b42000-01b90000]

     entry at 0006c0ec via trampoline page code

     symbols at [3c288000-3c296000] (56kB), lines at [3c25d000-3c288000] (172kB)

#0f: loading "(hd0,3)/boot/tcb/svpn/loader --fprov=BMODFS l4linux26ramdisk-ore.cfg"

     from [079fa000-07acc691] to [01300000-0132654a][01327000-01356000]

     entry at 0006e0ec via trampoline page code

     symbols at [3c257000-3c25d000] (24kB), lines at [3c23f000-3c257000] (96kB)


rtc     | Date:07.02.2006 Time:21:53:36

simplets| Configured for 380 tasks.

bmodfs  | Passed the following modules:

bmodfs  |   module "(hd0,3)/boot/tcb/svpn/run" (248kB)

bmodfs  |   module "(hd0,3)/boot/tcb/svpn/libloader.s.so" (663kB)

bmodfs  |   module "(hd0,3)/boot/tcb/bench/vmlinuz26-ore" (15026kB)

bmodfs  |   module "(hd0,3)/boot/tcb/bench/l4linux26ramdisk-ore.cfg" (1kB)

l4dope  | DOpE(init): using L4 IO server

ore     | main(): debug is on

loader  | sleeping for 1000 ms

io      | PCI: Using configuration type 1

io      | PCI: Probing PCI hardware

io      | PCI: Probing PCI hardware (bus 00)

io      | PCI: Ignoring BAR0-3 of IDE controller 00:1f.1

io      | Transparent bridge - Intel Corp. 82801BAM/CAM PCI Bridge

io      | PCI: Enabling device 00:1f.1 (0005 -> 0007)

io      | 00000000-ffffffff : PCI mem

io      |   80000000-800003ff : Intel Corp. 82801DBM Ultra ATA Storage Controll

io      : er

io      |   b0000000-b0000fff : PCI device 104c:ac46 (Texas Instruments)

io      |   b1000000-b1000fff : PCI device 104c:ac46 (Texas Instruments)

io      |   c0000000-c00003ff : Intel Corp. 82801DB USB2

io      |   c0000800-c00008ff : Intel Corp. 82801DB AC'97 Audio Controller

io      |   c0000c00-c0000dff : Intel Corp. 82801DB AC'97 Audio Controller

io      |   c0100000-c01fffff : PCI Bus #01

io      |     c0100000-c010ffff : PCI device 1002:4e54 (ATI Technologies Inc)

io      |   c0200000-c020ffff : PCI device 8086:101e (Intel Corp.)

io      |   c0210000-c021ffff : PCI device 168c:1014

io      |   c0220000-c023ffff : PCI device 8086:101e (Intel Corp.)

io      |   d0000000-dfffffff : Intel Corp. 82855PM Processor to I/O Controller

io      |   e0000000-e7ffffff : PCI Bus #01

io      |     e0000000-e7ffffff : PCI device 1002:4e54 (ATI Technologies Inc)

io      | 0000-ffff : PCI IO

io      |   0cf8-0cff : PCI conf1

io      |   1000-107f : Intel Corp. 82801DBM LPC Interface Controller

io      |   1180-11bf : Intel Corp. 82801DBM LPC Interface Controller

io      |   1800-181f : Intel Corp. 82801DB USB (Hub #1)

io      |   1820-183f : Intel Corp. 82801DB USB (Hub #2)

io      |   1840-185f : Intel Corp. 82801DB USB (Hub #3)

io      |   1860-186f : Intel Corp. 82801DBM Ultra ATA Storage Controller

io      |   1880-189f : Intel Corp. 82801DB/DBM SMBus Controller

io      |   18c0-18ff : Intel Corp. 82801DB AC'97 Audio Controller

io      |   1c00-1cff : Intel Corp. 82801DB AC'97 Audio Controller

io      |   2000-207f : Intel Corp. 82801DB AC'97 Modem Controller

io      |   2400-24ff : Intel Corp. 82801DB AC'97 Modem Controller

io      |   3000-3fff : PCI Bus #01

io      |     3000-30ff : PCI device 1002:4e54 (ATI Technologies Inc)

io      |   8000-803f : PCI device 8086:101e (Intel Corp.)

io      | OMEGA0_init(): Using special fully nested PIC mode

io      | Available IRQs=[ <!0> 1 <!2> 3 4 5 6 7 8 9 a b c d e f ]

ore     | l4dde_mm_init(): Using ...

ore     |   8192 kB at 0x00180000 (vmem)

ore     |   8192 kB in 1 regions (kmem)

l4dope  | L4INPUT:                !!! W A R N I N G !!!

l4dope  | L4INPUT:  Please, do not use Fiasco's "-esc" with L4INPUT.

l4dope  | L4INPUT:                !!! W A R N I N G !!!

l4dope  | L4INPUT: Using omega0 for IRQs.

l4dope  | serio: i8042 AUX port at 0x60,0x64 irq 12

l4dope  | serio: i8042 KBD port at 0x60,0x64 irq 1

ore     | Intel(R) PRO/1000 Network Driver - version 5.7.6-k1

ore     | Copyright (c) 1999-2004 Intel Corporation.

l4dope  | input: PS/2 Generic Mouse on isa0060/serio1

l4dope  | input: AT Translated Set 2 keyboard on isa0060/serio0

l4dope  | input: PC Speaker

l4dope  | input: L4 input event injector

l4dope  | L4 input event injector: IRQ handler up

l4dope  | connect "PS/2 Generic Mouse", isa0060/serio1/input0

l4dope  | connect "AT Translated Set 2 keyboard", isa0060/serio0/input0

l4dope  | connect "PC Speaker", isa0061/input0

l4dope  | connect "L4 input event injector", l4/sys

l4dope  | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=5d, size=800

l4dope  | SharedMem(get_adr): address = f000

l4dope  | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=5e, size=800

l4dope  | SharedMem(get_adr): address = 15000

l4dope  | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=5f, size=800

l4dope  | SharedMem(get_adr): address = 16000

l4dope  | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=60, size=800

l4dope  | SharedMem(get_adr): address = 17000

l4dope  | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=61, size=800

l4dope  | SharedMem(get_adr): address = 1d000

l4dope  | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=63, size=800

l4dope  | SharedMem(get_adr): address = 1f000

l4dope  | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=64, size=800

l4dope  | SharedMem(get_adr): address = 20000

l4dope  | dope: addr=e0000000 size=131008KiB

l4dope  | Mapped video memory at e0000000 to 10000000+000000 [131008kB] via L4I

l4dope  : O

l4dope  | mapping: vaddr=0x10000000 size=134152192(0x7ff0000) offset=0(0x0)

l4dope  | Frame buffer base:  0x10000000

l4dope  | Resolution:         1024x768x16

l4dope  | Bytes per scanline: 2048

l4dope  | Current video mode is 1024x768 red=11:5 green=5:6 blue=0:5 res=0:0

l4dope  | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=79, size=1338

l4dope  | SharedMem(get_adr): address = 30000

dmon    | init_termstate(): cols:82, lines:30, hist:1500

exec    | vmlinuz26-ore: Loading

exec    | vmlinuz26-ore: Interpreter section found, contains "/usr/lib/libc.so.

exec    : 1"

exec    | vmlinuz26-ore: Saved 745727 bytes of symbols

exec    | libloader.s.so: Loading

exec    | libloader.s.so: Saved 22802 bytes of symbols

exec    | libloader.s.so: Relocating to 00010000

exec    | libloader.s.so: Linking

exec    | libloader.s.so: Symbol l4sys_fixup_abs_syscalls is weak and undefined

exec    | libloader.s.so: Symbol mmap_normal is weak and undefined

exec    | libloader.s.so: Symbol munmap_normal is weak and undefined

exec    | libloader.s.so: Symbol l4sys_fixup_abs_syscalls is weak and undefined

exec    | libloader.s.so: Symbol mmap_normal is weak and undefined

exec    | libloader.s.so: Symbol munmap_normal is weak and undefined

exec    | libloader.s.so: Relocating entry 00005e50 => 00015e50

exec    | libloader.s.so: Setting section flag 0800

exec    | vmlinuz26-ore: Setting section flag 0800

loader  | vmlinuz26-ore: Starting l4env-style application

loader  | vmlinuz26-ore,#10: Starting at l4loader_init (000165a0)

exec    | vmlinuz26-ore: Linking

exec    | vmlinuz26-ore: Relocating entry 00400000 => 00400000

exec    | vmlinuz26-ore: Packed 672236 bytes of symbols

exec    | vmlinuz26-ore: Packed 1947782 bytes of lines

loader  | vmlinuz26-ore,#10: Continue at l4env_init (000165b0, libloader.s.so)

l4lx    | crt0_construction called.

l4lx    | ======> L4Linux 2.6 starting... <========

l4lx    | Binary name: vmlinuz26-ore

l4lx    | Kernel command line (5 args): mem=512M noreplacement root=/dev/hda4 p

l4lx    : anicblink=0 lang=de

l4lx    | Image: 00400000 - 0074f1e8 [3388 KiB].

l4lx    | Areas: Text:     00400000 - 0064d000 [2356kB] (a bit longer)

l4lx    |        Data:     0064d000 - 00695500 [289kB]

l4lx    |        Initdata: 00698000 - 006bd000 [148kB]

l4lx    |        BSS:      006bd008 - 0074f1e8 [584kB]

l4lx    | l4lx_thread_create: Created thread 10.03 (server)

l4lx    | main thread will be 10.03

l4lx    | l4env_register_pointer_section: addr = 0064d000 size = 1056768

l4lx    |      sec-w-init: virt: 0x0064d000 to 0x0074efff [1032 KiB]

l4lx    |      sec-w-init: Number of physical regions: 1, 1056768 Bytes

l4lx    |      sec-w-init: 1: Phys: 0x00e4d000 to 0x00f4f000, Size:  1056768

l4lx    | l4env_linux_startup thread 3.

l4lx    | main thread: received startup message.

l4lx    | setup_l4env_memory: Forcing superpages for main memory

l4lx    | Main memory size: 512MB

l4lx    |     Main memory: virt: 0x00800000 to 0x207fffff [524288 KiB]

l4lx    |     Main memory: Number of physical regions: 1, 536870912 Bytes

l4lx    |     Main memory: 1: Phys: 0x07800000 to 0x27800000, Size: 536870912

l4lx    | Filling lower ptabs...

l4lx    | Main thread running, waiting...

l4lx    | Done (1032 entries).

l4lx    | l4lx_thread_create: Created thread 10.04 (timer.i0)

l4lx    | Starting L4FB via DOpE

l4dope  | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=a4, size=96000

l4dope  | SharedMem(get_adr): address = 400000

l4lx    | l4lx_thread_create: Created thread 10.06 (DOpE refresher)

l4lx    | l4lx_thread_create: Created thread 10.07 (L4DOpEinput)

l4lx    | l4ore_open(): called 

l4lx    | ore_initialize(): dsi_init: 0

ore     | e1000: eth0: e1000_probe: Intel(R) PRO/1000 Network Connection

ore     | device lo entered promiscuous mode

ore     | device eth0 entered promiscuous mode

ore     | main(): Initialized 2 network devices.

ore     | main(): Registering at names...

ore     | main(): Ready for service.

ore     | dump_periodic(): The periodic dumper has been started.

l4lx    | ore_lookup_server(): ORe = B.02

l4lx    | l4ore_open(): descriptor: 0

l4lx    | l4ore_open(): sending via string ipc

l4lx    | l4ore_open(): receiving via string IPC

l4lx    | ore_do_open(): called 

ore     | __init_mac(): Allocating physical MAC address to client.

l4lx    | ore_do_open(): opened. worker = B.08

l4lx    | l4lx_thread_create: Created thread 10.09 (Idler)

l4lx    | l4lx_thread_create: Created thread 10.0a (IRQ15)

l4lx    | l4lx_thread_create: Created thread 10.0b (IRQ14)

l4lx    | l4lx_thread_create: Created thread 10.0c (IRQ13)

l4lx    | l4lx_thread_create: Created thread 10.0d (IRQ12)

l4lx    | l4lx_thread_create: Created thread 10.0e (IRQ11)

l4lx    | l4lx_thread_create: Created thread 10.0f (IRQ10)

l4lx    | l4lx_thread_create: Created thread 10.10 (IRQ9)

l4lx    | l4lx_thread_create: Created thread 10.11 (IRQ8)

l4lx    | l4lx_thread_create: Created thread 10.12 (IRQ7)

l4lx    | l4lx_thread_create: Created thread 10.13 (IRQ6)

l4lx    | l4lx_thread_create: Created thread 10.14 (IRQ5)

l4lx    | l4lx_thread_create: Created thread 10.15 (IRQ4)

l4lx    | l4lx_thread_create: Created thread 10.16 (IRQ3)

l4lx    | l4lx_thread_create: Created thread 10.17 (IRQ2)

l4lx    | l4lx_thread_create: Created thread 10.18 (IRQ1)

ore     | e1000: eth0: e1000_watchdog: NIC Link is Up 100 Mbps Full Duplex

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 10.03

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  00:11:25:80:04:A1

ore     | dump_connection(): Packets received: 0

ore     | dump_connection(): Packets queued: 0

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_periodic(): =============================================

loader  | "/boot/tcb/bench/ore_test_arping" is a valid binary image

loader  | Setting libpath to /boot/tcb/bench/

exec    | ore_test_arping: Loading

exec    | ore_test_arping: Has no dynamic info

exec    | ore_test_arping: Saved 27064 bytes of symbols

exec    | ore_test_arping: "libloader.s.so" not in library list

loader  | ore_test_arping: Starting sigma0-style application

exec    | ore_test_arping: Packed 19773 bytes of symbols

exec    | ore_test_arping: Packed 85895 bytes of lines

loader  | ore_test_arping,#20: Entry at 00008c6c => 00980000

loader  | ore_test_arping,#20: Started

arping  | main(): Hello from the ORe arping shared memory client

arping  | main(): string ipc receive

arping  | main(): sending with string ipc

arping  | l4ore_open(): called 

arping  | ore_initialize(): dsi_init: 0

arping  | ore_lookup_server(): ORe = B.02

arping  | l4ore_open(): descriptor: 0

arping  | l4ore_open(): sending via string ipc

arping  | l4ore_open(): receiving via string IPC

arping  | ore_do_open(): called 

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 0

ore     | dump_connection(): Packets queued: 0

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 2

ore     | dump_connection(): Packets queued: 2

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 2

ore     | dump_connection(): Packets queued: 2

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

loader  | "/boot/tcb/bench/ore_test_arping" is a valid binary image

loader  | Setting libpath to /boot/tcb/bench/

exec    | ore_test_arping: Loading

exec    | ore_test_arping: Has no dynamic info

exec    | ore_test_arping: Saved 27064 bytes of symbols

exec    | ore_test_arping: "libloader.s.so" not in library list

loader  | ore_test_arping: Starting sigma0-style application

exec    | ore_test_arping: Packed 19773 bytes of symbols

exec    | ore_test_arping: Packed 85895 bytes of lines

loader  | ore_test_arping,#21: Entry at 00008c6c => 00980000

loader  | ore_test_arping,#21: Started

arping  | main(): Hello from the ORe arping shared memory client

arping  | main(): string ipc receive

arping  | main(): sending with string ipc

arping  | l4ore_open(): called 

arping  | ore_initialize(): dsi_init: 0

arping  | ore_lookup_server(): ORe = B.02

arping  | l4ore_open(): descriptor: 0

arping  | l4ore_open(): sending via string ipc

arping  | l4ore_open(): receiving via string IPC

arping  | ore_do_open(): called 

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

loader  | "/boot/tcb/bench/ore_test" is a valid binary image

loader  | Setting libpath to /boot/tcb/bench/

exec    | ore_test: Loading

exec    | ore_test: Has no dynamic info

exec    | ore_test: Saved 25371 bytes of symbols

exec    | ore_test: "libloader.s.so" not in library list

loader  | ore_test: Starting sigma0-style application

exec    | ore_test: Packed 18706 bytes of symbols

exec    | ore_test: Packed 82102 bytes of lines

loader  | ore_test,#22: Entry at 00008c74 => 00980000

loader  | ore_test,#22: Started

ore_test| main(): Hello from the ORe client

ore_test| testlog(): testing device configuration. initial config:

ore_test| test_config(): conf->debug     = 0

ore_test| test_config(): conf->broadcast = 0

ore_test| test_config(): conf->active    = 1

ore_test| test_config(): conf->keep_mac  = 1

ore_test| test_config(): conf->irq       = 0

ore_test| test_config(): conf->mtu       = 0

ore_test| test_config(): conf->send_ds   = DS -1

ore_test| test_config(): conf->send_ctl  = DS -1

ore_test| test_config(): conf->recv_ds   = DS -1

ore_test| test_config(): conf->recv_ctl  = DS -1

ore_test| test_config(): conf->send_client_socket = -1

ore_test| test_config(): conf->send_ore_socket = -1

ore_test| test_config(): conf->recv_client_socket = -1

ore_test| test_config(): conf->recv_ore_socket = -1

ore_test| testlog(): opening eth0 with keep_device_mac

ore_test| l4ore_open(): called 

ore_test| ore_initialize(): dsi_init: 0

ore_test| ore_lookup_server(): ORe = B.02

ore_test| l4ore_open(): descriptor: 0

ore_test| l4ore_open(): sending via string ipc

ore_test| l4ore_open(): receiving via string IPC

ore_test| ore_do_open(): called 

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

loader  | "/boot/tcb/bench/ore_debug" is a valid binary image

loader  | Setting libpath to /boot/tcb/bench/

exec    | ore_debug: Loading

exec    | ore_debug: Has no dynamic info

exec    | ore_debug: Saved 25513 bytes of symbols

exec    | ore_debug: "libloader.s.so" not in library list

loader  | ore_debug: Starting sigma0-style application

exec    | ore_debug: Packed 18809 bytes of symbols

exec    | ore_debug: Packed 81924 bytes of lines

loader  | ore_debug,#23: Entry at 00008c74 => 00980000

loader  | ore_debug,#23: Started

ore_debu| Setting debug level to 1

ore_debu| ore_lookup_server(): ORe = B.02

loader  | "/boot/tcb/bench/ore_send" is a valid binary image

loader  | Setting libpath to /boot/tcb/bench/

exec    | ore_send: Loading

exec    | ore_send: Has no dynamic info

exec    | ore_send: Saved 25313 bytes of symbols

exec    | ore_send: "libloader.s.so" not in library list

loader  | ore_send: Starting sigma0-style application

exec    | ore_send: Packed 18654 bytes of symbols

exec    | ore_send: Packed 81302 bytes of lines

loader  | ore_send,#24: Entry at 00008c74 => 00980000

loader  | ore_send,#24: Started

ore_test| main(): Hello from the ORe client

ore_test| testlog(): testing send() through shared memory.

ore_test| test_send(): created send DS: 0

ore_test| testlog(): opening

ore_test| l4ore_open(): called 

ore_test| ore_initialize(): dsi_init: 0

ore_test| ore_lookup_server(): ORe = B.02

ore_test| l4ore_open(): descriptor: 0

ore_test| l4ore_open(): sending via dataspace

ore_test| __l4ore_init_send_socket(): called 

ore_test| __l4ore_init_send_socket(): socket_create: 0

ore_test| __l4ore_init_send_socket(): socket_get_ref: 0

ore_test| __l4ore_init_send_socket(): got data area of size 1048576: 0x80000000

ore_test| __l4ore_init_send_socket(): socketid = 0

ore_test| __l4ore_init_send_socket(): worker = 24.02

ore_test| __l4ore_init_send_socket(): sync   = 24.04

ore_test| __l4ore_init_send_socket(): eventh = 24.03

ore_test| __l4ore_init_send_socket(): socket_share_ds: 0

ore_test| __l4ore_init_send_socket(): share ctl_ds: 0

ore_test| __l4ore_init_send_socket(): share send_ds: 0

ore_test| l4ore_open(): receiving via string IPC

ore_test| ore_do_open(): called 

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

loader  | "/boot/tcb/bench/ore_test_arping" is a valid binary image

loader  | Setting libpath to /boot/tcb/bench/

exec    | ore_test_arping: Loading

exec    | ore_test_arping: Has no dynamic info

exec    | ore_test_arping: Saved 27064 bytes of symbols

exec    | ore_test_arping: "libloader.s.so" not in library list

loader  | ore_test_arping: Starting sigma0-style application

exec    | ore_test_arping: Packed 19773 bytes of symbols

exec    | ore_test_arping: Packed 85895 bytes of lines

loader  | ore_test_arping,#25: Entry at 00008c6c => 00980000

loader  | ore_test_arping,#25: Started

arping  | main(): Hello from the ORe arping shared memory client

arping  | main(): string ipc receive

arping  | main(): sending with string ipc

arping  | l4ore_open(): called 

arping  | ore_initialize(): dsi_init: 0

arping  | ore_lookup_server(): ORe = B.02

arping  | l4ore_open(): descriptor: 0

arping  | l4ore_open(): sending via string ipc

arping  | l4ore_open(): receiving via string IPC

arping  | ore_do_open(): called 

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

dmon    | ===] \m/ [==========================================================

simplets| Dumping all allocated tasks:

simplets|   task-nr:06 task:10.00 owner:F.02    vmlinuz26-ore

simplets|   task-nr:07 task:11.00 owner:10.03   L4Linux task

simplets|   task-nr:08 task:12.00 owner:10.03   L4Linux task

simplets|   task-nr:09 task:13.00 owner:10.03   L4Linux task

simplets|   task-nr:0a task:14.00 owner:10.03   L4Linux task

simplets|   task-nr:0b task:15.00 owner:10.03   L4Linux task

simplets|   task-nr:0c task:16.00 owner:10.03   L4Linux task

simplets|   task-nr:0d task:17.00 owner:10.03   L4Linux task

simplets|   task-nr:0e task:18.00 owner:10.03   L4Linux task

simplets|   task-nr:0f task:19.00 owner:10.03   L4Linux task

simplets|   task-nr:10 task:1A.00 owner:10.03   L4Linux task

simplets|   task-nr:11 task:1B.00 owner:10.03   L4Linux task

simplets|   task-nr:12 task:1C.00 owner:10.03   L4Linux task

simplets|   task-nr:13 task:1D.00 owner:10.03   L4Linux task

simplets|   task-nr:14 task:1E.00 owner:10.03   L4Linux task

simplets|   task-nr:16 task:20.00 owner:1F.00   ore_test_arping

simplets|   task-nr:17 task:21.00 owner:1F.00   ore_test_arping

simplets|   task-nr:18 task:22.00 owner:1F.00   ore_test

simplets|   task-nr:19 task:23.00 owner:1F.00   ore_debug

simplets|   task-nr:1a task:24.00 owner:1F.00   ore_send

simplets|   task-nr:1b task:25.00 owner:1F.00   ore_test_arping

dmon    | ====================================================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

loader  | "/boot/tcb/bench/ore_test_arping" is a valid binary image

loader  | Setting libpath to /boot/tcb/bench/

exec    | ore_test_arping: Loading

exec    | ore_test_arping: Has no dynamic info

exec    | ore_test_arping: Saved 27064 bytes of symbols

exec    | ore_test_arping: "libloader.s.so" not in library list

loader  | ore_test_arping: Starting sigma0-style application

exec    | ore_test_arping: Packed 19773 bytes of symbols

exec    | ore_test_arping: Packed 85895 bytes of lines

loader  | ore_test_arping,#26: Entry at 00008c6c => 00980000

loader  | ore_test_arping,#26: Started

arping  | main(): Hello from the ORe arping shared memory client

arping  | main(): string ipc receive

arping  | main(): sending with string ipc

arping  | l4ore_open(): called 

arping  | ore_initialize(): dsi_init: 0

arping  | ore_lookup_server(): ORe = B.02

arping  | l4ore_open(): descriptor: 0

arping  | l4ore_open(): sending via string ipc

arping  | l4ore_open(): receiving via string IPC

arping  | ore_do_open(): called 

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

loader  | "/boot/tcb/bench/ore_test_arping" is a valid binary image

loader  | Setting libpath to /boot/tcb/bench/

exec    | ore_test_arping: Loading

exec    | ore_test_arping: Has no dynamic info

exec    | ore_test_arping: Saved 27064 bytes of symbols

exec    | ore_test_arping: "libloader.s.so" not in library list

loader  | ore_test_arping: Starting sigma0-style application

exec    | ore_test_arping: Packed 19773 bytes of symbols

exec    | ore_test_arping: Packed 85895 bytes of lines

loader  | ore_test_arping,#27: Entry at 00008c68 => 00980000

loader  | ore_test_arping,#27: Started

arping  | main(): Hello from the ORe arping shared memory client

arping  | Usage: /boot/tcb/bench/ore_test_arping <options>. Option list:

arping  |  [ -h | --help ]          - this help

arping  |  [ -e | --exit ]          - exit after some pings

arping  |  [ -v | --verbose ]       - verbose output

arping  |  [ -b | --broadcast ]     - receive broadcast packets

arping  |  [ -s | --senddsi ]       - send packets via dsi

arping  |  [ -r | --recvdsi ]       - receive packets via dsi

arping  | 

arping  | Exiting with 1

simplets| Exit 27.02

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

loader  | "/boot/tcb/bench/ore_test_arping" is a valid binary image

loader  | Setting libpath to /boot/tcb/bench/

exec    | ore_test_arping: Loading

exec    | ore_test_arping: Has no dynamic info

exec    | ore_test_arping: Saved 27064 bytes of symbols

exec    | ore_test_arping: "libloader.s.so" not in library list

loader  | ore_test_arping: Starting sigma0-style application

exec    | ore_test_arping: Packed 19773 bytes of symbols

exec    | ore_test_arping: Packed 85895 bytes of lines

loader  | ore_test_arping,#27: Entry at 00008c68 => 00980000

loader  | ore_test_arping,#27: Started

arping  | main(): Hello from the ORe arping shared memory client

arping  | main(): string ipc receive

arping  | main(): sending with string ipc

arping  | l4ore_open(): called 

arping  | ore_initialize(): dsi_init: 0

arping  | ore_lookup_server(): ORe = B.02

arping  | l4ore_open(): descriptor: 0

arping  | l4ore_open(): sending via string ipc

arping  | l4ore_open(): receiving via string IPC

arping  | ore_do_open(): called 

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

loader  | "/boot/tcb/bench/ore_test" is a valid binary image

loader  | Setting libpath to /boot/tcb/bench/

exec    | ore_test: Loading

exec    | ore_test: Has no dynamic info

exec    | ore_test: Saved 25371 bytes of symbols

exec    | ore_test: "libloader.s.so" not in library list

loader  | ore_test: Starting sigma0-style application

exec    | ore_test: Packed 18706 bytes of symbols

exec    | ore_test: Packed 82102 bytes of lines

loader  | ore_test,#28: Entry at 00008c70 => 00980000

loader  | ore_test,#28: Started

ore_test| main(): Hello from the ORe client

ore_test| testlog(): testing device configuration. initial config:

ore_test| test_config(): conf->debug     = 0

ore_test| test_config(): conf->broadcast = 0

ore_test| test_config(): conf->active    = 1

ore_test| test_config(): conf->keep_mac  = 1

ore_test| test_config(): conf->irq       = 0

ore_test| test_config(): conf->mtu       = 0

ore_test| test_config(): conf->send_ds   = DS -1

ore_test| test_config(): conf->send_ctl  = DS -1

ore_test| test_config(): conf->recv_ds   = DS -1

ore_test| test_config(): conf->recv_ctl  = DS -1

ore_test| test_config(): conf->send_client_socket = -1

ore_test| test_config(): conf->send_ore_socket = -1

ore_test| test_config(): conf->recv_client_socket = -1

ore_test| test_config(): conf->recv_ore_socket = -1

ore_test| testlog(): opening eth0 with keep_device_mac

ore_test| l4ore_open(): called 

ore_test| ore_initialize(): dsi_init: 0

ore_test| ore_lookup_server(): ORe = B.02

ore_test| l4ore_open(): descriptor: 0

ore_test| l4ore_open(): sending via string ipc

ore_test| l4ore_open(): receiving via string IPC

ore_test| ore_do_open(): called 

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

loader  | "/boot/tcb/bench/ore_send" is a valid binary image

loader  | Setting libpath to /boot/tcb/bench/

exec    | ore_send: Loading

exec    | ore_send: Has no dynamic info

exec    | ore_send: Saved 25313 bytes of symbols

exec    | ore_send: "libloader.s.so" not in library list

loader  | ore_send: Starting sigma0-style application

exec    | ore_send: Packed 18654 bytes of symbols

exec    | ore_send: Packed 81302 bytes of lines

loader  | ore_send,#29: Entry at 00008c70 => 00980000

loader  | ore_send,#29: Started

ore_test| main(): Hello from the ORe client

ore_test| testlog(): testing send() through shared memory.

ore_test| test_send(): created send DS: 0

ore_test| testlog(): opening

ore_test| l4ore_open(): called 

ore_test| ore_initialize(): dsi_init: 0

ore_test| ore_lookup_server(): ORe = B.02

ore_test| l4ore_open(): descriptor: 0

ore_test| l4ore_open(): sending via dataspace

ore_test| __l4ore_init_send_socket(): called 

ore_test| __l4ore_init_send_socket(): socket_create: 0

ore_test| __l4ore_init_send_socket(): socket_get_ref: 0

ore_test| __l4ore_init_send_socket(): got data area of size 1048576: 0x80000000

ore_test| __l4ore_init_send_socket(): socketid = 0

ore_test| __l4ore_init_send_socket(): worker = 29.02

ore_test| __l4ore_init_send_socket(): sync   = 29.04

ore_test| __l4ore_init_send_socket(): eventh = 29.03

ore_test| __l4ore_init_send_socket(): socket_share_ds: 0

ore_test| __l4ore_init_send_socket(): share ctl_ds: 0

ore_test| __l4ore_init_send_socket(): share send_ds: 0

ore_test| l4ore_open(): receiving via string IPC

ore_test| ore_do_open(): called 

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

loader  | "/boot/tcb/bench/ore_debug" is a valid binary image

loader  | Setting libpath to /boot/tcb/bench/

exec    | ore_debug: Loading

exec    | ore_debug: Has no dynamic info

exec    | ore_debug: Saved 25513 bytes of symbols

exec    | ore_debug: "libloader.s.so" not in library list

loader  | ore_debug: Starting sigma0-style application

exec    | ore_debug: Packed 18809 bytes of symbols

exec    | ore_debug: Packed 81924 bytes of lines

loader  | ore_debug,#2a: Entry at 00008c6c => 00980000

loader  | ore_debug,#2a: Started

ore_debu| Setting debug level to 0

ore_debu| ore_lookup_server(): ORe = B.02

loader  | "/boot/tcb/bench/ore" is a valid binary image

loader  | Setting libpath to /boot/tcb/bench/

exec    | ore: Loading

exec    | ore: Has no dynamic info

exec    | ore: Saved 52150 bytes of symbols

exec    | ore: "libloader.s.so" not in library list

loader  | ore: Starting sigma0-style application

exec    | ore: Packed 40099 bytes of symbols

exec    | ore: Packed 186128 bytes of lines

loader  | ore,#2b: Entry at 00008c74 => 01800000

loader  | ore,#2b: Started

ore     | Usage: /boot/tcb/bench/ore <options>. Option list:

ore     |  [ -h | --help ]          - this help

ore     |  [ -m | --mac ]           - mac address

ore     |  [ -e | --events ]        - use events to detect broken connections

ore     |  [ -d | --debug ]         - debug on

ore     | 

ore     | Exiting with 1

simplets| Exit 2B.02

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): =============================================

ore     | dump_periodic(): dumping connection table.

ore     | dump_connection(): dumping connection #0

ore     | dump_connection(): Owner      = 20.02

ore     | dump_connection(): Device     = eth0

ore     | dump_connection(): Flags      = 0

ore     | dump_connection(): MAC =  04:EA:F4:01:E8:0A

ore     | dump_connection(): Packets received: 14

ore     | dump_connection(): Packets queued: 14

ore     | dump_connection(): Packets delivered: 0

ore     | dump_connection(): Packets sent: 0

ore     | dump_connection(): - - - - - - - - - - - - - - - - - - - - - -

ore     | dump_periodic(): =============================================

l4lx    | Terminating L4Linux.

simplets| Exit 10.02

dmon    | reboot_callback(): Rebooting.

dmon    | 

ø


More information about the l4-hackers mailing list