Re: L4linux Booting Problem

17 Mar 2007


      Hi,
I fished this email out of the spam folder of l4-hackers and if you look
below there's little doubt why it was put there. To all: Guys, please
STOP sending HTML mails and use a proper email client. Thanks a lot.
On Wed Mar 14, 2007 at 22:14:45 +0900, Yunju Na wrote:
...
I am trying to install L4/fiasco and L4linux on my computer.
I downloaded source files from CVS and compiled reffering document 
"L4/Fiasco/L4Linux Kickstart" (written by Gheng Guanghui, Nicholas Mc 
Guire).
Source compile is OK.
But when I boot the machine, L4linux is shotdown in the middle of 
booting.
I saw the message "Warning: unable to open an initial console." before 
shotdown.
I cannot tell you why it breaks but I can ask a couple of question to
make the situation clearer for me.
You are starting two instances of L4Linux. Looks like one is failing
because it wants to request some device resource which was already
requested by the other L4Linux. Did you use different configuration for
both builds?
Does only one L4Linux work?
You may want to add 'console=ttyLv0' to the kernel command line to see
more output of L4Linux on the serial console.  What does it show?
Please start with a simple configuration and make it more complicated
step by step.
...
Roottask: Loading 19 modules.
#05: loading 
"/boot/DDL4/l4v2/events"
&nbsp;&nbsp;&nbsp;&nbsp; from [0212d000-021731cc] to 
[01540000-015491e4][0154a000-0154c954]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
0005b370 via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c3fe000-7c400000] (8kB), lines at [7c3f7000-7c3fe000] (28kB)
#06: loading 
"/boot/DDL4/l4v2/names --events"
&nbsp;&nbsp;&nbsp;&nbsp; from 
[02174000-021b662e] to 
[002d0000-002d616a][002d7000-002e3000]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
0005c378 via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c3f5000-7c3f7000] (8kB), lines at [7c3ef000-7c3f5000] (24kB)
#07: loading 
"/boot/DDL4/l4v2/log --prio 0xA1"
&nbsp;&nbsp;&nbsp;&nbsp; from 
[021b7000-021f6177] to 
[00400000-00406c4a][00407000-004398b0]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
0005d378 via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c3ed000-7c3ef000] (8kB), lines at [7c3e7000-7c3ed000] (24kB)
#08: loading 
"/boot/DDL4/l4v2/dm_phys --events"
&nbsp;&nbsp;&nbsp;&nbsp; from 
[021f7000-02284e59] to 
[01500000-015120ca][01513000-0151d000]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
0005e37c via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c3e2000-7c3e7000] (20kB), lines at [7c3d5000-7c3e2000] (52kB)
#09: loading 
"/boot/DDL4/l4v2/simple_ts -t 400 --events"
&nbsp;&nbsp;&nbsp;&nbsp; from 
[02285000-022d1ea9] to 
[01400000-014086ca][01409000-0141b070]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
0005f384 via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c3d3000-7c3d5000] (8kB), lines at [7c3cc000-7c3d3000] (28kB)
#0a: loading 
"/boot/DDL4/l4v2/rtc"
&nbsp;&nbsp;&nbsp;&nbsp; from [022d2000-02304842] to 
[01080000-01084200][01085000-0108a000]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
0006136c via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c3ca000-7c3cc000] (8kB), lines at [7c3c6000-7c3ca000] (16kB)
#0b: loading 
"/boot/DDL4/l4v2/l4io --noirq"
&nbsp;&nbsp;&nbsp;&nbsp; from 
[02305000-02552c4e] to 
[00b80000-00ba29e4][00ba3000-00c0e000]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
00062378 via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c377000-7c3c6000] (316kB), lines at [7c35d000-7c377000] (104k)
#0c: loading 
"/boot/DDL4/l4v2/bmodfs"
&nbsp;&nbsp;&nbsp;&nbsp; from [02553000-025f4b22] to 
[01220000-01235524][01236000-01256000]
&nbsp;&nbsp;&nbsp;&nbsp; passing 
module /boot/DDL4/l4v2/libloader.s.so&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
[ 025f5000-026971bd ]
&nbsp;&nbsp;&nbsp;&nbsp; passing module 
/boot/DDL4/l4v2/libld-l4.s.so&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; [ 
02698000-02711019 ]
&nbsp;&nbsp;&nbsp;&nbsp; passing module 
/boot/DDL4/l4v2/run&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
[ 02712000-02759ef4 ]
&nbsp;&nbsp;&nbsp;&nbsp; passing module 
/boot/DDL4/cfg/run.bmodfs.cfg&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; [ 
0275a000-0275a078 ]
&nbsp;&nbsp;&nbsp;&nbsp; passing module 
/boot/DDL4/linux/vmlinuz26.ddosnet&nbsp;&nbsp;&nbsp; [ 0275b000-035ad0e7 
]
&nbsp;&nbsp;&nbsp;&nbsp; passing module 
/boot/DDL4/linux/vmlinuz26.vt&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; [ 
035ae000-043cb06e ]
&nbsp;&nbsp;&nbsp;&nbsp; passing module 
/boot/DDL4/cfg/l4linux26_net.cfg&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; [ 
043cc000-043cc0b0 ]
&nbsp;&nbsp;&nbsp;&nbsp; passing module 
/boot/DDL4/cfg/l4linux26_vt.cfg&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; [ 
043cd000-043cd05e ]
&nbsp;&nbsp;&nbsp;&nbsp; passing module 
/boot/DDL4/cfg/tty.rd&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
[ 043ce000-04dce000 ]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 00063514 via 
trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at [7c358000-7c35d000] 
(20kB), lines at [7c347000-7c358000] (68kB)
#0d: loading "/boot/DDL4/l4v2/con 
--l4io --events"
&nbsp;&nbsp;&nbsp;&nbsp; from [04dce000-04f5df2b] to 
[00b00000-00b4d0a0][00b4e000-00b79000]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
0006437c via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c33a000-7c347000] (52kB), lines at [7c306000-7c33a000] (208kB)
#0e: loading 
"/boot/DDL4/l4v2/loader --events --fprov=BMODFS run.bmodfs.cfg 
l4l"
&nbsp;&nbsp;&nbsp;&nbsp; from [04f5e000-050364fd] to 
[01300000-01324f28][01325000-0134e000]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
000653bc via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c300000-7c306000] (24kB), lines at [7c2e8000-7c300000] (96kB)
names&nbsp;&nbsp; | Starting thread listening for `exit' events
simplets| 
Configured for 400 tasks.
rtc&nbsp;&nbsp;&nbsp;&nbsp; | Date:14.03.2007 
Time:16:15:02
bmodfs&nbsp; | Passed the following modules:
bmodfs&nbsp; 
|&nbsp;&nbsp; module "/boot/DDL4/l4v2/libloader.s.so" (649kB)
bmodfs&nbsp; 
|&nbsp;&nbsp; module "/boot/DDL4/l4v2/libld-l4.s.so" (485kB)
bmodfs&nbsp; 
|&nbsp;&nbsp; module "/boot/DDL4/l4v2/run" (288kB)
bmodfs&nbsp; |&nbsp;&nbsp; 
module "/boot/DDL4/cfg/run.bmodfs.cfg" (1kB)
bmodfs&nbsp; |&nbsp;&nbsp; 
module "/boot/DDL4/linux/vmlinuz26.ddosnet" (14665kB)
bmodfs&nbsp; 
|&nbsp;&nbsp; module "/boot/DDL4/linux/vmlinuz26.vt" (14453kB)
bmodfs&nbsp; 
|&nbsp;&nbsp; module "/boot/DDL4/cfg/l4linux26_net.cfg" (1kB)
bmodfs&nbsp; 
|&nbsp;&nbsp; module "/boot/DDL4/cfg/l4linux26_vt.cfg" (1kB)
bmodfs&nbsp; 
|&nbsp;&nbsp; module "/boot/DDL4/cfg/tty.rd" 
(10240kB)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | do_args(): Disabling internal 
IRQ handling.
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | CPU supports 8 MTRRs. 
Allocated:
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 0: 
00000000-80000000 (2048MB) type WB
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp; 1: 7ff80000-80000000 (&nbsp;&nbsp; 1MB) type 
UC
con&nbsp;&nbsp;&nbsp;&nbsp; | Using fast memcpy.
loader&nbsp; | run: 
Starting application using libld-l4.s.so
loader&nbsp; | run,#f: Loading 
binary
loader&nbsp; | run,#f: Loading ldso
loader&nbsp; | Capability 
support not supported.
loader&nbsp; | run,#f: Starting libld-l4.s.so at 
00013890 via 0000cc80
loader&nbsp; | sleeping for 1000 
ms
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | PCI: Using configuration type 
1
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | PCI: Probing PCI 
hardware
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | PCI: Probing PCI hardware (bus 
00)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | PCI: Ignoring BAR0-3 of IDE controller 
00:1f.1
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | Transparent bridge - Intel 
Corporation 82801 PCI Bridge
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | PCI: Enabling 
device 00:1f.1 (0005 -&gt; 0007)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | PCI: No 
IRQ known for interrupt pin B of device 00:1f.3. Please try 
u
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : sing 
pci=biosirq.
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | 00000000-ffffffff : PCI 
mem
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 80000000-800003ff : Intel 
Corporation 82801CA Ultra ATA Storage Con
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : 
troller
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; fc100000-fc2fffff : 
PCI Bus #01
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 
fc100000-fc100fff : Intel Corporation 82870P2 P64H2 
I/OxAPIC
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 
fc101000-fc101fff : Intel Corporation 82870P2 P64H2 I/OxAPIC 
(#2)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 
fc200000-fc2fffff : PCI Bus #03
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; fc200000-fc21ffff : Intel Corporation 
82546EB Gigabit Ethernet
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : Controller 
(Copper)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; fc220000-fc23ffff : Intel Corporation 
82546EB Gigabit Ethernet
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : Controller 
(Copper) (#2)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 
fc300000-fc6fffff : PCI Bus #04
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp; fc300000-fc300fff : Intel Corporation 82870P2 P64H2 
I/OxAPIC (#3)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 
fc301000-fc301fff : Intel Corporation 82870P2 P64H2 I/OxAPIC 
(#4)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 
fc400000-fc5fffff : PCI Bus #05
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; fc400000-fc400fff : Intel Corporation 
82557/8/9 [Ethernet Pro 1
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : 
00]
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
fc500000-fc5fffff : Intel Corporation 82557/8/9 [Ethernet Pro 
1
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : 00]
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp; fc600000-fc6fffff : PCI Bus 
#06
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
fc600000-fc601fff : Adaptec AIC-7902B U320
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; fc602000-fc603fff : Adaptec AIC-7902B U320 
(#2)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; fc700000-fc700fff : ATI 
Technolog0000-ffff : PCI IO
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 
0cf8-0cff : PCI conf1
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 
1100-111f : Intel Corporation 82801CA/CAM SMBus 
Controller
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 2000-201f : Intel 
Corporation 82801CA/CAM USB (Hub #1)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp; 2020-203f : Intel Corporation 82801CA/CAM USB (Hub 
#2)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 2040-205f : Intel 
Corporation 82801CA/CAM USB (Hub #3)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp; 2060-206f : Intel Corporation 82801CA Ultra ATA Storage 
Controller
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 3000-3fff : PCI Bus 
#01
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 3000-3fff : 
PCI Bus #03
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 3000-303f : Intel Corporation 82546EB 
Gigabit Ethernet Controll
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : er 
(Copper)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 3040-307f : Intel Corporation 82546EB 
Gigabit Ethernet Controll
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : er (Copper) 
(#2)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 4000-5fff : PCI Bus 
#04
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 4000-4fff : 
PCI Bus #05
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 4000-40ff : PCI device 
177d:0001
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 4400-44ff : PCI device 
177d:0001
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 4800-483f : Intel Corporation 82557/8/9 
[Ethernet Pro 100]
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 
5000-5fff : PCI Bus #06
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 5000-50ff : Adaptec AIC-7902B 
U320
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
5400-54ff : Adaptec AIC-7902B U320
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 5800-58ff : Adaptec AIC-7902B U320 
(#2)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
5c00-5cff : Adaptec AIC-7902B U320 (#2)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp; 6000-60ff : ATI Technologies Inc Rage 
XL
con&nbsp;&nbsp;&nbsp;&nbsp; | Character size is 8x14, font has 256 
characters
con&nbsp;&nbsp;&nbsp;&nbsp; | VESA reports 
1024x768@16
 2048bpl (00bb) 
[8128kB]
con&nbsp;&nbsp;&nbsp;&nbsp; | Color mapping: red=11:5 green=5:6 
blue=0:5 res=0:0
con&nbsp;&nbsp;&nbsp;&nbsp; | Mapped I/O ctrl mem fc700000 
=&gt; 02300000+000000 [4kB] via l4io
con&nbsp;&nbsp;&nbsp;&nbsp; | Found ATI 
3D RAGE (XL) [0x4752 rev 0x27] (PCI 07/08)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | 
Remapping I/O memory fd000000-fd7f0000 
cached
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | Setting MTRR 2 to fd000000-fd800000 
type WC
con&nbsp;&nbsp;&nbsp;&nbsp; | Mapped I/O video mem fd000000 =&gt; 
03000000+000000 [8128kB] via l4io
con&nbsp;&nbsp;&nbsp;&nbsp; | Backend 
scaler: no, color keying: no
con&nbsp;&nbsp;&nbsp;&nbsp; | Using MMXEXT for 
colorspace transform
con&nbsp;&nbsp;&nbsp;&nbsp; | 
L4INPUT:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
!!! W A R N I N G !!!
con&nbsp;&nbsp;&nbsp;&nbsp; | L4INPUT:&nbsp; Please, do 
not use Fiasco's "-esc" with L4INPUT.
con&nbsp;&nbsp;&nbsp;&nbsp; | 
L4INPUT:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
!!! W A R N I N G !!!
con&nbsp;&nbsp;&nbsp;&nbsp; | L4INPUT: Registered 
0xb03c50 for callbacks.
con&nbsp;&nbsp;&nbsp;&nbsp; | serio: i8042 AUX port 
at 0x60,0x64 irq 12
con&nbsp;&nbsp;&nbsp;&nbsp; | serio: i8042 KBD port at 
0x60,0x64 irq 1
con&nbsp;&nbsp;&nbsp;&nbsp; | input: ImExPS/2 Generic 
Explorer Mouse on isa0060/serio1
con&nbsp;&nbsp;&nbsp;&nbsp; | input: AT 
Translated Set 2 keyboard on isa0060/serio0
con&nbsp;&nbsp;&nbsp;&nbsp; | 
input: PC Speaker
con&nbsp;&nbsp;&nbsp;&nbsp; | input: L4 input event 
injector
con&nbsp;&nbsp;&nbsp;&nbsp; | L4 input event injector: IRQ handler 
up
con&nbsp;&nbsp;&nbsp;&nbsp; | connect "ImExPS/2 Generic Explorer Mouse", 
isa0060/serio1/input0
con&nbsp;&nbsp;&nbsp;&nbsp; | connect "AT Translated 
Set 2 keyboard", isa0060/serio0/input0
con&nbsp;&nbsp;&nbsp;&nbsp; | connect 
"PC Speaker", isa0061/input0
con&nbsp;&nbsp;&nbsp;&nbsp; | connect "L4 input 
event injector", l4/sys
con&nbsp;&nbsp;&nbsp;&nbsp; | Running as D.02. Video 
mode is 
1024x768@16
.
con&nbsp;&nbsp;&nbsp;&nbsp; | 
vc_loop(): vc[1] running as D.08
con&nbsp;&nbsp;&nbsp;&nbsp; | vc_open_out(): 
vc[1] 
1024x768@16
, 
gmode:0x35
run&nbsp;&nbsp;&nbsp;&nbsp; | contxt_init(): 1024x750, cols:128, 
lines:53, sb_lines:1053
loader&nbsp; | vmlinuz26.ddosnet: Starting 
application using libld-l4.s.so
loader&nbsp; | vmlinuz26.ddosnet,#10: Loading 
binary
loader&nbsp; | vmlinuz26.ddosnet,#10: Loading ldso
loader&nbsp; | 
Capability support not supported.
loader&nbsp; | vmlinuz26.ddosnet,#10: 
Starting libld-l4.s.so at 00013890 via 0000cc1
loader&nbsp; : 
c
loader&nbsp; | sleeping for 30000 ms
l4lx&nbsp;&nbsp;&nbsp; | ======&gt; 
L4Linux 2.6 starting... &lt;========
l4lx&nbsp;&nbsp;&nbsp; | Linux version 
2.6.19-l4 (
root@dup.postech.ac.kr
) 
(gcc version 3.4.6)
l4lx&nbsp;&nbsp;&nbsp; : #1 Thu Mar 8 15:30:29 KST 
2007
l4lx&nbsp;&nbsp;&nbsp; | Binary name: 
vmlinuz26.ddosnet
l4lx&nbsp;&nbsp;&nbsp; | Kernel command line (8 args): 
mem=32M noreplacement root=1:0 load_ram
l4lx&nbsp;&nbsp;&nbsp; : disk=1 
ramdisk_size=10240 l4env_rd=tty.rd panicblink=0 
lang=us
l4lx&nbsp;&nbsp;&nbsp; | Image: 00400000 - 0072d000 [3252 
KiB].
l4lx&nbsp;&nbsp;&nbsp; | Areas: Text:&nbsp;&nbsp;&nbsp;&nbsp; 00400000

00643000 [2316kB] (a bit longer)

l4lx&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Data:&nbsp;&nbsp;&nbsp;&nbsp; 
00643000 - 0068808c [276kB]
l4lx&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Initdata: 0068c000 - 006c2000 
[216kB]
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
BSS:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 006c4000 - 0072b7a0 
[413kB]
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 10.03 
(server)
l4lx&nbsp;&nbsp;&nbsp; | main thread will be 
10.03
l4lx&nbsp;&nbsp;&nbsp; | l4env_register_pointer_section: addr = 
0068a000 size = 233472
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
sec-w-init: virt: 0x0068a000 to 0x006c2fff [228 KiB]
l4lx&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; sec-w-init: Number of physical regions: 1, 
233472 Bytes
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
sec-w-init: 1: Phys: 0x0148c000 to 0x014c5000, Size:&nbsp;&nbsp; 
233472
l4lx&nbsp;&nbsp;&nbsp; | l4env_linux_startup thread 
3.
l4lx&nbsp;&nbsp;&nbsp; | main thread: received startup 
message.
l4lx&nbsp;&nbsp;&nbsp; | Main thread running, 
waiting...
l4lx&nbsp;&nbsp;&nbsp; | setup_l4env_memory: Forcing superpages 
for main memory
l4lx&nbsp;&nbsp;&nbsp; | Main memory size: 
32MB
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; Main memory: virt: 
0x00800000 to 0x027fffff [32768 KiB]
l4lx&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp; Main memory: Number of physical regions: 1, 33554432 
Bytes
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; Main memory: 1: Phys: 
0x7a000000 to 0x7c000000, Size: 33554432
l4lx&nbsp;&nbsp;&nbsp; | Filling 
lower ptabs...
l4lx&nbsp;&nbsp;&nbsp; | Done (1104 
entries).
l4lx&nbsp;&nbsp;&nbsp; | l4env_rd_path: 
tty.rd
l4lx&nbsp;&nbsp;&nbsp; | Loading: tty.rd
l4lx&nbsp;&nbsp;&nbsp; | 
INITRD: Size of RAMdisk is 10240KiB
l4lx&nbsp;&nbsp;&nbsp; | RAMdisk from 
02800000 to 03200000 [10240KiB]
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: 
Created thread 10.04 (timer.i0)
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: 
Created thread 10.05 (Idler)
l4lx&nbsp;&nbsp;&nbsp; | Starting L4FB via 
CON
con&nbsp;&nbsp;&nbsp;&nbsp; | vc_loop(): vc[2] running as 
D.09
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 10.06 
(L4ConInput)
con&nbsp;&nbsp;&nbsp;&nbsp; | vc_open_out(): vc[2] 
1024x768@16
, gmode:0x35
l4lx&nbsp;&nbsp;&nbsp; 
| l4fbcon: 1024x750 2bypp, size: 1540096
l4lx&nbsp;&nbsp;&nbsp; | 
l4lx_thread_create: Created thread 10.07 (CON 
refresher)
l4lx&nbsp;&nbsp;&nbsp; | DDOS : [eth0]&nbsp; card found with 
00:30:48:27:E3:AC, IRQ 0
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created 
thread 10.08 (IRQ11)
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created 
thread 10.09 (DDOSnetMain)
loader&nbsp; | vmlinuz26.vt: Starting application 
using libld-l4.s.so
loader&nbsp; | vmlinuz26.vt,#1a: Loading 
binary
loader&nbsp; | vmlinuz26.vt,#1a: Loading ldso
loader&nbsp; | 
Capability support not supported.
loader&nbsp; | vmlinuz26.vt,#1a: Starting 
libld-l4.s.so at 00013890 via 0000cc6c
l4lx&nbsp;&nbsp;&nbsp; | ======&gt; 
L4Linux 2.6 starting... &lt;========
l4lx&nbsp;&nbsp;&nbsp; | Linux version 
2.6.19-l4 (
root@dup.postech.ac.kr
) 
(gcc version 3.4.6)
l4lx&nbsp;&nbsp;&nbsp; : #5 Thu Mar 8 19:38:18 KST 
2007
l4lx&nbsp;&nbsp;&nbsp; | Binary name: 
vmlinuz26.vt
l4lx&nbsp;&nbsp;&nbsp; | Kernel command line (2 args): mem=512M 
root=/dev/hda1
l4lx&nbsp;&nbsp;&nbsp; | Image: 00400000 - 0071a000 [3176 
KiB].
l4lx&nbsp;&nbsp;&nbsp; | Areas: Text:&nbsp;&nbsp;&nbsp;&nbsp; 00400000

00635000 [2260kB] (a bit longer)

l4lx&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Data:&nbsp;&nbsp;&nbsp;&nbsp; 
00635000 - 0067908c [272kB]
l4lx&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Initdata: 0067c000 - 006ac000 
[192kB]
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
BSS:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 006ae000 - 007184d0 
[425kB]
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 1a.03 
(tamer)
l4lx&nbsp;&nbsp;&nbsp; | Using tamed mode.
l4lx&nbsp;&nbsp;&nbsp; 
| l4lx_thread_create: Created thread 1a.04 (server)
l4lx&nbsp;&nbsp;&nbsp; | 
main thread will be 1a.04
l4lx&nbsp;&nbsp;&nbsp; | 
l4env_register_pointer_section: addr = 00635000 size = 
491520
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; sec-w-init: 
virt: 0x00635000 to 0x006acfff [480 KiB]
l4lx&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; sec-w-init: Number of physical regions: 1, 
491520 Bytes
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
sec-w-init: 1: Phys: 0x00e63000 to 0x00edb000, Size:&nbsp;&nbsp; 
491520
l4lx&nbsp;&nbsp;&nbsp; | l4env_linux_startup thread 
4.
l4lx&nbsp;&nbsp;&nbsp; | main thread: received startup 
message.
l4lx&nbsp;&nbsp;&nbsp; | Main thread running, 
waiting...
l4lx&nbsp;&nbsp;&nbsp; | setup_l4env_memory: Forcing superpages 
for main memory
l4lx&nbsp;&nbsp;&nbsp; | Main memory size: 
512MB
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; Main memory: virt: 
0x00800000 to 0x207fffff [524288 KiB]
l4lx&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp; Main memory: Number of physical regions: 1, 536870912 
Bytes
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; Main memory: 1: Phys: 
0x5a000000 to 0x7a000000, Size: 536870912
l4lx&nbsp;&nbsp;&nbsp; | Filling 
lower ptabs...
l4lx&nbsp;&nbsp;&nbsp; | Done (1122 
entries).
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 1a.05 
(timer.i0)
&nbsp;&nbsp;&nbsp; --l4io_request_mem_region 
error--------------------------IP: 0040f98b
(1a.04) jdb: 
g
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 1a.06 
(Idler)
l4lx&nbsp;&nbsp;&nbsp; | Starting L4FB via 
CON
con&nbsp;&nbsp;&nbsp;&nbsp; | vc_loop(): vc[3] running as 
D.0A
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 1a.07 
(L4ConInput)
con&nbsp;&nbsp;&nbsp;&nbsp; | vc_open_out(): vc[3] 
1024x768@16
, gmode:0x35
l4lx&nbsp;&nbsp;&nbsp; 
| l4fbcon: 1024x750 2bypp, size: 1540096
l4lx&nbsp;&nbsp;&nbsp; | 
l4lx_thread_create: Created thread 1a.08 (CON 
refresher)
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 10.0a 
(PosDDOSNetWorker)
l4lx&nbsp;&nbsp;&nbsp; | DDOS : main thread sleep 
forerver.
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 1a.09 
(IRQ14)
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 1a.0a 
(IRQ15)
l4lx&nbsp;&nbsp;&nbsp; | Terminating L4Linux.
simplets| Exit 
1A.02
con&nbsp;&nbsp;&nbsp;&nbsp; | switch_vc(): switch to vc 02
Welcome to Fiasco(ia32)!
DD-L4(v2)/x86 microkernel (C) 1998-2006 TU 
Dresden
Rev: Wed Mar 14 03:48:02 2007 compiled with gcc 3.4.6 for Intel 
Pentium
Performance-critical config option(s) detected:
&nbsp; 
CONFIG_ASSEMBLER_IPC_SHORTCUT is off
&nbsp; CONFIG_NDEBUG is off
&nbsp; 
CONFIG_NO_FRAME_PTR is off
Enabling special fully nested mode for PIC
Using the PIT (i8254) on IRQ 0 
for scheduling
Absolute KIP Syscalls using: Sysenter
CPU: GenuineIntel 
(F:2:5:B) Model: Pentium 4 (Northwood/Prestonia) at 2799 MHz
&nbsp; 64 Entry I TLB (4K or 4M pages)
&nbsp; 64 Entry D TLB (4k or 4M 
pages)
&nbsp;12K ?ops T Cache (8-way associative)
&nbsp;&nbsp; 8 KB L1 D 
Cache (4-way associative, 64 bytes per line)
&nbsp;512 KB L2 U Cache (8-way 
associative, 64 bytes per line)
Freeing init code/data: 20480 bytes (5 pages)
Calibrating timer loop... done.
SIGMA0: Hello!
&nbsp; KIP @ 
1000
&nbsp; Found Fiasco: KIP syscalls: yes
&nbsp; allocated 4KB for 
maintenance structures
Roottask.
&nbsp; Command line found: "/boot/OrgL4/l4v2/roottask task 
modname "bmodfs" attached"
&nbsp;2095677kB (2046MB) total RAM (reported by 
bootloader)
&nbsp;2028708kB (1982MB) received RAM from Sigma0
&nbsp;&nbsp; 
26692kB (&nbsp; 27MB) reserved RAM for RMGR
&nbsp; Received I/O ports 
0000-ffff
&nbsp; Attached irqs = [ &lt;!0&gt; 1 &lt;!2&gt; 3 4 5 6 7 8 9 A B 
C D E F ]
Roottask: Parsing command line config.
&nbsp; configured task 0x00 
(bmodfs):
&nbsp;&nbsp;&nbsp; vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff 
prio:10 small:ff mods:6
Roottask: Loading 16 modules.
#05: loading 
"/boot/OrgL4/l4v2/events"
&nbsp;&nbsp;&nbsp;&nbsp; from [0212d000-02173281] 
to [01540000-015491e4][0154a000-0154c954]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
0005b370 via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c3fe000-7c400000] (8kB), lines at [7c3f7000-7c3fe000] (28kB)
#06: loading 
"/boot/OrgL4/l4v2/names --events"
&nbsp;&nbsp;&nbsp;&nbsp; from 
[02174000-021b66db] to 
[002d0000-002d616a][002d7000-002e3000]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
0005c378 via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c3f5000-7c3f7000] (8kB), lines at [7c3ef000-7c3f5000] (24kB)
#07: loading 
"/boot/OrgL4/l4v2/log --prio 0xA1"
&nbsp;&nbsp;&nbsp;&nbsp; from 
[021b7000-021f621c] to 
[00400000-00406c4a][00407000-004398b0]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
0005d37c via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c3ed000-7c3ef000] (8kB), lines at [7c3e7000-7c3ed000] (24kB)
#08: loading 
"/boot/OrgL4/l4v2/dm_phys --events"
&nbsp;&nbsp;&nbsp;&nbsp; from 
[021f7000-02284f46] to 
[01500000-015120ea][01513000-0151d000]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
0005e37c via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c3e2000-7c3e7000] (20kB), lines at [7c3d5000-7c3e2000] (52kB)
#09: loading 
"/boot/OrgL4/l4v2/simple_ts -t 300 --events"
&nbsp;&nbsp;&nbsp;&nbsp; from 
[02285000-022d1f5a] to 
[01400000-014086ca][01409000-0141b070]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
0005f384 via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c3d3000-7c3d5000] (8kB), lines at [7c3cc000-7c3d3000] (28kB)
#0a: loading 
"/boot/OrgL4/l4v2/rtc"
&nbsp;&nbsp;&nbsp;&nbsp; from [022d2000-023048c7] to 
[01080000-01084200][01085000-0108a000]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
00061370 via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c3ca000-7c3cc000] (8kB), lines at [7c3c6000-7c3ca000] (16kB)
#0b: loading 
"/boot/OrgL4/l4v2/l4io --noirq"
&nbsp;&nbsp;&nbsp;&nbsp; from 
[02305000-02552e67] to 
[00b80000-00ba2a08][00ba3000-00c0e000]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
00062378 via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c377000-7c3c6000] (316kB), lines at [7c35d000-7c377000] (104k)
#0c: loading 
"/boot/OrgL4/l4v2/bmodfs"
&nbsp;&nbsp;&nbsp;&nbsp; from [02553000-025f4c5b] 
to [01220000-01235544][01236000-01256000]
&nbsp;&nbsp;&nbsp;&nbsp; passing 
module /boot/OrgL4/l4v2/libloader.s.so&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; [ 
025f5000-026972c6 ]
&nbsp;&nbsp;&nbsp;&nbsp; passing module 
/boot/OrgL4/l4v2/libld-l4.s.so&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; [ 
02698000-027110ad ]
&nbsp;&nbsp;&nbsp;&nbsp; passing module 
/boot/OrgL4/l4v2/run&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
[ 02712000-02759f9a ]
&nbsp;&nbsp;&nbsp;&nbsp; passing module 
/boot/OrgL4/cfg/run.bmodfs.cfg&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; [ 
0275a000-0275a025 ]
&nbsp;&nbsp;&nbsp;&nbsp; passing module 
/boot/OrgL4/linux/vmlinuz26&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
[ 0275b000-0373333e ]
&nbsp;&nbsp;&nbsp;&nbsp; passing module 
/boot/OrgL4/cfg/l4linux26.cfg&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; [ 
03734000-03734056 ]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 00063484 via trampoline 
page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at [7c358000-7c35d000] (20kB), 
lines at [7c347000-7c358000] (68kB)
#0d: loading "/boot/OrgL4/l4v2/con --l4io 
--events"
&nbsp;&nbsp;&nbsp;&nbsp; from [03735000-038c5116] to 
[00b00000-00b4d0e0][00b4e000-00b79000]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
00064380 via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c33a000-7c347000] (52kB), lines at [7c306000-7c33a000] (208kB)
#0e: loading 
"/boot/OrgL4/l4v2/loader --events --fprov=BMODFS run.bmodfs.cfg 
l4"
&nbsp;&nbsp;&nbsp;&nbsp; from [038c6000-0399e68a] to 
[01300000-01324f28][01325000-0134e000]
&nbsp;&nbsp;&nbsp;&nbsp; entry at 
000653a8 via trampoline page code
&nbsp;&nbsp;&nbsp;&nbsp; symbols at 
[7c300000-7c306000] (24kB), lines at [7c2e8000-7c300000] (96kB)
names&nbsp;&nbsp; | Starting thread listening for `exit' events
simplets| 
Configured for 300 tasks.
rtc&nbsp;&nbsp;&nbsp;&nbsp; | Date:14.03.2007 
Time:16:17:09
bmodfs&nbsp; | Passed the following modules:
bmodfs&nbsp; 
|&nbsp;&nbsp; module "/boot/OrgL4/l4v2/libloader.s.so" (649kB)
bmodfs&nbsp; 
|&nbsp;&nbsp; module "/boot/OrgL4/l4v2/libld-l4.s.so" (485kB)
bmodfs&nbsp; 
|&nbsp;&nbsp; module "/boot/OrgL4/l4v2/run" (288kB)
bmodfs&nbsp; 
|&nbsp;&nbsp; module "/boot/OrgL4/cfg/run.bmodfs.cfg" (1kB)
bmodfs&nbsp; 
|&nbsp;&nbsp; module "/boot/OrgL4/linux/vmlinuz26" (16225kB)
bmodfs&nbsp; 
|&nbsp;&nbsp; module "/boot/OrgL4/cfg/l4linux26.cfg" 
(1kB)
con&nbsp;&nbsp;&nbsp;&nbsp; | Using fast 
memcpy.
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | do_args(): Disabling internal IRQ 
handling.
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | CPU supports 8 MTRRs. 
Allocated:
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 0: 
00000000-80000000 (2048MB) type WB
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp; 1: 7ff80000-80000000 (&nbsp;&nbsp; 1MB) type UC
loader&nbsp; | 
run: Starting application using libld-l4.s.so
loader&nbsp; | run,#f: Loading 
binary
loader&nbsp; | run,#f: Loading ldso
loader&nbsp; | Capability 
support not supported.
loader&nbsp; | run,#f: Starting libld-l4.s.so at 
00013890 via 0000cc80
loader&nbsp; | sleeping for 2000 
ms
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | PCI: Using configuration type 
1
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | PCI: Probing PCI 
hardware
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | PCI: Probing PCI hardware (bus 
00)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | PCI: Ignoring BAR0-3 of IDE controller 
00:1f.1
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | Transparent bridge - Intel 
Corporation 82801 PCI Bridge
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | PCI: Enabling 
device 00:1f.1 (0005 -&gt; 0007)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | PCI: No 
IRQ known for interrupt pin B of device 00:1f.3. Please try 
u
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : sing 
pci=biosirq.
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | 00000000-ffffffff : PCI 
mem
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 80000000-800003ff : Intel 
Corporation 82801CA Ultra ATA Storage Con
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : 
troller
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; fc100000-fc2fffff : 
PCI Bus #01
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 
fc100000-fc100fff : Intel Corporation 82870P2 P64H2 
I/OxAPIC
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 
fc101000-fc101fff : Intel Corporation 82870P2 P64H2 I/OxAPIC 
(#2)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 
fc200000-fc2fffff : PCI Bus #03
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; fc200000-fc21ffff : Intel Corporation 
82546EB Gigabit Ethernet
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : Controller 
(Copper)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; fc220000-fc23ffff : Intel Corporation 
82546EB Gigabit Ethernet
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : Controller 
(Copper) (#2)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 
fc300000-fc6fffff : PCI Bus #04
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp; fc300000-fc300fff : Intel Corporation 82870P2 P64H2 
I/OxAPIC (#3)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 
fc301000-fc301fff : Intel Corporation 82870P2 P64H2 I/OxAPIC 
(#4)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 
fc400000-fc5fffff : PCI Bus #05
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; fc400000-fc400fff : Intel Corporation 
82557/8/9 [Ethernet Pro 1
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : 
00]
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
fc500000-fc5fffff : Intel Corporation 82557/8/9 [Ethernet Pro 
1
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : 00]
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp; fc600000-fc6fffff : PCI Bus 
#06
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
fc600000-fc601fff : Adaptec AIC-7902B U320
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; fc602000-fc603fff : Adaptec AIC-7902B U320 
(#2)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; fc700000-fc700fff : ATI 
Technolog0000-ffff : PCI IO
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 
0cf8-0cff : PCI conf1
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 
1100-111f : Intel Corporation 82801CA/CAM SMBus 
Controller
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 2000-201f : Intel 
Corporation 82801CA/CAM USB (Hub #1)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp; 2020-203f : Intel Corporation 82801CA/CAM USB (Hub 
#2)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 2040-205f : Intel 
Corporation 82801CA/CAM USB (Hub #3)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp; 2060-206f : Intel Corporation 82801CA Ultra ATA Storage 
Controller
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 3000-3fff : PCI Bus 
#01
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 3000-3fff : 
PCI Bus #03
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 3000-303f : Intel Corporation 82546EB 
Gigabit Ethernet Controll
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : er 
(Copper)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 3040-307f : Intel Corporation 82546EB 
Gigabit Ethernet Controll
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; : er (Copper) 
(#2)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp; 4000-5fff : PCI Bus 
#04
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 4000-4fff : 
PCI Bus #05
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 4000-40ff : PCI device 
177d:0001
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 4400-44ff : PCI device 
177d:0001
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 4800-483f : Intel Corporation 82557/8/9 
[Ethernet Pro 100]
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; 
5000-5fff : PCI Bus #06
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 5000-50ff : Adaptec AIC-7902B 
U320
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
5400-54ff : Adaptec AIC-7902B U320
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 5800-58ff : Adaptec AIC-7902B U320 
(#2)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
5c00-5cff : Adaptec AIC-7902B U320 (#2)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp; 6000-60ff : ATI Technologies Inc Rage 
XL
con&nbsp;&nbsp;&nbsp;&nbsp; | Character size is 8x14, font has 256 
characters
con&nbsp;&nbsp;&nbsp;&nbsp; | VESA reports 
1024x768@16
 2048bpl (00bb) 
[8128kB]
con&nbsp;&nbsp;&nbsp;&nbsp; | Color mapping: red=11:5 green=5:6 
blue=0:5 res=0:0
con&nbsp;&nbsp;&nbsp;&nbsp; | Mapped I/O ctrl mem fc700000 
=&gt; 02300000+000000 [4kB] via l4io
con&nbsp;&nbsp;&nbsp;&nbsp; | Found ATI 
3D RAGE (XL) [0x4752 rev 0x27] (PCI 07/08)
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | 
Remapping I/O memory fd000000-fd7f0000 
cached
io&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | Setting MTRR 2 to fd000000-fd800000 
type WC
con&nbsp;&nbsp;&nbsp;&nbsp; | Mapped I/O video mem fd000000 =&gt; 
03000000+000000 [8128kB] via l4io
con&nbsp;&nbsp;&nbsp;&nbsp; | Backend 
scaler: no, color keying: no
con&nbsp;&nbsp;&nbsp;&nbsp; | Using MMXEXT for 
colorspace transform
con&nbsp;&nbsp;&nbsp;&nbsp; | 
L4INPUT:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
!!! W A R N I N G !!!
con&nbsp;&nbsp;&nbsp;&nbsp; | L4INPUT:&nbsp; Please, do 
not use Fiasco's "-esc" with L4INPUT.
con&nbsp;&nbsp;&nbsp;&nbsp; | 
L4INPUT:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
!!! W A R N I N G !!!
con&nbsp;&nbsp;&nbsp;&nbsp; | L4INPUT: Registered 
0xb03c50 for callbacks.
con&nbsp;&nbsp;&nbsp;&nbsp; | serio: i8042 AUX port 
at 0x60,0x64 irq 12
con&nbsp;&nbsp;&nbsp;&nbsp; | serio: i8042 KBD port at 
0x60,0x64 irq 1
con&nbsp;&nbsp;&nbsp;&nbsp; | input: ImExPS/2 Generic 
Explorer Mouse on isa0060/serio1
con&nbsp;&nbsp;&nbsp;&nbsp; | input: AT 
Translated Set 2 keyboard on isa0060/serio0
con&nbsp;&nbsp;&nbsp;&nbsp; | 
input: PC Speaker
con&nbsp;&nbsp;&nbsp;&nbsp; | input: L4 input event 
injector
con&nbsp;&nbsp;&nbsp;&nbsp; | L4 input event injector: IRQ handler 
up
con&nbsp;&nbsp;&nbsp;&nbsp; | connect "ImExPS/2 Generic Explorer Mouse", 
isa0060/serio1/input0
con&nbsp;&nbsp;&nbsp;&nbsp; | connect "AT Translated 
Set 2 keyboard", isa0060/serio0/input0
con&nbsp;&nbsp;&nbsp;&nbsp; | connect 
"PC Speaker", isa0061/input0
con&nbsp;&nbsp;&nbsp;&nbsp; | connect "L4 input 
event injector", l4/sys
con&nbsp;&nbsp;&nbsp;&nbsp; | Running as D.02. Video 
mode is 
1024x768@16
.
con&nbsp;&nbsp;&nbsp;&nbsp; | 
vc_loop(): vc[1] running as D.08
con&nbsp;&nbsp;&nbsp;&nbsp; | vc_open_out(): 
vc[1] 
1024x768@16
, 
gmode:0x35
run&nbsp;&nbsp;&nbsp;&nbsp; | contxt_init(): 1024x750, cols:128, 
lines:53, sb_lines:1053
loader&nbsp; | vmlinuz26: Starting application using 
libld-l4.s.so
loader&nbsp; | vmlinuz26,#10: Loading binary
loader&nbsp; | 
vmlinuz26,#10: Loading ldso
loader&nbsp; | Capability support not 
supported.
loader&nbsp; | vmlinuz26,#10: Starting libld-l4.s.so at 00013890 
via 0000cc70
l4lx&nbsp;&nbsp;&nbsp; | ======&gt; L4Linux 2.6 starting... 
&lt;========
l4lx&nbsp;&nbsp;&nbsp; | Linux version 2.6.19-l4 (
root@dup.postech.ac.kr
) (gcc version 
3.4.6)
l4lx&nbsp;&nbsp;&nbsp; : #1 Wed Mar 14 15:44:36 KST 
2007
l4lx&nbsp;&nbsp;&nbsp; | Binary name: 
vmlinuz26
l4lx&nbsp;&nbsp;&nbsp; | Kernel command line (2 args): mem=128M 
root=/dev/hda1
l4lx&nbsp;&nbsp;&nbsp; | Image: 00400000 - 0078e000 [3640 
KiB].
l4lx&nbsp;&nbsp;&nbsp; | Areas: Text:&nbsp;&nbsp;&nbsp;&nbsp; 00400000

00695000 [2644kB] (a bit longer)

l4lx&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Data:&nbsp;&nbsp;&nbsp;&nbsp; 
00695000 - 006e308c [312kB]
l4lx&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Initdata: 006e6000 - 00720000 
[232kB]
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
BSS:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 00722000 - 0078c460 
[425kB]
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 10.03 
(tamer)
l4lx&nbsp;&nbsp;&nbsp; | Using tamed mode.
l4lx&nbsp;&nbsp;&nbsp; 
| l4lx_thread_create: Created thread 10.04 (server)
l4lx&nbsp;&nbsp;&nbsp; | 
main thread will be 10.04
l4lx&nbsp;&nbsp;&nbsp; | 
l4env_register_pointer_section: addr = 00695000 size = 
573440
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; sec-w-init: 
virt: 0x00695000 to 0x00720fff [560 KiB]
l4lx&nbsp;&nbsp;&nbsp; | 
Noncontiguous region for sec-w-init
l4lx&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; sec-w-init: Number of physical regions: 2, 
573440 Bytes
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
sec-w-init: 1: Phys: 0x002e3000 to 0x00307000, Size:&nbsp;&nbsp; 
147456
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; sec-w-init: 2: 
Phys: 0x01498000 to 0x01500000, Size:&nbsp;&nbsp; 
425984
l4lx&nbsp;&nbsp;&nbsp; | l4env_linux_startup thread 
4.
l4lx&nbsp;&nbsp;&nbsp; | main thread: received startup 
message.
l4lx&nbsp;&nbsp;&nbsp; | Main thread running, 
waiting...
l4lx&nbsp;&nbsp;&nbsp; | setup_l4env_memory: Forcing superpages 
for main memory
l4lx&nbsp;&nbsp;&nbsp; | Main memory size: 
128MB
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; Main memory: virt: 
0x00800000 to 0x087fffff [131072 KiB]
l4lx&nbsp;&nbsp;&nbsp; 
|&nbsp;&nbsp;&nbsp;&nbsp; Main memory: Number of physical regions: 1, 134217728 
Bytes
l4lx&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; Main memory: 1: Phys: 
0x74000000 to 0x7c000000, Size: 134217728
l4lx&nbsp;&nbsp;&nbsp; | Filling 
lower ptabs...
l4lx&nbsp;&nbsp;&nbsp; | Done (1006 
entries).
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 10.05 
(timer.i0)
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 10.06 
(Idler)
l4lx&nbsp;&nbsp;&nbsp; | Starting L4FB via 
CON
con&nbsp;&nbsp;&nbsp;&nbsp; | vc_loop(): vc[2] running as 
D.09
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 10.07 
(L4ConInput)
con&nbsp;&nbsp;&nbsp;&nbsp; | vc_open_out(): vc[2] 
1024x768@16
, gmode:0x35
l4lx&nbsp;&nbsp;&nbsp; 
| l4fbcon: 1024x750 2bypp, size: 1540096
l4lx&nbsp;&nbsp;&nbsp; | 
l4lx_thread_create: Created thread 10.08 (CON 
refresher)
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 10.09 
(IRQ14)
l4lx&nbsp;&nbsp;&nbsp; | l4lx_thread_create: Created thread 10.0a 
(IRQ15)
l4lx&nbsp;&nbsp;&nbsp; | Terminating L4Linux.
simplets| Exit 
10.02
con&nbsp;&nbsp;&nbsp;&nbsp; | switch_vc(): switch to vc 01
&nbsp;
----------------------------------l4linux configuration
#
# Automatically generated make config: don't edit
# Linux kernel 
version: 2.6.19-l4
# Wed Mar 14 15:38:44 2007
#
#
# L4Linux 
configuration
#
CONFIG_L4=y
CONFIG_L4_LINUX=y
CONFIG_L4_OBJ_TREE="/home/OrgL4/build_l4"
CONFIG_L4_L4ENV=y
CONFIG_L4_ARCH_X86=y
# 
CONFIG_L4_ARCH_ARM is not set
CONFIG_HZ=100
CONFIG_PHYSICAL_START=0x0
# 
CONFIG_L4_USERPRIV_ONLY is not 
set
CONFIG_L4_L4ENV_MEMSIZE=32
CONFIG_L4_TAMED=y
#
# L4 build options
#
CONFIG_L4_MK_CPU_X86="586"
#
# IRQ Handling
#
CONFIG_L4_IRQ_SINGLE=y
# CONFIG_L4_IRQ_OMEGA0 
is not set
# CONFIG_L4_IRQ_MULTI is not set
#
# Stub drivers
#
CONFIG_L4_EXTERNAL_RTC=y
# CONFIG_L4_BLK_DRV 
is not set
# CONFIG_L4_PDSPBLK_DRV is not 
set
CONFIG_L4_FB_DRIVER=y
CONFIG_L4_FB_DRIVER_XF86IF=y
# 
CONFIG_L4_OSHKOSH_DRV is not set
# CONFIG_L4_ORE_DRV is not 
set
CONFIG_L4_SERIAL=y
CONFIG_L4_SERIAL_CONSOLE=y
# CONFIG_L4_NEED_DSI 
is not set
# CONFIG_L4_NEED_INET_NTOA is not set
# CONFIG_L4_DROPSCON is 
not set
#
# Priority 
configuration
#
CONFIG_L4_PRIO_USER_PROCESS=10
CONFIG_L4_PRIO_IRQ_OFFSET=129
CONFIG_L4_PRIO_SERVER=100
#
# Debugging options
#
# CONFIG_L4_DEBUG is not set
#
# Monitoring options (ferret)
#
# CONFIG_L4_FERRET_USER is not 
set
# CONFIG_L4_FERRET_KERNEL is not set
# 
CONFIG_L4_FERRET_SYSCALL_COUNTER is not set
#
#
#
CONFIG_X86_32=y
CONFIG_GENERIC_TIME=y
CONFIG_LOCKDEP_SUPPORT=y
CONFIG_STACKTRACE_SUPPORT=y
CONFIG_SEMAPHORE_SLEEPERS=y
CONFIG_X86=y
CONFIG_MMU=y
CONFIG_GENERIC_ISA_DMA=y
CONFIG_GENERIC_IOMAP=y
CONFIG_GENERIC_HWEIGHT=y
CONFIG_ARCH_MAY_HAVE_PC_FDC=y
CONFIG_DMI=y
CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
#
# Code maturity level 
options
#
CONFIG_EXPERIMENTAL=y
CONFIG_BROKEN_ON_SMP=y
CONFIG_INIT_ENV_ARG_LIMIT=32
#
# General 
setup
#
CONFIG_LOCALVERSION=""
CONFIG_LOCALVERSION_AUTO=y
CONFIG_SWAP=y
CONFIG_SYSVIPC=y
# 
CONFIG_IPC_NS is not set
CONFIG_POSIX_MQUEUE=y
# CONFIG_BSD_PROCESS_ACCT 
is not set
# CONFIG_TASKSTATS is not set
# CONFIG_UTS_NS is not set
# 
CONFIG_AUDIT is not set
# CONFIG_IKCONFIG is not set
# CONFIG_RELAY is not 
set
CONFIG_INITRAMFS_SOURCE=""
# CONFIG_CC_OPTIMIZE_FOR_SIZE is not 
set
CONFIG_SYSCTL=y
CONFIG_EMBEDDED=y
CONFIG_UID16=y
CONFIG_SYSCTL_SYSCALL=y
CONFIG_KALLSYMS=y
# 
CONFIG_KALLSYMS_ALL is not set
# CONFIG_KALLSYMS_EXTRA_PASS is not set
# 
CONFIG_HOTPLUG is not 
set
CONFIG_PRINTK=y
CONFIG_BUG=y
CONFIG_ELF_CORE=y
CONFIG_BASE_FULL=y
CONFIG_FUTEX=y
CONFIG_EPOLL=y
CONFIG_SHMEM=y
CONFIG_SLAB=y
CONFIG_VM_EVENT_COUNTERS=y
CONFIG_RT_MUTEXES=y
# 
CONFIG_TINY_SHMEM is not set
CONFIG_BASE_SMALL=0
# CONFIG_SLOB is not 
set
#
# Loadable module support
#
CONFIG_MODULES=y
# 
CONFIG_MODULE_UNLOAD is not set
CONFIG_MODVERSIONS=y
# 
CONFIG_MODULE_SRCVERSION_ALL is not set
CONFIG_KMOD=y
#
# Block layer
#
CONFIG_BLOCK=y
# CONFIG_LBD is not set
# 
CONFIG_BLK_DEV_IO_TRACE is not set
# CONFIG_LSF is not set
#
# IO 
Schedulers
#
CONFIG_IOSCHED_NOOP=y
CONFIG_IOSCHED_AS=y
CONFIG_IOSCHED_DEADLINE=y
CONFIG_IOSCHED_CFQ=y
CONFIG_DEFAULT_AS=y
# 
CONFIG_DEFAULT_DEADLINE is not set
# CONFIG_DEFAULT_CFQ is not set
# 
CONFIG_DEFAULT_NOOP is not set
CONFIG_DEFAULT_IOSCHED="anticipatory"
#
# Processor type and features
#
# CONFIG_SMP is not 
set
CONFIG_X86_PC=y
# CONFIG_X86_ELAN is not set
# CONFIG_X86_VOYAGER 
is not set
# CONFIG_X86_NUMAQ is not set
# CONFIG_X86_SUMMIT is not 
set
# CONFIG_X86_BIGSMP is not set
# CONFIG_X86_VISWS is not set
# 
CONFIG_X86_GENERICARCH is not set
# CONFIG_X86_ES7000 is not set
# 
CONFIG_M386 is not set
# CONFIG_M486 is not set
# CONFIG_M586 is not 
set
CONFIG_M586TSC=y
# CONFIG_M586MMX is not set
# CONFIG_M686 is not 
set
# CONFIG_MPENTIUMII is not set
# CONFIG_MPENTIUMIII is not set
# 
CONFIG_MPENTIUMM is not set
# CONFIG_MPENTIUM4 is not set
# CONFIG_MK6 is 
not set
# CONFIG_MK7 is not set
# CONFIG_MK8 is not set
# 
CONFIG_MCRUSOE is not set
# CONFIG_MEFFICEON is not set
# 
CONFIG_MWINCHIPC6 is not set
# CONFIG_MWINCHIP2 is not set
# 
CONFIG_MWINCHIP3D is not set
# CONFIG_MGEODEGX1 is not set
# 
CONFIG_MGEODE_LX is not set
# CONFIG_MCYRIXIII is not set
# 
CONFIG_MVIAC3_2 is not set
# CONFIG_X86_GENERIC is not 
set
CONFIG_X86_CMPXCHG=y
CONFIG_X86_XADD=y
CONFIG_X86_L1_CACHE_SHIFT=5
CONFIG_RWSEM_XCHGADD_ALGORITHM=y
CONFIG_GENERIC_CALIBRATE_DELAY=y
CONFIG_X86_PPRO_FENCE=y
CONFIG_X86_F00F_BUG=y
CONFIG_X86_WP_WORKS_OK=y
CONFIG_X86_INVLPG=y
CONFIG_X86_BSWAP=y
CONFIG_X86_POPAD_OK=y
CONFIG_X86_CMPXCHG64=y
CONFIG_X86_ALIGNMENT_16=y
CONFIG_X86_TSC=y
# 
CONFIG_HPET_TIMER is not set
CONFIG_PREEMPT_NONE=y
# 
CONFIG_PREEMPT_VOLUNTARY is not set
# CONFIG_PREEMPT is not set
# 
CONFIG_X86_UP_APIC is not set
# CONFIG_X86_MCE is not set
# CONFIG_VM86 is 
not set
# CONFIG_TOSHIBA is not set
# CONFIG_I8K is not set
# 
CONFIG_X86_REBOOTFIXUPS is not set
# CONFIG_MICROCODE is not set
# 
CONFIG_X86_MSR is not set
# CONFIG_X86_CPUID is not set
#
# Firmware Drivers
#
# CONFIG_EDD is not set
# CONFIG_DELL_RBU 
is not set
# CONFIG_DCDBAS is not set
CONFIG_NOHIGHMEM=y
# 
CONFIG_HIGHMEM4G is not set
# CONFIG_HIGHMEM64G is not 
set
CONFIG_VMSPLIT_3G=y
# CONFIG_VMSPLIT_3G_OPT is not set
# 
CONFIG_VMSPLIT_2G is not set
# CONFIG_VMSPLIT_1G is not 
set
CONFIG_PAGE_OFFSET=0xC0000000
CONFIG_ARCH_FLATMEM_ENABLE=y
CONFIG_ARCH_SPARSEMEM_ENABLE=y
CONFIG_ARCH_SELECT_MEMORY_MODEL=y
CONFIG_ARCH_POPULATES_NODE_MAP=y
CONFIG_SELECT_MEMORY_MODEL=y
CONFIG_FLATMEM_MANUAL=y
# 
CONFIG_DISCONTIGMEM_MANUAL is not set
# CONFIG_SPARSEMEM_MANUAL is not 
set
CONFIG_FLATMEM=y
CONFIG_FLAT_NODE_MEM_MAP=y
CONFIG_SPARSEMEM_STATIC=y
CONFIG_SPLIT_PTLOCK_CPUS=4
# 
CONFIG_RESOURCES_64BIT is not set
# CONFIG_MATH_EMULATION is not set
# 
CONFIG_MTRR is not set
# CONFIG_REGPARM is not set
CONFIG_SECCOMP=y
# 
CONFIG_HZ_100 is not set
CONFIG_HZ_250=y
# CONFIG_HZ_1000 is not set
# 
CONFIG_KEXEC is not set
CONFIG_COMPAT_VDSO=y
#
# Power management options (ACPI, APM)
#
# CONFIG_PM is not 
set
#
# ACPI (Advanced Configuration and Power Interface) Support
#
# 
CONFIG_ACPI is not set
#
# CPU Frequency scaling
#
# CONFIG_CPU_FREQ is not set
#
# Bus options (PCI, PCMCIA, EISA, MCA, ISA)
#
CONFIG_PCI=y
# 
CONFIG_PCI_GOBIOS is not set
# CONFIG_PCI_GOMMCONFIG is not set
# 
CONFIG_PCI_GODIRECT is not 
set
CONFIG_PCI_GOANY=y
CONFIG_PCI_BIOS=y
CONFIG_PCI_DIRECT=y
# 
CONFIG_PCIEPORTBUS is not set
# CONFIG_PCI_DEBUG is not 
set
CONFIG_ISA_DMA_API=y
CONFIG_ISA=y
# CONFIG_EISA is not set
# 
CONFIG_MCA is not set
# CONFIG_SCx200 is not set
#
# PCCARD (PCMCIA/CardBus) support
#
#
# PCI Hotplug Support
#
#
# Executable file 
formats
#
CONFIG_BINFMT_ELF=y
CONFIG_BINFMT_AOUT=y
CONFIG_BINFMT_MISC=y
#
# Networking
#
CONFIG_NET=y
#
# Networking options
#
# CONFIG_NETDEBUG is not 
set
CONFIG_PACKET=y
# CONFIG_PACKET_MMAP is not 
set
CONFIG_UNIX=y
CONFIG_XFRM=y
# CONFIG_XFRM_USER is not set
# 
CONFIG_XFRM_SUB_POLICY is not set
# CONFIG_NET_KEY is not 
set
CONFIG_INET=y
# CONFIG_IP_MULTICAST is not set
# 
CONFIG_IP_ADVANCED_ROUTER is not 
set
CONFIG_IP_FIB_HASH=y
CONFIG_IP_PNP=y
CONFIG_IP_PNP_DHCP=y
# 
CONFIG_IP_PNP_BOOTP is not set
# CONFIG_IP_PNP_RARP is not set
# 
CONFIG_NET_IPIP is not set
# CONFIG_NET_IPGRE is not set
# CONFIG_ARPD is 
not set
# CONFIG_SYN_COOKIES is not set
# CONFIG_INET_AH is not set
# 
CONFIG_INET_ESP is not set
# CONFIG_INET_IPCOMP is not set
# 
CONFIG_INET_XFRM_TUNNEL is not set
# CONFIG_INET_TUNNEL is not set
# 
CONFIG_INET_XFRM_MODE_TRANSPORT is not set
# CONFIG_INET_XFRM_MODE_TUNNEL is 
not 
set
CONFIG_INET_XFRM_MODE_BEET=y
CONFIG_INET_DIAG=y
CONFIG_INET_TCP_DIAG=y
# 
CONFIG_TCP_CONG_ADVANCED is not 
set
CONFIG_TCP_CONG_CUBIC=y
CONFIG_DEFAULT_TCP_CONG="cubic"
# 
CONFIG_IPV6 is not set
# CONFIG_INET6_XFRM_TUNNEL is not set
# 
CONFIG_INET6_TUNNEL is not set
# CONFIG_NETWORK_SECMARK is not set
# 
CONFIG_NETFILTER is not set
#
# DCCP Configuration (EXPERIMENTAL)
#
# CONFIG_IP_DCCP is not 
set
#
# SCTP Configuration (EXPERIMENTAL)
#
# CONFIG_IP_SCTP is not 
set
#
# TIPC Configuration (EXPERIMENTAL)
#
# CONFIG_TIPC is not 
set
# CONFIG_ATM is not set
# CONFIG_BRIDGE is not set
# 
CONFIG_VLAN_8021Q is not set
# CONFIG_DECNET is not set
# CONFIG_LLC2 is 
not set
# CONFIG_IPX is not set
# CONFIG_ATALK is not set
# CONFIG_X25 
is not set
# CONFIG_LAPB is not set
# CONFIG_ECONET is not set
# 
CONFIG_WAN_ROUTER is not set
#
# QoS and/or fair queueing
#
# CONFIG_NET_SCHED is not set
#
# Network testing
#
# CONFIG_NET_PKTGEN is not set
# 
CONFIG_HAMRADIO is not set
# CONFIG_IRDA is not set
# CONFIG_BT is not 
set
# CONFIG_IEEE80211 is not set
#
# Device Drivers
#
#
# Generic Driver 
Options
#
CONFIG_STANDALONE=y
CONFIG_PREVENT_FIRMWARE_BUILD=y
# 
CONFIG_DEBUG_DRIVER is not set
# CONFIG_SYS_HYPERVISOR is not set
#
# Connector - unified userspace &lt;-&gt; kernelspace linker
#
# 
CONFIG_CONNECTOR is not set
Adam
-- 
Adam                 adam@os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Re: L4linux Booting Problem