[l4linux+ankh] no eth0
Timur <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <1447361.QBzenViIar@timmy-laptop> |
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 -- Galiullin Timur _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
l4lx-gfx.cfg
(text/plain, 2.1 KB)
-- vim:set ft=lua:
loader = L4.default_loader;
local lxname = "vmlinuz";
if L4.Info.arch() == "arm" then
lxname = "vmlinuz.arm";
end
-- Start io
vbus_l4linux = loader:new_channel();
vbus_input = loader:new_channel();
vbus_fbdrv = loader:new_channel();
ankh_vbus = loader:new_channel();
loader:start(
{
caps = {
sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0);
icu = L4.Env.icu;
input = vbus_input:svr();
l4linux = vbus_l4linux:svr();
fbdrv = vbus_fbdrv:svr();
ankh = ankh_vbus:svr();
},
}, "rom/io rom/x86-legacy.devs rom/l4lx-x86.io rom/ankh.vbus");
-- Start fb-drv (but only if we need to)
local fb = L4.Env.vesa;
if (not fb) then
fb = loader:new_channel();
loader:start({ caps = { fb = fb:svr(), vbus = vbus_fbdrv }},
"rom/fb-drv -m 0x117");
end
local mag_mag = loader:new_channel();
local mag_svc = loader:new_channel();
-- Start mag
loader:start(
{
caps = {
vbus = vbus_input;
mag = mag_mag:svr();
svc = mag_svc:svr();
fb = fb;
},
}, "rom/mag");
local ankh_clnt = loader:new_channel();
local ankh_shm = loader:create_namespace({});
loader:startv(
{
caps = {
ankh_service = ankh_clnt:svr();
vbus = ankh_vbus,
shm = ankh_shm:m("rws")
},
log = {"ankh", "g"},
l4re_dbg = L4.Dbg.Warn,
}, "rom/ankh" );
-- Start Linux
loader:start(
{ caps = {
log = L4.Env.log:m("rws"),
fb = mag_svc:create(L4.Proto.Goos, "g=640x480");
vbus = vbus_l4linux;
shm = ankh_shm:m("rws");
ankh = ankh_clnt:create(0, "debug,phys_mac,shm=shm,device=eth0,bufsize=16384,create");
},
l4re_dbg = L4.Dbg.Warn,
log = { "l4linux", "yellow" },
},
-- "rom/" .. lxname .. " mem=64M l4ankh.ankh_shm=shm console=tty0 l4x_rd=rom/ramdisk-" .. L4.Info.arch() .. ".rd root=1:0 ramdisk_size=20000 init=/bin/sh");
"rom/" .. lxname .. " mem=64M l4ankh.ankh_shm=shm console=tty0 l4x_rd=rom/drops-rd.rd root=1:0 ramdisk_size=20000 init=/bin/sh");
ankh.vbus
(text/plain, 139 B)
ankh => new System_bus()
{
PCI0 => new PCI_bus()
{
nic[] => wrap(hw-root.match("PCI/CC_02"));
}
}
l4x+ankh.log
(text/x-log, 17.9 KB)
L4 Bootstrapper
Build: #2 Thu Mar 15 01:07:31 MSK 2012, x86-32, 4.6.3
RAM: 0000000000000000 - 000000000009f3ff: 637kB
RAM: 0000000000100000 - 000000000fffdfff: 261112kB
Total RAM: 255MB
Moving 16 modules to 1100000 with offset e1d000
moving module 16 { 2630000-3630000 } -> { 344d000-444d000 }
moving module 15 { 2330000-2630000 } -> { 314d000-344d000 }
moving module 14 { 1ffe000-232f5cd } -> { 2e1b000-314c5cd }
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-921834 } -> { 173e000-173e834 }
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, fffe000) RAM (1)
[ fffe000, 10000000) 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, 444cfff] { 306e000} Root Modules Memory
[ fffe000, fffffff] { 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 fffd000 (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 @ 0xfdbfa000
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: int 0x30
CPU[0:0]: AuthenticAMD (6:2:3:0)[00000623] Model: QEMU Virtual CPU version 1.0,1 at 2395 MHz
255/512 Entry I TLB (4K pages) 255 Entry I TLB (4M pages)
255/512 Entry D TLB (4K pages) 255 Entry D TLB (4M pages)
64 KB L1 I Cache (2-way associative, 64 bytes per line)
64 KB L1 D Cache (2-way associative, 64 bytes per line)
512 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;444cfff]
[0:444d000;eb8afff]
IOMEM:----------------------
[0:0;fff]
[0:9f000;fffff]
[0:fffe000;febfffff]
[0:fec01000;fedfffff]
[0:fee01000;ffffffff]
IO PORTS--------------------------
[0:0;fffffff]
MOE: Hello world
MOE: found 190444 KByte free memory
MOE: found RAM from 1000 to eb8b000
MOE: allocated 235 KByte for the page array @0x1000
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-173e834] [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-314c5cd] [C:50d000] vmlinuz
BOOTFS: [314d000-344d000] [C:50e000] ramdisk-x86.rd
BOOTFS: [344d000-444d000] [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 0xfffe600 00038 (v01 BOCHS BXPCRSDT 00000001 BXPC 00000001)
io | ACPI: FACP 0xfffff80 00074 (v01 BOCHS BXPCFACP 00000001 BXPC 00000001)
io | ACPI: DSDT 0xfffe640 010D3 (v01 BXPC BXDSDT 00000001 INTL 20100528)
io | ACPI: FACS 0xfffff40 00040
io | ACPI: SSDT 0xffffea0 0009E (v01 BOCHS BXPCSSDT 00000001 BXPC 00000001)
io | ACPI: APIC 0xffffdb0 00078 (v01 BOCHS BXPCAPIC 00000001 BXPC 00000001)
io | ACPI: HPET 0xffffd70 00038 (v01 BOCHS BXPCHPET 00000001 BXPC 00000001)
io | ACPI: SSDT 0xffff720 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 = 0x6c
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=0063d000
l4linux | phys=00400000 ephys=0063d000
l4linux | f_sz=0023d000 memsz=0023d000 flgs=r-x
l4linux | PH 1 (t: 1) offs=0023e000 vaddr=0063d000 vend=00728000
l4linux | phys=0063d000 ephys=00728000
l4linux | f_sz=00046e61 memsz=000eb000 flgs=rw-
l4linux | PH 2 (t: 4) offs=001c0e10 vaddr=005bfe10 vend=005bfe34
l4linux | phys=005bfe10 ephys=005bfe34
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 13:10:09 MSK 2012
l4linux | Binary name: rom/vmlinuz
l4linux | Linux kernel command line (7 args): mem=64M l4ankh.ankh_shm=shm console=tty0 l4x_rd=rom/drops-rd.rd root=1:0 ramdisk_size=20000 init=/bin/sh
l4linux | CPU mapping (l:p)[1]: 0:0
l4linux | Image: 00400000 - 00728000 [3232 KiB].
l4linux | Areas: Text: 00400000 - 0063d000 [2292kB] (a bit longer)
l4linux | Data: 0063d000 - 0065c780 [125kB]
l4linux | Initdata: 0065d000 - 00684000 [156kB]
l4linux | BSS: 00684000 - 00718000 [592kB]
l4linux | gs=43 fs=43
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 419 (cpu0) (u:b3000400, v:b3000600, sp:0063fff4)
l4linux | main thread will be 419
l4linux | l4x_register_pointer_section: addr = 0063d000 size = 962560
l4linux | section-with-init: virt: 0x63d000 to 0x727fff [940 KiB]
l4linux | section-with-init: Phys: 0x00a78000 to 0x00b63000, Size: 962560
l4linux | l4x_linux_startup: thread 419.
l4linux | Main thread running, waiting...
l4linux | main thread: received startup message.
l4linux | l4x_setup_memory: Forcing superpages for main memory
l4linux | l4re_global_env: 0xb1007ea4
l4linux | Main memory size: 64MB
l4linux | Main memory: virt: 0x800000 to 0x47fffff [65536 KiB]
l4linux | Main memory: Phys: 0x04800000 to 0x08800000, Size: 67108864
l4linux | Filling lower ptabs...
l4linux | Done (1212 entries).
l4linux | l4x_register_pointer_section: addr = 0063d000 size = 962560
l4linux | end: virt: 0x63d000 to 0x727fff [940 KiB]
l4linux | end: Phys: 0x00a78000 to 0x00b63000, Size: 962560
l4linux | l4x_rd_path: rom/drops-rd.rd
l4linux | Loading: rom/drops-rd.rd
l4linux | INITRD: Size of RAMdisk is 16384KiB
l4linux | RAMdisk from 0c800000 to 0d800000 [16384KiB]
l4linux | rtc not found
l4linux | l4lx_thread_create: Created thread 421 (timer.i0) (u:b3000800, v:00000000, sp:006b3ff8)
l4linux | timer_irq_thread: Starting timer IRQ thread.
l4linux | WARNING: Unknown rdmsr: c0010000 at 0x6641f7
l4linux | WARNING: Unknown rdmsr: c0010001 at 0x6641f7
l4linux | WARNING: Unknown rdmsr: c0010002 at 0x6641f7
l4linux | WARNING: Unknown rdmsr: c0010003 at 0x6641f7
l4linux | WARNING: Unknown wrmsr: c0010004 at 0x664275
l4linux | WARNING: Unknown rdmsr: c0010004 at 0x664287