L4linux Booting Problem
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Sat Mar 17 21:19:17 CET 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"
> from [0212d000-021731cc] to
> [01540000-015491e4][0154a000-0154c954]
> entry at
> 0005b370 via trampoline page code
> symbols at
> [7c3fe000-7c400000] (8kB), lines at [7c3f7000-7c3fe000] (28kB)
> #06: loading
> "/boot/DDL4/l4v2/names --events"
> from
> [02174000-021b662e] to
> [002d0000-002d616a][002d7000-002e3000]
> entry at
> 0005c378 via trampoline page code
> symbols at
> [7c3f5000-7c3f7000] (8kB), lines at [7c3ef000-7c3f5000] (24kB)
> #07: loading
> "/boot/DDL4/l4v2/log --prio 0xA1"
> from
> [021b7000-021f6177] to
> [00400000-00406c4a][00407000-004398b0]
> entry at
> 0005d378 via trampoline page code
> symbols at
> [7c3ed000-7c3ef000] (8kB), lines at [7c3e7000-7c3ed000] (24kB)
> #08: loading
> "/boot/DDL4/l4v2/dm_phys --events"
> from
> [021f7000-02284e59] to
> [01500000-015120ca][01513000-0151d000]
> entry at
> 0005e37c via trampoline page code
> symbols at
> [7c3e2000-7c3e7000] (20kB), lines at [7c3d5000-7c3e2000] (52kB)
> #09: loading
> "/boot/DDL4/l4v2/simple_ts -t 400 --events"
> from
> [02285000-022d1ea9] to
> [01400000-014086ca][01409000-0141b070]
> entry at
> 0005f384 via trampoline page code
> symbols at
> [7c3d3000-7c3d5000] (8kB), lines at [7c3cc000-7c3d3000] (28kB)
> #0a: loading
> "/boot/DDL4/l4v2/rtc"
> from [022d2000-02304842] to
> [01080000-01084200][01085000-0108a000]
> entry at
> 0006136c via trampoline page code
> symbols at
> [7c3ca000-7c3cc000] (8kB), lines at [7c3c6000-7c3ca000] (16kB)
> #0b: loading
> "/boot/DDL4/l4v2/l4io --noirq"
> from
> [02305000-02552c4e] to
> [00b80000-00ba29e4][00ba3000-00c0e000]
> entry at
> 00062378 via trampoline page code
> symbols at
> [7c377000-7c3c6000] (316kB), lines at [7c35d000-7c377000] (104k)
> #0c: loading
> "/boot/DDL4/l4v2/bmodfs"
> from [02553000-025f4b22] to
> [01220000-01235524][01236000-01256000]
> passing
> module /boot/DDL4/l4v2/libloader.s.so
> [ 025f5000-026971bd ]
> passing module
> /boot/DDL4/l4v2/libld-l4.s.so [
> 02698000-02711019 ]
> passing module
> /boot/DDL4/l4v2/run
> [ 02712000-02759ef4 ]
> passing module
> /boot/DDL4/cfg/run.bmodfs.cfg [
> 0275a000-0275a078 ]
> passing module
> /boot/DDL4/linux/vmlinuz26.ddosnet [ 0275b000-035ad0e7
> ]
> passing module
> /boot/DDL4/linux/vmlinuz26.vt [
> 035ae000-043cb06e ]
> passing module
> /boot/DDL4/cfg/l4linux26_net.cfg [
> 043cc000-043cc0b0 ]
> passing module
> /boot/DDL4/cfg/l4linux26_vt.cfg [
> 043cd000-043cd05e ]
> passing module
> /boot/DDL4/cfg/tty.rd
> [ 043ce000-04dce000 ]
> entry at 00063514 via
> trampoline page code
> symbols at [7c358000-7c35d000]
> (20kB), lines at [7c347000-7c358000] (68kB)
> #0d: loading "/boot/DDL4/l4v2/con
> --l4io --events"
> from [04dce000-04f5df2b] to
> [00b00000-00b4d0a0][00b4e000-00b79000]
> entry at
> 0006437c via trampoline page code
> symbols at
> [7c33a000-7c347000] (52kB), lines at [7c306000-7c33a000] (208kB)
> #0e: loading
> "/boot/DDL4/l4v2/loader --events --fprov=BMODFS run.bmodfs.cfg
> l4l"
> from [04f5e000-050364fd] to
> [01300000-01324f28][01325000-0134e000]
> entry at
> 000653bc via trampoline page code
> symbols at
> [7c300000-7c306000] (24kB), lines at [7c2e8000-7c300000] (96kB)
>
>
> names | Starting thread listening for `exit' events
> simplets|
> Configured for 400 tasks.
> rtc | Date:14.03.2007
> Time:16:15:02
> bmodfs | Passed the following modules:
> bmodfs
> | module "/boot/DDL4/l4v2/libloader.s.so" (649kB)
> bmodfs
> | module "/boot/DDL4/l4v2/libld-l4.s.so" (485kB)
> bmodfs
> | module "/boot/DDL4/l4v2/run" (288kB)
> bmodfs |
> module "/boot/DDL4/cfg/run.bmodfs.cfg" (1kB)
> bmodfs |
> module "/boot/DDL4/linux/vmlinuz26.ddosnet" (14665kB)
> bmodfs
> | module "/boot/DDL4/linux/vmlinuz26.vt" (14453kB)
> bmodfs
> | module "/boot/DDL4/cfg/l4linux26_net.cfg" (1kB)
> bmodfs
> | module "/boot/DDL4/cfg/l4linux26_vt.cfg" (1kB)
> bmodfs
> | module "/boot/DDL4/cfg/tty.rd"
> (10240kB)
> io | do_args(): Disabling internal
> IRQ handling.
> io | CPU supports 8 MTRRs.
> Allocated:
> io | 0:
> 00000000-80000000 (2048MB) type WB
> io
> | 1: 7ff80000-80000000 ( 1MB) type
> UC
> con | Using fast memcpy.
> loader | run:
> Starting application using libld-l4.s.so
> loader | run,#f: Loading
> binary
> loader | run,#f: Loading ldso
> loader | Capability
> support not supported.
> loader | run,#f: Starting libld-l4.s.so at
> 00013890 via 0000cc80
> 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
> Corporation 82801 PCI Bridge
> io | PCI: Enabling
> device 00:1f.1 (0005 -> 0007)
> io | PCI: No
> IRQ known for interrupt pin B of device 00:1f.3. Please try
> u
> io : sing
> pci=biosirq.
> io | 00000000-ffffffff : PCI
> mem
> io | 80000000-800003ff : Intel
> Corporation 82801CA Ultra ATA Storage Con
> io :
> troller
> io | fc100000-fc2fffff :
> PCI Bus #01
> io |
> fc100000-fc100fff : Intel Corporation 82870P2 P64H2
> I/OxAPIC
> io |
> fc101000-fc101fff : Intel Corporation 82870P2 P64H2 I/OxAPIC
> (#2)
> io |
> fc200000-fc2fffff : PCI Bus #03
> io
> | fc200000-fc21ffff : Intel Corporation
> 82546EB Gigabit Ethernet
> io : Controller
> (Copper)
> io
> | fc220000-fc23ffff : Intel Corporation
> 82546EB Gigabit Ethernet
> io : Controller
> (Copper) (#2)
> io |
> fc300000-fc6fffff : PCI Bus #04
> io
> | fc300000-fc300fff : Intel Corporation 82870P2 P64H2
> I/OxAPIC (#3)
> io |
> fc301000-fc301fff : Intel Corporation 82870P2 P64H2 I/OxAPIC
> (#4)
> io |
> fc400000-fc5fffff : PCI Bus #05
> io
> | fc400000-fc400fff : Intel Corporation
> 82557/8/9 [Ethernet Pro 1
> io :
> 00]
> io |
> fc500000-fc5fffff : Intel Corporation 82557/8/9 [Ethernet Pro
> 1
> io : 00]
> io
> | fc600000-fc6fffff : PCI Bus
> #06
> io |
> fc600000-fc601fff : Adaptec AIC-7902B U320
> io
> | fc602000-fc603fff : Adaptec AIC-7902B U320
> (#2)
> io | fc700000-fc700fff : ATI
> Technolog0000-ffff : PCI IO
> io |
> 0cf8-0cff : PCI conf1
> io |
> 1100-111f : Intel Corporation 82801CA/CAM SMBus
> Controller
> io | 2000-201f : Intel
> Corporation 82801CA/CAM USB (Hub #1)
> io
> | 2020-203f : Intel Corporation 82801CA/CAM USB (Hub
> #2)
> io | 2040-205f : Intel
> Corporation 82801CA/CAM USB (Hub #3)
> io
> | 2060-206f : Intel Corporation 82801CA Ultra ATA Storage
> Controller
> io | 3000-3fff : PCI Bus
> #01
> io | 3000-3fff :
> PCI Bus #03
> io
> | 3000-303f : Intel Corporation 82546EB
> Gigabit Ethernet Controll
> io : er
> (Copper)
> io
> | 3040-307f : Intel Corporation 82546EB
> Gigabit Ethernet Controll
> io : er (Copper)
> (#2)
> io | 4000-5fff : PCI Bus
> #04
> io | 4000-4fff :
> PCI Bus #05
> io
> | 4000-40ff : PCI device
> 177d:0001
> io
> | 4400-44ff : PCI device
> 177d:0001
> io
> | 4800-483f : Intel Corporation 82557/8/9
> [Ethernet Pro 100]
> io |
> 5000-5fff : PCI Bus #06
> io
> | 5000-50ff : Adaptec AIC-7902B
> U320
> io |
> 5400-54ff : Adaptec AIC-7902B U320
> io
> | 5800-58ff : Adaptec AIC-7902B U320
> (#2)
> io |
> 5c00-5cff : Adaptec AIC-7902B U320 (#2)
> io
> | 6000-60ff : ATI Technologies Inc Rage
> XL
> con | Character size is 8x14, font has 256
> characters
> con | VESA reports
> 1024x768 at 16
> 2048bpl (00bb)
> [8128kB]
> con | Color mapping: red=11:5 green=5:6
> blue=0:5 res=0:0
> con | Mapped I/O ctrl mem fc700000
> => 02300000+000000 [4kB] via l4io
> con | Found ATI
> 3D RAGE (XL) [0x4752 rev 0x27] (PCI 07/08)
> io |
> Remapping I/O memory fd000000-fd7f0000
> cached
> io | Setting MTRR 2 to fd000000-fd800000
> type WC
> con | Mapped I/O video mem fd000000 =>
> 03000000+000000 [8128kB] via l4io
> con | Backend
> scaler: no, color keying: no
> con | Using MMXEXT for
> colorspace transform
> con |
> L4INPUT:
> !!! W A R N I N G !!!
> con | L4INPUT: Please, do
> not use Fiasco's "-esc" with L4INPUT.
> con |
> L4INPUT:
> !!! W A R N I N G !!!
> con | L4INPUT: Registered
> 0xb03c50 for callbacks.
> con | serio: i8042 AUX port
> at 0x60,0x64 irq 12
> con | serio: i8042 KBD port at
> 0x60,0x64 irq 1
> con | input: ImExPS/2 Generic
> Explorer Mouse on isa0060/serio1
> con | input: AT
> Translated Set 2 keyboard on isa0060/serio0
> con |
> input: PC Speaker
> con | input: L4 input event
> injector
> con | L4 input event injector: IRQ handler
> up
> con | connect "ImExPS/2 Generic Explorer Mouse",
> isa0060/serio1/input0
> con | connect "AT Translated
> Set 2 keyboard", isa0060/serio0/input0
> con | connect
> "PC Speaker", isa0061/input0
> con | connect "L4 input
> event injector", l4/sys
> con | Running as D.02. Video
> mode is
> 1024x768 at 16
> .
> con |
> vc_loop(): vc[1] running as D.08
> con | vc_open_out():
> vc[1]
> 1024x768 at 16
> ,
> gmode:0x35
> run | contxt_init(): 1024x750, cols:128,
> lines:53, sb_lines:1053
> loader | vmlinuz26.ddosnet: Starting
> application using libld-l4.s.so
> loader | vmlinuz26.ddosnet,#10: Loading
> binary
> loader | vmlinuz26.ddosnet,#10: Loading ldso
> loader |
> Capability support not supported.
> loader | vmlinuz26.ddosnet,#10:
> Starting libld-l4.s.so at 00013890 via 0000cc1
> loader :
> c
> loader | sleeping for 30000 ms
> l4lx | ======>
> L4Linux 2.6 starting... <========
> l4lx | Linux version
> 2.6.19-l4 (
> root at dup.postech.ac.kr
> )
> (gcc version 3.4.6)
> l4lx : #1 Thu Mar 8 15:30:29 KST
> 2007
> l4lx | Binary name:
> vmlinuz26.ddosnet
> l4lx | Kernel command line (8 args):
> mem=32M noreplacement root=1:0 load_ram
> l4lx : disk=1
> ramdisk_size=10240 l4env_rd=tty.rd panicblink=0
> lang=us
> l4lx | Image: 00400000 - 0072d000 [3252
> KiB].
> l4lx | Areas: Text: 00400000
> - 00643000 [2316kB] (a bit longer)
> l4lx
> | Data:
> 00643000 - 0068808c [276kB]
> l4lx
> | Initdata: 0068c000 - 006c2000
> [216kB]
> l4lx |
> BSS: 006c4000 - 0072b7a0
> [413kB]
> l4lx | l4lx_thread_create: Created thread 10.03
> (server)
> l4lx | main thread will be
> 10.03
> l4lx | l4env_register_pointer_section: addr =
> 0068a000 size = 233472
> l4lx |
> sec-w-init: virt: 0x0068a000 to 0x006c2fff [228 KiB]
> l4lx
> | sec-w-init: Number of physical regions: 1,
> 233472 Bytes
> l4lx |
> sec-w-init: 1: Phys: 0x0148c000 to 0x014c5000, Size:
> 233472
> l4lx | l4env_linux_startup thread
> 3.
> l4lx | main thread: received startup
> message.
> l4lx | Main thread running,
> waiting...
> l4lx | setup_l4env_memory: Forcing superpages
> for main memory
> l4lx | Main memory size:
> 32MB
> l4lx | Main memory: virt:
> 0x00800000 to 0x027fffff [32768 KiB]
> l4lx
> | Main memory: Number of physical regions: 1, 33554432
> Bytes
> l4lx | Main memory: 1: Phys:
> 0x7a000000 to 0x7c000000, Size: 33554432
> l4lx | Filling
> lower ptabs...
> l4lx | Done (1104
> entries).
> l4lx | l4env_rd_path:
> tty.rd
> l4lx | Loading: tty.rd
> l4lx |
> INITRD: Size of RAMdisk is 10240KiB
> l4lx | RAMdisk from
> 02800000 to 03200000 [10240KiB]
> l4lx | l4lx_thread_create:
> Created thread 10.04 (timer.i0)
> l4lx | l4lx_thread_create:
> Created thread 10.05 (Idler)
> l4lx | Starting L4FB via
> CON
> con | vc_loop(): vc[2] running as
> D.09
> l4lx | l4lx_thread_create: Created thread 10.06
> (L4ConInput)
> con | vc_open_out(): vc[2]
> 1024x768 at 16
> , gmode:0x35
> l4lx
> | l4fbcon: 1024x750 2bypp, size: 1540096
> l4lx |
> l4lx_thread_create: Created thread 10.07 (CON
> refresher)
> l4lx | DDOS : [eth0] card found with
> 00:30:48:27:E3:AC, IRQ 0
> l4lx | l4lx_thread_create: Created
> thread 10.08 (IRQ11)
> l4lx | l4lx_thread_create: Created
> thread 10.09 (DDOSnetMain)
> loader | vmlinuz26.vt: Starting application
> using libld-l4.s.so
> loader | vmlinuz26.vt,#1a: Loading
> binary
> loader | vmlinuz26.vt,#1a: Loading ldso
> loader |
> Capability support not supported.
> loader | vmlinuz26.vt,#1a: Starting
> libld-l4.s.so at 00013890 via 0000cc6c
> l4lx | ======>
> L4Linux 2.6 starting... <========
> l4lx | Linux version
> 2.6.19-l4 (
> root at dup.postech.ac.kr
> )
> (gcc version 3.4.6)
> l4lx : #5 Thu Mar 8 19:38:18 KST
> 2007
> l4lx | Binary name:
> vmlinuz26.vt
> l4lx | Kernel command line (2 args): mem=512M
> root=/dev/hda1
> l4lx | Image: 00400000 - 0071a000 [3176
> KiB].
> l4lx | Areas: Text: 00400000
> - 00635000 [2260kB] (a bit longer)
> l4lx
> | Data:
> 00635000 - 0067908c [272kB]
> l4lx
> | Initdata: 0067c000 - 006ac000
> [192kB]
> l4lx |
> BSS: 006ae000 - 007184d0
> [425kB]
> l4lx | l4lx_thread_create: Created thread 1a.03
> (tamer)
> l4lx | Using tamed mode.
> l4lx
> | l4lx_thread_create: Created thread 1a.04 (server)
> l4lx |
> main thread will be 1a.04
> l4lx |
> l4env_register_pointer_section: addr = 00635000 size =
> 491520
> l4lx | sec-w-init:
> virt: 0x00635000 to 0x006acfff [480 KiB]
> l4lx
> | sec-w-init: Number of physical regions: 1,
> 491520 Bytes
> l4lx |
> sec-w-init: 1: Phys: 0x00e63000 to 0x00edb000, Size:
> 491520
> l4lx | l4env_linux_startup thread
> 4.
> l4lx | main thread: received startup
> message.
> l4lx | Main thread running,
> waiting...
> 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:
> 0x5a000000 to 0x7a000000, Size: 536870912
> l4lx | Filling
> lower ptabs...
> l4lx | Done (1122
> entries).
> l4lx | l4lx_thread_create: Created thread 1a.05
> (timer.i0)
>
>
> --l4io_request_mem_region
> error--------------------------IP: 0040f98b
> (1a.04) jdb:
> g
> l4lx | l4lx_thread_create: Created thread 1a.06
> (Idler)
> l4lx | Starting L4FB via
> CON
> con | vc_loop(): vc[3] running as
> D.0A
> l4lx | l4lx_thread_create: Created thread 1a.07
> (L4ConInput)
> con | vc_open_out(): vc[3]
> 1024x768 at 16
> , gmode:0x35
> l4lx
> | l4fbcon: 1024x750 2bypp, size: 1540096
> l4lx |
> l4lx_thread_create: Created thread 1a.08 (CON
> refresher)
> l4lx | l4lx_thread_create: Created thread 10.0a
> (PosDDOSNetWorker)
> l4lx | DDOS : main thread sleep
> forerver.
> l4lx | l4lx_thread_create: Created thread 1a.09
> (IRQ14)
> l4lx | l4lx_thread_create: Created thread 1a.0a
> (IRQ15)
> l4lx | Terminating L4Linux.
> simplets| Exit
> 1A.02
> con | 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:
>
> CONFIG_ASSEMBLER_IPC_SHORTCUT is off
> CONFIG_NDEBUG is off
>
> 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
>
>
> 64 Entry I TLB (4K or 4M pages)
> 64 Entry D TLB (4k or 4M
> pages)
> 12K ?ops T Cache (8-way associative)
> 8 KB L1 D
> Cache (4-way associative, 64 bytes per line)
> 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!
> KIP @
> 1000
> Found Fiasco: KIP syscalls: yes
> allocated 4KB for
> maintenance structures
>
>
> Roottask.
> Command line found: "/boot/OrgL4/l4v2/roottask task
> modname "bmodfs" attached"
>
>
> 2095677kB (2046MB) total RAM (reported by
> bootloader)
> 2028708kB (1982MB) received RAM from Sigma0
>
> 26692kB ( 27MB) reserved RAM for RMGR
> Received I/O ports
> 0000-ffff
> 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:6
>
>
> Roottask: Loading 16 modules.
> #05: loading
> "/boot/OrgL4/l4v2/events"
> from [0212d000-02173281]
> to [01540000-015491e4][0154a000-0154c954]
> entry at
> 0005b370 via trampoline page code
> symbols at
> [7c3fe000-7c400000] (8kB), lines at [7c3f7000-7c3fe000] (28kB)
> #06: loading
> "/boot/OrgL4/l4v2/names --events"
> from
> [02174000-021b66db] to
> [002d0000-002d616a][002d7000-002e3000]
> entry at
> 0005c378 via trampoline page code
> symbols at
> [7c3f5000-7c3f7000] (8kB), lines at [7c3ef000-7c3f5000] (24kB)
> #07: loading
> "/boot/OrgL4/l4v2/log --prio 0xA1"
> from
> [021b7000-021f621c] to
> [00400000-00406c4a][00407000-004398b0]
> entry at
> 0005d37c via trampoline page code
> symbols at
> [7c3ed000-7c3ef000] (8kB), lines at [7c3e7000-7c3ed000] (24kB)
> #08: loading
> "/boot/OrgL4/l4v2/dm_phys --events"
> from
> [021f7000-02284f46] to
> [01500000-015120ea][01513000-0151d000]
> entry at
> 0005e37c via trampoline page code
> symbols at
> [7c3e2000-7c3e7000] (20kB), lines at [7c3d5000-7c3e2000] (52kB)
> #09: loading
> "/boot/OrgL4/l4v2/simple_ts -t 300 --events"
> from
> [02285000-022d1f5a] to
> [01400000-014086ca][01409000-0141b070]
> entry at
> 0005f384 via trampoline page code
> symbols at
> [7c3d3000-7c3d5000] (8kB), lines at [7c3cc000-7c3d3000] (28kB)
> #0a: loading
> "/boot/OrgL4/l4v2/rtc"
> from [022d2000-023048c7] to
> [01080000-01084200][01085000-0108a000]
> entry at
> 00061370 via trampoline page code
> symbols at
> [7c3ca000-7c3cc000] (8kB), lines at [7c3c6000-7c3ca000] (16kB)
> #0b: loading
> "/boot/OrgL4/l4v2/l4io --noirq"
> from
> [02305000-02552e67] to
> [00b80000-00ba2a08][00ba3000-00c0e000]
> entry at
> 00062378 via trampoline page code
> symbols at
> [7c377000-7c3c6000] (316kB), lines at [7c35d000-7c377000] (104k)
> #0c: loading
> "/boot/OrgL4/l4v2/bmodfs"
> from [02553000-025f4c5b]
> to [01220000-01235544][01236000-01256000]
> passing
> module /boot/OrgL4/l4v2/libloader.s.so [
> 025f5000-026972c6 ]
> passing module
> /boot/OrgL4/l4v2/libld-l4.s.so [
> 02698000-027110ad ]
> passing module
> /boot/OrgL4/l4v2/run
> [ 02712000-02759f9a ]
> passing module
> /boot/OrgL4/cfg/run.bmodfs.cfg [
> 0275a000-0275a025 ]
> passing module
> /boot/OrgL4/linux/vmlinuz26
> [ 0275b000-0373333e ]
> passing module
> /boot/OrgL4/cfg/l4linux26.cfg [
> 03734000-03734056 ]
> entry at 00063484 via trampoline
> page code
> symbols at [7c358000-7c35d000] (20kB),
> lines at [7c347000-7c358000] (68kB)
> #0d: loading "/boot/OrgL4/l4v2/con --l4io
> --events"
> from [03735000-038c5116] to
> [00b00000-00b4d0e0][00b4e000-00b79000]
> entry at
> 00064380 via trampoline page code
> symbols at
> [7c33a000-7c347000] (52kB), lines at [7c306000-7c33a000] (208kB)
> #0e: loading
> "/boot/OrgL4/l4v2/loader --events --fprov=BMODFS run.bmodfs.cfg
> l4"
> from [038c6000-0399e68a] to
> [01300000-01324f28][01325000-0134e000]
> entry at
> 000653a8 via trampoline page code
> symbols at
> [7c300000-7c306000] (24kB), lines at [7c2e8000-7c300000] (96kB)
>
>
> names | Starting thread listening for `exit' events
> simplets|
> Configured for 300 tasks.
> rtc | Date:14.03.2007
> Time:16:17:09
> bmodfs | Passed the following modules:
> bmodfs
> | module "/boot/OrgL4/l4v2/libloader.s.so" (649kB)
> bmodfs
> | module "/boot/OrgL4/l4v2/libld-l4.s.so" (485kB)
> bmodfs
> | module "/boot/OrgL4/l4v2/run" (288kB)
> bmodfs
> | module "/boot/OrgL4/cfg/run.bmodfs.cfg" (1kB)
> bmodfs
> | module "/boot/OrgL4/linux/vmlinuz26" (16225kB)
> bmodfs
> | module "/boot/OrgL4/cfg/l4linux26.cfg"
> (1kB)
> con | Using fast
> memcpy.
> io | do_args(): Disabling internal IRQ
> handling.
> io | CPU supports 8 MTRRs.
> Allocated:
> io | 0:
> 00000000-80000000 (2048MB) type WB
> io
> | 1: 7ff80000-80000000 ( 1MB) type UC
> loader |
> run: Starting application using libld-l4.s.so
> loader | run,#f: Loading
> binary
> loader | run,#f: Loading ldso
> loader | Capability
> support not supported.
> loader | run,#f: Starting libld-l4.s.so at
> 00013890 via 0000cc80
> loader | sleeping for 2000
> 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
> Corporation 82801 PCI Bridge
> io | PCI: Enabling
> device 00:1f.1 (0005 -> 0007)
> io | PCI: No
> IRQ known for interrupt pin B of device 00:1f.3. Please try
> u
> io : sing
> pci=biosirq.
> io | 00000000-ffffffff : PCI
> mem
> io | 80000000-800003ff : Intel
> Corporation 82801CA Ultra ATA Storage Con
> io :
> troller
> io | fc100000-fc2fffff :
> PCI Bus #01
> io |
> fc100000-fc100fff : Intel Corporation 82870P2 P64H2
> I/OxAPIC
> io |
> fc101000-fc101fff : Intel Corporation 82870P2 P64H2 I/OxAPIC
> (#2)
> io |
> fc200000-fc2fffff : PCI Bus #03
> io
> | fc200000-fc21ffff : Intel Corporation
> 82546EB Gigabit Ethernet
> io : Controller
> (Copper)
> io
> | fc220000-fc23ffff : Intel Corporation
> 82546EB Gigabit Ethernet
> io : Controller
> (Copper) (#2)
> io |
> fc300000-fc6fffff : PCI Bus #04
> io
> | fc300000-fc300fff : Intel Corporation 82870P2 P64H2
> I/OxAPIC (#3)
> io |
> fc301000-fc301fff : Intel Corporation 82870P2 P64H2 I/OxAPIC
> (#4)
> io |
> fc400000-fc5fffff : PCI Bus #05
> io
> | fc400000-fc400fff : Intel Corporation
> 82557/8/9 [Ethernet Pro 1
> io :
> 00]
> io |
> fc500000-fc5fffff : Intel Corporation 82557/8/9 [Ethernet Pro
> 1
> io : 00]
> io
> | fc600000-fc6fffff : PCI Bus
> #06
> io |
> fc600000-fc601fff : Adaptec AIC-7902B U320
> io
> | fc602000-fc603fff : Adaptec AIC-7902B U320
> (#2)
> io | fc700000-fc700fff : ATI
> Technolog0000-ffff : PCI IO
> io |
> 0cf8-0cff : PCI conf1
> io |
> 1100-111f : Intel Corporation 82801CA/CAM SMBus
> Controller
> io | 2000-201f : Intel
> Corporation 82801CA/CAM USB (Hub #1)
> io
> | 2020-203f : Intel Corporation 82801CA/CAM USB (Hub
> #2)
> io | 2040-205f : Intel
> Corporation 82801CA/CAM USB (Hub #3)
> io
> | 2060-206f : Intel Corporation 82801CA Ultra ATA Storage
> Controller
> io | 3000-3fff : PCI Bus
> #01
> io | 3000-3fff :
> PCI Bus #03
> io
> | 3000-303f : Intel Corporation 82546EB
> Gigabit Ethernet Controll
> io : er
> (Copper)
> io
> | 3040-307f : Intel Corporation 82546EB
> Gigabit Ethernet Controll
> io : er (Copper)
> (#2)
> io | 4000-5fff : PCI Bus
> #04
> io | 4000-4fff :
> PCI Bus #05
> io
> | 4000-40ff : PCI device
> 177d:0001
> io
> | 4400-44ff : PCI device
> 177d:0001
> io
> | 4800-483f : Intel Corporation 82557/8/9
> [Ethernet Pro 100]
> io |
> 5000-5fff : PCI Bus #06
> io
> | 5000-50ff : Adaptec AIC-7902B
> U320
> io |
> 5400-54ff : Adaptec AIC-7902B U320
> io
> | 5800-58ff : Adaptec AIC-7902B U320
> (#2)
> io |
> 5c00-5cff : Adaptec AIC-7902B U320 (#2)
> io
> | 6000-60ff : ATI Technologies Inc Rage
> XL
> con | Character size is 8x14, font has 256
> characters
> con | VESA reports
> 1024x768 at 16
> 2048bpl (00bb)
> [8128kB]
> con | Color mapping: red=11:5 green=5:6
> blue=0:5 res=0:0
> con | Mapped I/O ctrl mem fc700000
> => 02300000+000000 [4kB] via l4io
> con | Found ATI
> 3D RAGE (XL) [0x4752 rev 0x27] (PCI 07/08)
> io |
> Remapping I/O memory fd000000-fd7f0000
> cached
> io | Setting MTRR 2 to fd000000-fd800000
> type WC
> con | Mapped I/O video mem fd000000 =>
> 03000000+000000 [8128kB] via l4io
> con | Backend
> scaler: no, color keying: no
> con | Using MMXEXT for
> colorspace transform
> con |
> L4INPUT:
> !!! W A R N I N G !!!
> con | L4INPUT: Please, do
> not use Fiasco's "-esc" with L4INPUT.
> con |
> L4INPUT:
> !!! W A R N I N G !!!
> con | L4INPUT: Registered
> 0xb03c50 for callbacks.
> con | serio: i8042 AUX port
> at 0x60,0x64 irq 12
> con | serio: i8042 KBD port at
> 0x60,0x64 irq 1
> con | input: ImExPS/2 Generic
> Explorer Mouse on isa0060/serio1
> con | input: AT
> Translated Set 2 keyboard on isa0060/serio0
> con |
> input: PC Speaker
> con | input: L4 input event
> injector
> con | L4 input event injector: IRQ handler
> up
> con | connect "ImExPS/2 Generic Explorer Mouse",
> isa0060/serio1/input0
> con | connect "AT Translated
> Set 2 keyboard", isa0060/serio0/input0
> con | connect
> "PC Speaker", isa0061/input0
> con | connect "L4 input
> event injector", l4/sys
> con | Running as D.02. Video
> mode is
> 1024x768 at 16
> .
> con |
> vc_loop(): vc[1] running as D.08
> con | vc_open_out():
> vc[1]
> 1024x768 at 16
> ,
> gmode:0x35
> run | contxt_init(): 1024x750, cols:128,
> lines:53, sb_lines:1053
> loader | vmlinuz26: Starting application using
> libld-l4.s.so
> loader | vmlinuz26,#10: Loading binary
> loader |
> vmlinuz26,#10: Loading ldso
> loader | Capability support not
> supported.
> loader | vmlinuz26,#10: Starting libld-l4.s.so at 00013890
> via 0000cc70
> l4lx | ======> L4Linux 2.6 starting...
> <========
> l4lx | Linux version 2.6.19-l4 (
> root at dup.postech.ac.kr
> ) (gcc version
> 3.4.6)
> l4lx : #1 Wed Mar 14 15:44:36 KST
> 2007
> l4lx | Binary name:
> vmlinuz26
> l4lx | Kernel command line (2 args): mem=128M
> root=/dev/hda1
> l4lx | Image: 00400000 - 0078e000 [3640
> KiB].
> l4lx | Areas: Text: 00400000
> - 00695000 [2644kB] (a bit longer)
> l4lx
> | Data:
> 00695000 - 006e308c [312kB]
> l4lx
> | Initdata: 006e6000 - 00720000
> [232kB]
> l4lx |
> BSS: 00722000 - 0078c460
> [425kB]
> l4lx | l4lx_thread_create: Created thread 10.03
> (tamer)
> l4lx | Using tamed mode.
> l4lx
> | l4lx_thread_create: Created thread 10.04 (server)
> l4lx |
> main thread will be 10.04
> l4lx |
> l4env_register_pointer_section: addr = 00695000 size =
> 573440
> l4lx | sec-w-init:
> virt: 0x00695000 to 0x00720fff [560 KiB]
> l4lx |
> Noncontiguous region for sec-w-init
> l4lx
> | sec-w-init: Number of physical regions: 2,
> 573440 Bytes
> l4lx |
> sec-w-init: 1: Phys: 0x002e3000 to 0x00307000, Size:
> 147456
> l4lx | sec-w-init: 2:
> Phys: 0x01498000 to 0x01500000, Size:
> 425984
> l4lx | l4env_linux_startup thread
> 4.
> l4lx | main thread: received startup
> message.
> l4lx | Main thread running,
> waiting...
> l4lx | setup_l4env_memory: Forcing superpages
> for main memory
> l4lx | Main memory size:
> 128MB
> l4lx | Main memory: virt:
> 0x00800000 to 0x087fffff [131072 KiB]
> l4lx
> | Main memory: Number of physical regions: 1, 134217728
> Bytes
> l4lx | Main memory: 1: Phys:
> 0x74000000 to 0x7c000000, Size: 134217728
> l4lx | Filling
> lower ptabs...
> l4lx | Done (1006
> entries).
> l4lx | l4lx_thread_create: Created thread 10.05
> (timer.i0)
> l4lx | l4lx_thread_create: Created thread 10.06
> (Idler)
> l4lx | Starting L4FB via
> CON
> con | vc_loop(): vc[2] running as
> D.09
> l4lx | l4lx_thread_create: Created thread 10.07
> (L4ConInput)
> con | vc_open_out(): vc[2]
> 1024x768 at 16
> , gmode:0x35
> l4lx
> | l4fbcon: 1024x750 2bypp, size: 1540096
> l4lx |
> l4lx_thread_create: Created thread 10.08 (CON
> refresher)
> l4lx | l4lx_thread_create: Created thread 10.09
> (IRQ14)
> l4lx | l4lx_thread_create: Created thread 10.0a
> (IRQ15)
> l4lx | Terminating L4Linux.
> simplets| Exit
> 10.02
> con | switch_vc(): switch to vc 01
>
>
>
>
>
> ----------------------------------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 <-> kernelspace linker
> #
> #
> CONFIG_CONNECTOR is not set
>
Adam
--
Adam adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list