gistfile1.txt

Linux version 3.0.0-l4-g90ca43b-dirty (ivan@ivan) (gcc version 4.6.1 (GCC) ) #1 Tue May 15 18:25:55 MSK 2012
BIOS-provided physical RAM map:
 L4Lx-Memory: 0000000000000000 - 0000000000401000 (reserved)
 L4Lx-Memory: 0000000000401000 - 00000000008cc000 (usable)
 L4Lx-Memory: 00000000008cc000 - 0000000008000000 (unusable)
 L4Lx-Memory: 0000000008000000 - 0000000010000000 (usable)
Notice: NX (Execute Disable) protection missing in CPU!
last_pfn = 0x10000 max_arch_pfn = 0x100000
init_memory_mapping: 0000000000000000-0000000010000000
INITRD: 00280000 - 00315000
256MB LOWMEM available.
  mapped low ram: 0 - 10000000
  low ram: 0 - 10000000
Zone PFN ranges:
  DMA      0x00000401 -> 0x00000000
  Normal   0x00000000 -> 0x00010000
Movable zone start PFN for each node
early_node_map[2] active PFN ranges
    0: 0x00000401 -> 0x000008cc
    0: 0x00008000 -> 0x00010000
Allocating PCI resources starting at 10000000 (gap: 10000000:f0000000)
Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 33491
Kernel command line: mem=128M console=ttyS0 l4x_rd=root-ginger.gz
PID hash table entries: 1024 (order: 0, 4096 bytes)
Dentry cache hash table entries: 32768 (order: 5, 131072 bytes)
Inode-cache hash table entries: 16384 (order: 4, 65536 bytes)
Initializing CPU#0
Memory: 128872k/262144k available (2443k kernel code, 2264k reserved, 777k data, 156k init, 0k highmem)
virtual kernel memory layout:
    fixmap  : 0x00100000 - 0x0011a000   ( 104 kB)
    vmalloc : 0x10000000 - 0x18000000   ( 128 MB)
    lowmem  : 0x00000000 - 0x10000000   ( 256 MB)
      .init : 0x00737000 - 0x0075e000   ( 156 kB)
      .data : 0x00662c9c - 0x00725174   ( 777 kB)
      .text : 0x00400000 - 0x00662c9c   (2443 kB)
NR_IRQS:192
Console: colour dummy device 80x25
console [ttyS0] enabled
Detected 2660.141 MHz processor.
Calibrating delay loop (skipped), value calculated using timer frequency.. 5320.28 BogoMIPS (lpj=26601410)
pid_max: default: 32768 minimum: 301
Mount-cache hash table entries: 512
CPU: Intel QEMU Virtual CPU version 1.0,1 stepping 03
Performance Events: Broken PMU hardware detected, using software events only.
NET: Registered protocol family 16
bio: create slab <bio-0> at 0
Failed to create "l4x" debugfs directory: 1
Advanced Linux Sound Architecture Driver Version 1.0.24.
Switching to clocksource l4kipclk
NET: Registered protocol family 2
IP route cache hash table entries: 2048 (order: 1, 8192 bytes)
TCP established hash table entries: 8192 (order: 4, 65536 bytes)
TCP bind hash table entries: 8192 (order: 3, 32768 bytes)
TCP: Hash tables configured (established 8192 bind 8192)
TCP reno registered
UDP hash table entries: 256 (order: 0, 4096 bytes)
UDP-Lite hash table entries: 256 (order: 0, 4096 bytes)
NET: Registered protocol family 1
Trying to unpack rootfs image as initramfs...
INITRD: Freeing memory.
platform rtc_cmos: registered platform RTC device (no PNP device found)
ashmem: initialized
initcall init_cramfs_fs+0x0/0x28 returned with disabled interrupts 
msgmni has been set to 251
io scheduler noop registered
io scheduler deadline registered
io scheduler cfq registered (default)
brd: module loaded
mousedev: PS/2 mouse device common for all mice
logger: created 256K log 'log_main'
logger: created 256K log 'log_events'
logger: created 256K log 'log_radio'
logger: created 256K log 'log_system'
ALSA device list:
  #0: Dummy 1
ttyS0 at MMIO 0x1 (irq = 64) is a L4
using rtc device, rtc-genode, for alarms
rtc-genode rtc-genode.0: rtc core: registered rtc-genode as rtc0
genode_fb:framebuffer at 0x00280000, size 600k
genode_fb: mode is 640x480x16
Console: switching to colour frame buffer device 80x30
input: Genode input key as /devices/virtual/input/input0
input: Genode input mouse as /devices/virtual/input/input1