Re: [l4linux+ankh] no eth0

Timur <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <1532026.9m1AeGbuvt@timmy-laptop>
В сообщении от 25 марта 2012 17:02:23 вы написали:
> Hi all,
> i,m trying to bind l4linux to ankh. After launching with attached config
> files, l4linux doesn't see eth0 interface.  What am i doing wrong? Log
> attached.
> 
> [modules.list]
> entry L4Linux-mag-x86
> roottask moe rom/l4lx-gfx.cfg
> module l4re
> module ned
> module l4lx-gfx.cfg
> module io
> module ankh
> module ankh.vbus
> module fb-drv
> module mag
> module x86-legacy.devs
> module l4lx-x86.io
> module vmlinuz
> module drops-rd.rd

ok, i've build l4linux incorrectly.  But after rebuild i receive kernel panic:


-- 
Galiullin Timur

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
log (text/plain, 18.2 KB)
L4 Bootstrapper
  Build: #2 Thu Mar 15 01:07:31 MSK 2012, x86-32, 4.6.3
  RAM: 0000000000000000 - 000000000009f3ff: 637kB
  RAM: 0000000000100000 - 000000002d7fdfff: 744440kB
  Total RAM: 727MB
  Moving 16 modules to 1100000 with offset e1d000
  moving module 16 { 2669000-3669000 } -> { 3486000-4486000 }
  moving module 15 { 2369000-2669000 } -> { 3186000-3486000 }
  moving module 14 { 1ffe000-236844d } -> { 2e1b000-318544d }
  moving module 13 { 1ffd000-1ffd21f } -> { 2e1a000-2e1a21f }
  moving module 12 { 1ffc000-1ffc3b7 } -> { 2e19000-2e193b7 }
  moving module 11 { 1c4d000-1ffb09a } -> { 2a6a000-2e1809a }
  moving module 10 { 1ad7000-1c4c13c } -> { 28f4000-2a6913c }
  moving module 09 { 1ad6000-1ad608b } -> { 28f3000-28f308b }
  moving module 08 { 1327000-1ad5109 } -> { 2144000-28f2109 }
  moving module 07 { 922000-132628e } -> { 173f000-214328e }
  moving module 06 { 921000-921835 } -> { 173e000-173e835 }
  moving module 05 { 6ea000-920f0a } -> { 1507000-173df0a }
  moving module 04 { 5c2000-6e92b8 } -> { 13df000-15062b8 }
  moving module 03 { 39f000-5c107c } -> { 11bc000-13de07c }
  moving module 02 { 34a000-39e01d } -> { 1167000-11bb01d }
  moving module 01 { 2e3000-349460 } -> { 1100000-1166460 }
  Scanning /home/timmy/Documents/6sem/UIR/snap/l4re-snapshot-2011081207/obj/fiasco/ia32/fiasco 
  Scanning /home/timmy/Documents/6sem/UIR/snap/l4re-snapshot-2011081207/obj/l4/x86/bin/x86_586/l4f/sigma0 
  Scanning /home/timmy/Documents/6sem/UIR/snap/l4re-snapshot-2011081207/obj/l4/x86/bin/x86_586/l4f/moe rom/l4lx-gfx.cfg
  Bootloader MMAP:
    [        0,     9f400) RAM (1)
    [    9f400,     a0000) reserved (2)
    [    f0000,    100000) reserved (2)
    [   100000,  2d7fe000) RAM (1)
    [ 2d7fe000,  2d800000) reserved (2)
  Relocated mbi to [0x2dd000-0x2dd6dc]
  Loading UIR/snap/l4re-snapshot-2011081207/obj/fiasco/ia32/fiasco
  Loading re-snapshot-2011081207/obj/l4/x86/bin/x86_586/l4f/sigma0
  Loading /l4re-snapshot-2011081207/obj/l4/x86/bin/x86_586/l4f/moe
  find kernel info page...
  found kernel info page at 0x400000
Regions of list regions
    [        0,       fff] {     1000} Arch   BIOS
    [    9f400,     9ffff] {      c00} Arch   BIOS
    [    f0000,     fffff] {    10000} Arch   BIOS
    [   100000,    10b197] {     b198} Sigma0 re-snapshot-2011081207/obj/l4/x86/bin/x86_586/l4f/sigma0
    [   140000,    18d23f] {    4d240} Root   /l4re-snapshot-2011081207/obj/l4/x86/bin/x86_586/l4f/moe
    [   2d0000,    2e13e7] {    113e8} Boot   bootstrap
    [   2dd000,    2dd7d9] {      7da} Root   Multiboot info
    [   300000,    38ffff] {    90000} Kern   UIR/snap/l4re-snapshot-2011081207/obj/fiasco/ia32/fiasco
    [   400000,    46bfff] {    6c000} Kern   UIR/snap/l4re-snapshot-2011081207/obj/fiasco/ia32/fiasco
    [  13df000,   4485fff] {  30a7000} Root   Modules Memory
    [ 2d7fe000,  2d7fffff] {     2000} Arch   BIOS
  API Version: (87) experimental
  Sigma0 config    ip:001001dc sp:002dca50
  Roottask config  ip:001401c4 sp:00000000
  Starting kernel UIR/snap/l4re-snapshot-2011081207/obj/fiasco/ia32/fiasco at 00300824

Welcome to Fiasco.OC (ia32)!
L4/Fiasco.OC ia32 microkernel (C) 1998-2011 TU Dresden                                                                                                                                          
Rev: rUNKNOWN compiled with gcc 4.6.3 for Intel Pentium    []                                                                                                                                   
Build: #2 Thu Mar 15 00:58:46 MSK 2012                                                                                                                                                          
                                                                                                                                                                                                
Performance-critical config option(s) detected:
  CONFIG_NDEBUG is off                                                                                                                                                                          
  CONFIG_NO_FRAME_PTR is off                                                                                                                                                                    
                                                                                                                                                                                                
Superpages: yes
Kmem:: cpu page at 2d7f8000 (4096Bytes)
ACPI-Init
ACPI: RSDP[0xfd9a0]     r00 OEM:BOCHS.
ACPI: RSDT[0x203fe600]  r01 OEM:BOCHS. OEMTID:BXPCRSDT
ACPI: FACP[0x203fff80]  r01 OEM:BOCHS. OEMTID:BXPCFACP
ACPI: SSDT[0x203ffea0]  r01 OEM:BOCHS. OEMTID:BXPCSSDT
ACPI: APIC[0x203ffdb0]  r01 OEM:BOCHS. OEMTID:BXPCAPIC
ACPI: HPET[0x203ffd70]  r01 OEM:BOCHS. OEMTID:BXPCHPET
ACPI: SSDT[0x203ff720]  r01 OEM:BXPC.. OEMTID:BXSSDTPC
IO-APIC: MADT = 0x203ffdb0
IO-APIC[ 0]: struct: 0x203ffde4 adr=fec00000
IO-APIC[ 0]: pins 24
  PIN[ 0m]: vector=20, del=0, dm=physical, dest=0 (high, edge)
  PIN[ 1m]: vector=21, del=0, dm=physical, dest=0 (high, edge)
  PIN[ 2m]: vector=22, del=0, dm=physical, dest=0 (high, edge)
  PIN[ 3m]: vector=23, del=0, dm=physical, dest=0 (high, edge)
  PIN[ 4m]: vector=24, del=0, dm=physical, dest=0 (high, edge)
  PIN[ 5m]: vector=25, del=0, dm=physical, dest=0 (high, edge)
  PIN[ 6m]: vector=26, del=0, dm=physical, dest=0 (high, edge)
  PIN[ 7m]: vector=27, del=0, dm=physical, dest=0 (high, edge)
  PIN[ 8m]: vector=28, del=0, dm=physical, dest=0 (high, edge)
  PIN[ 9m]: vector=29, del=0, dm=physical, dest=0 (high, edge)
  PIN[10m]: vector=2a, del=0, dm=physical, dest=0 (high, edge)
  PIN[11m]: vector=2b, del=0, dm=physical, dest=0 (high, edge)
  PIN[12m]: vector=2c, del=0, dm=physical, dest=0 (high, edge)
  PIN[13m]: vector=2d, del=0, dm=physical, dest=0 (high, edge)
  PIN[14m]: vector=2e, del=0, dm=physical, dest=0 (high, edge)
  PIN[15m]: vector=2f, del=0, dm=physical, dest=0 (high, edge)
  PIN[16m]: vector=30, del=0, dm=physical, dest=0 (high, edge)
  PIN[17m]: vector=31, del=0, dm=physical, dest=0 (high, edge)
  PIN[18m]: vector=32, del=0, dm=physical, dest=0 (high, edge)
  PIN[19m]: vector=33, del=0, dm=physical, dest=0 (high, edge)
  PIN[20m]: vector=34, del=0, dm=physical, dest=0 (high, edge)
  PIN[21m]: vector=35, del=0, dm=physical, dest=0 (high, edge)
  PIN[22m]: vector=36, del=0, dm=physical, dest=0 (high, edge)
  PIN[23m]: vector=37, del=0, dm=physical, dest=0 (high, edge)
IO-APIC: dual 8259: yes
IO-APIC: ovr[ 0] 00 -> 2
IO-APIC: ovr[ 1] 05 -> 5
IO-APIC: ovr[ 2] 09 -> 9
IO-APIC: ovr[ 3] 0a -> a
IO-APIC: ovr[ 4] 0b -> b
Allocate cpu_mem @ 0xffffb000
Local APIC[00]: version=11 max_lvt=5
APIC ESR value before/after enabling: 00000000/00000000
Using the PIT (i8254) on IRQ 2 for scheduling
Absolute KIP Syscalls using: Sysenter
CPU[0:0]: GenuineIntel (6:3:3:0)[00000633] Model: QEMU Virtual CPU version 1.0,1 at 2394 MHz

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

Freeing init code/data: 28672 bytes (7 pages)

Calibrating timer loop... done.
SIGMA0: Hello!
  KIP @ 400000
  Found Fiasco: KIP syscalls: yes
  allocated 4KB for maintenance structures
SIGMA0: Dump of all resource maps
RAM:------------------------
[0:1000;9efff]
[0:10c000;13ffff]
[4:140000;18dfff]
[0:18e000;2dcfff]
[4:2dd000;2ddfff]
[0:2de000;3fffff]
[0:465000;13defff]
[4:13df000;4485fff]
[0:4486000;29dc7fff]
IOMEM:----------------------
[0:0;fff]
[0:9f000;fffff]
[0:2d7fe000;febfffff]
[0:fec01000;fedfffff]
[0:fee01000;ffffffff]
IO PORTS--------------------------
[0:0;fffffff]
MOE: Hello world
MOE: found 634876 KByte free memory
MOE: found RAM from 1000 to 29dc8000
MOE: allocated 669 KByte for the page array @0x18e000
MOE: virtual user address space [0-bfffffff]
MOE: rom name space cap -> [C:501000]
  BOOTFS: [13df000-15062b8] [C:503000] l4re
  BOOTFS: [1507000-173df0a] [C:504000] ned
  BOOTFS: [173e000-173e835] [C:505000] l4lx-gfx.cfg
  BOOTFS: [173f000-214328e] [C:506000] io
  BOOTFS: [2144000-28f2109] [C:507000] ankh
  BOOTFS: [28f3000-28f308b] [C:508000] ankh.vbus
  BOOTFS: [28f4000-2a6913c] [C:509000] fb-drv
  BOOTFS: [2a6a000-2e1809a] [C:50a000] mag
  BOOTFS: [2e19000-2e193b7] [C:50b000] x86-legacy.devs
  BOOTFS: [2e1a000-2e1a21f] [C:50c000] l4lx-x86.io
  BOOTFS: [2e1b000-318544d] [C:50d000] vmlinuz
  BOOTFS: [3186000-3486000] [C:50e000] ramdisk-x86.rd
  BOOTFS: [3486000-4486000] [C:50f000] drops-rd.rd
MOE: cmdline: /home/timmy/Documents/6sem/UIR/snap/l4re-snapshot-2011081207/obj/l4/x86/bin/x86_586/l4f/moe rom/l4lx-gfx.cfg
MOE: Starting: rom/ned rom/l4lx-gfx.cfg
MOE: loading 'rom/ned'
Ned says: Hi World!
Ned: loading file: 'rom/l4lx-gfx.cfg'
io      | Io service
io      | Find root Pointer
io      | Find root Pointer: fd9a0
io      | ACPI: RSDP 0xfd9a0 00014 (v00 BOCHS )
io      | ACPI: RSDT 0x2d7fe600 00038 (v01 BOCHS  BXPCRSDT 00000001 BXPC 00000001)
io      | ACPI: FACP 0x2d7fff80 00074 (v01 BOCHS  BXPCFACP 00000001 BXPC 00000001)
io      | ACPI: DSDT 0x2d7fe640 010D3 (v01   BXPC   BXDSDT 00000001 INTL 20100528)
io      | ACPI: FACS 0x2d7fff40 00040
io      | ACPI: SSDT 0x2d7ffea0 0009E (v01 BOCHS  BXPCSSDT 00000001 BXPC 00000001)
io      | ACPI: APIC 0x2d7ffdb0 00078 (v01 BOCHS  BXPCAPIC 00000001 BXPC 00000001)
io      | ACPI: HPET 0x2d7ffd70 00038 (v01 BOCHS  BXPCHPET 00000001 BXPC 00000001)
io      | ACPI: SSDT 0x2d7ff720 00644 (v01   BXPC BXSSDTPC 00000001 INTL 20100528)
io      | Parsing all Control Methods:
io      | Table [DSDT](id 0001) - 143 Objects with 17 Devices 60 Methods 7 Regions
io      | Parsing all Control Methods:
io      | Table [SSDT](id 0002) - 8 Objects with 0 Devices 4 Methods 0 Regions
io      | Parsing all Control Methods:
io      | Table [SSDT](id 0003) - 125 Objects with 31 Devices 32 Methods 0 Regions
io      |  tbxface-0601 [02] TbLoadNamespace       : ACPI Tables successfully acquired
io      | evxfevnt-0184 [02] Enable                : Transition to ACPI mode successful
io      | evgpeblk-1129 [04] EvCreateGpeBlock      : GPE 00 to 0F [_GPE] 2 regs on int 0x9
io      | /home/timmy/Documents/6sem/UIR/snap/l4re-snapshot-2011081207/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:57:AcpiOsInstallInterruptHandler: UNINPLEMENTED
io      | Completing Region/Field/Buffer/Package initialization:....................
io      | Initialized 7/7 Regions 0/0 Fields 8/8 Buffers 5/5 Packages (285 nodes)
io      | Initializing Device/Processor/Thermal objects by executing _INI methods:
io      | Executed 0 _INI methods requiring 0 _STA executions (examined 51 objects)
io      | evgpeblk-1234 [03] EvInitializeGpeBlock  : Found 0 Wake, Enabled 16 Runtime GPEs in this block
io      | ACPICA-Version:20091214, System in ACPI MODE, 32bit timer
io      | WARNING: device 'KBD_' already assigned to an other virtual bus.
io      | WARNING: device 'PS2' already assigned to an other virtual bus.
io      | WARNING: device 'VGA_' already assigned to an other virtual bus.
io      | WARNING: device '' already assigned to an other virtual bus.
io      | WARNING: device 'S03_' already assigned to an other virtual bus.
io      | Ready. Waiting for request.
fb-drv  | libio: Warning: Finding 'icu' in system bus failed with 'No such object found'
mag     | Hello from MAG
ankh    | Initialized DDELinux 2.6
fb-drv  | Trying execution of ``set VBE mode'' using x86emu
fb-drv  | Found VESA BIOS version 2.0
fb-drv  | OEM VGABIOS Cirrus extension
ankh    | Initializing DDE page cache
ankh    | ddekit_pci_init
ankh    | pci bus constructor
ankh    | PCI: L4 root bridge is device 19b40
ankh    | init_wq_head
ankh    | l4dde26_register_rx_callback: New rx callback @ 0x10001f0.
ankh    | Softirq daemon starting
ankh    | <6>8139cp: 10/100 PCI Ethernet driver v1.3 (Mar 22, 2004)
ankh    | pci_irq_enable: dev 0x118004
ankh    | pci_irq_enable: irq 11, pin 1, devfn 0
ankh    | ddekit_pci_irq_enable: devfn 0, pin 0
ankh    | ddekit_pci_irq_enable: l4vbus_pci_irq_enable() = 11
ankh    | IRQ: set irq type of 11 to 4
ankh    | enable_dev: 0
ankh    | <6>eth0: RTL-8139C+ at 0x109000, 0x11615cM, IRQ 11
ankh    | unimplemented: pci_set_master
ankh    | <6>net_namespace: 636 bytes
ankh    | open_network_devices() 
ankh    | opening lo
ankh    | <6>device lo entered promiscuous mode
ankh    | set interface to promiscuous mode.
ankh    | opening eth0
ankh    | <6>device eth0 entered promiscuous mode
ankh    | set interface to promiscuous mode.
ankh    | Thread 0xa8 for IRQ 11
ankh    | <6>eth0: link up, 100Mbps, full-duplex, lpa 0x05E1
ankh    | Opened 2 network devices.
ankh    | lo    IRQ: 0x00  MAC: 00:00:00:00:00:00  MTU: 16436
ankh    | eth0  IRQ: 0x0B  MAC: 52:54:00:12:34:56  MTU:  1500
ankh    | Registered @ registry.
ankh    | Gooood Morning Ankh-Morpoooooork! TID = 0x71
fb-drv  | VBE mode 0x117 successfully set.
fb-drv  | Framebuffer memory: phys: fc000000 - fc400000
fb-drv  |                     virt: 400000 - 800000
fb-drv  | Starting server loop
mag     | mapped frame buffer at 0x400000
mag     | View::Info:
mag     |   flags: 0
mag     |   size:  1024x768  pos: 0, 0
mag     |   bytes_per_line: 2048
mag     |   buffer_offset:  0
mag     |   RGBA(2): 5(11):6(5):5(0):0(0)
mag     |   memory 400000-800000
mag     | L4INPUT native mode activated
mag     | L4INPUT:                !!! W A R N I N G !!!
mag     | L4INPUT:  Please, do not use Fiasco's "-esc" with L4INPUT.
mag     | L4INPUT:                !!! W A R N I N G !!!
mag     | serio: i8042 AUX port at 0x60,0x64 irq 12
mag     | serio: i8042 KBD port at 0x60,0x64 irq 1
mag     | input: ImExPS/2 Generic Explorer Mouse on isa0060/serio1
mag     | input: AT Translated Set 2 keyboard on isa0060/serio0
mag     | connect "ImExPS/2 Generic Explorer Mouse", isa0060/serio1/input0
mag     | connect "AT Translated Set 2 keyboard", isa0060/serio0/input0
mag     | Plugin: Frame-buffer service started
mag     | Plugin: Mag_client service started
ankh    | Creating session factory.
ankh    | Configuration: debug,phys_mac,shm=shm,device=eth0,bufsize=16384,create
ankh    |   Debug mode ON.
ankh    |   Physical MAC requested.
ankh    |   SHM area 'shm' requested.
ankh    |   Device 'eth0' requested.
ankh    |   Buffer size: 16384
ankh    | shmc_create: 0
ankh    | Created shmc area 'shm'
ankh    | <6>device eth0 left promiscuous mode
ankh    | Assigning MAC address: 52:54:00:12:34:56
l4linux | PH  0 (t:        1) offs=00001000 vaddr=00400000 vend=00642000
l4linux |                     phys=00400000 ephys=00642000
l4linux |                     f_sz=00242000 memsz=00242000 flgs=r-x
l4linux | PH  1 (t:        1) offs=00243000 vaddr=00642000 vend=00730000
l4linux |                     phys=00642000 ephys=00730000
l4linux |                     f_sz=00046fe1 memsz=000ee000 flgs=rw-
l4linux | PH  2 (t:        4) offs=001c44e8 vaddr=005c34e8 vend=005c350c
l4linux |                     phys=005c34e8 ephys=005c350c
l4linux |                     f_sz=00000024 memsz=00000024 flgs=---
l4linux | Starting binary at 0x400000, argc=8 argv=0x80007f88 *argv=0xb1007ff4 argv0=rom/vmlinuz
l4linux | External resolver is at 0xa80006d0
l4linux | ======> L4Linux 2.6 starting... <========
l4linux | Linux version 3.0.0-l4 (timmy@timmy-laptop) (gcc version 4.6.3 (GCC) ) #1 Sun Mar 25 22:33:21 MSK 2012
l4linux | Binary name: rom/vmlinuz
l4linux | Linux kernel command line (7 args): mem=512M l4ankh.ankh_shm=shm console=tty0 l4x_rd=rom/ramdisk-x86.rd root=1:0 ramdisk_size=80000 init=/bin/sh
l4linux | CPU mapping (l:p)[1]: 0:0
l4linux | Image: 00400000 - 00730000 [3264 KiB].
l4linux | Areas: Text:     00400000 - 00642000 [2312kB] (a bit longer)
l4linux |        Data:     00642000 - 00660880 [122kB]
l4linux |        Initdata: 00662000 - 00689000 [156kB]
l4linux |        BSS:      0068a000 - 00720000 [600kB]
l4linux | gs=43   fs=43
l4linux | l4lx_thread_create: Created thread 418 (tamer0) (u:b3000400, sp:006a2694)
l4linux | Tamer0 is 418
l4linux | Using tamed mode.
l4linux | Device scan:
l4linux |   Device: 
l4linux |     PORT: 000001f0 - 000001f7
l4linux |     PORT: 000003f6 - 000003f6
l4linux |     IRQ: 0000000e - 0000000e
l4linux |     PORT: 00000170 - 00000177
l4linux |     PORT: 00000376 - 00000376
l4linux |     IRQ: 0000000f - 0000000f
l4linux |     PORT: 0000c100 - 0000c10f
l4linux |   Device: 
l4linux |     IRQ: 0000000b - 0000000b
l4linux |     PORT: 0000c000 - 0000c0ff
l4linux |     MEM: febf1000 - febf10ff
l4linux | l4x_fiasco_gdt_entry_offset = 9
l4linux | rtc not found
l4linux | WARNING: RTC server does not seem there!
l4linux | l4lx_thread_create: Created thread 41a (cpu0) (u:b3000600, sp:00643ff4)
l4linux | main thread will be 41a
l4linux | l4x_register_pointer_section: addr = 00642000 size = 974848
l4linux | section-with-init: virt: 0x642000 to 0x72ffff [952 KiB]
l4linux | section-with-init: Phys: 0x00aea000 to 0x00bd8000, Size:   974848
l4linux | l4x_linux_startup: thread 41a.
l4linux | Main thread running, waiting...
l4linux | main thread: received startup message.
l4linux | l4x_setup_memory: Forcing superpages for main memory
l4linux | l4re_global_env: 0xb1007e9c
l4linux | Main memory size: 512MB
l4linux |     Main memory: virt: 0x800000 to 0x207fffff [524288 KiB]
l4linux |     Main memory: Phys: 0x04800000 to 0x24800000, Size: 536870912
l4linux | Filling lower ptabs...
l4linux | Done (1204 entries).
l4linux | l4x_register_pointer_section: addr = 00642000 size = 974848
l4linux |             end: virt: 0x642000 to 0x72ffff [952 KiB]
l4linux |             end: Phys: 0x00aea000 to 0x00bd8000, Size:   974848
l4linux | l4x_rd_path: rom/ramdisk-x86.rd
l4linux | Loading: rom/ramdisk-x86.rd
l4linux | INITRD: Size of RAMdisk is 3072KiB
l4linux | RAMdisk from 28800000 to 28b00000 [3072KiB]
l4linux | rtc not found
l4linux | l4lx_thread_create: Created thread 421 (timer.i0) (u:b3000800, sp:006bbff4)
l4linux | WARNING: Unknown rdmsr: 00000186 at 0x6691ca
l4linux | WARNING: Unknown rdmsr: 00000187 at 0x6691ca
l4linux | WARNING: Unknown wrmsr: 000000c1 at 0x669248
l4linux | WARNING: Unknown rdmsr: 000000c1 at 0x66925a
l4linux | l4lx_thread_create: Created thread 425 (IRQ65) (u:b3000a00, sp:006bdff4)
l4linux | irq_thread: Started IRQ thread for IRQ 65
l4linux | mmap called, should only happen for exceptions
l4linux | mmap called, should only happen for exceptions
l4linux | add_chunk: area 0xa82a240c, name '(null)', size 16420
l4linux | Page fault (non-resolved): pfa=0 pc=a800ea25
Die message: Trap: 14
l4linux | panic: going to sleep forever, bye
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.