l4-hackers

l4-hackers@os.inf.tu-dresden.de

2 participants
2880 discussions

trap (GPF) when starting l4linux
by valerius 23 Sep '08

23 Sep '08

Hi all! I compiled l4linux and trying to start it in qemu under Linux (Mandriva 2008.0). But when starting, linux is trapped my menu.lst is like this: [------------------------------cut------------------------------] title L4Linux 2.6 [console] kernel $(A)/bootstrap -serial modaddr 0x03000000 module $(B)/fiasco $(FIASCOARGS) module $(B)/sigma0 module $(B)/roottask -symbols -lines task sigma0 boot_priority 0xA0 task roottask boot_priority 0xA0 task modname "names" boot_priority 0xA0 task modname "log" boot_priority 0xA1 task modname "dm_phys" boot_priority 0xA0 task modname "simple_ts" boot_priority 0xA0 task modname "l4io" boot_priority 0xA3 task modname "loader" boot_priority 0xA0 allow_cli task modname "bmodfs" attached 7 modules module $(B)/fiasco_symbols module $(B)/fiasco_lines module $(B)/names module $(B)/log --prio 0xA1 --buffer 0 module $(B)/dm_phys module $(B)/simple_ts -t 380 module $(B)/rtc module $(B)/l4io module $(B)/bmodfs module $(B)/libloader.s.so module $(B)/libld-l4.s.so module $(B)/run module $(B)/con_demo2 module $(B)/vmlinuz26 module $(D)/cfg/l4linux26.cfg module $(RD_DENV) module $(B)/l4con module $(B)/loader --fprov=BMODFS con_demo2 run l4linux26.cfg vbeset $(VBE_MODE) [------------------------------cut------------------------------] where l4linux26.cfg is the following: [------------------------------cut------------------------------] sleep 1 task "vmlinuz26" "mem=120M load_ramdisk=1 ramdisk_size=16384 root=/dev/ram l4env_rd=drops-fp.rd" all_sects_writable allow_cli allow_vga [------------------------------cut------------------------------] Serial output is the following: [------------------------------cut------------------------------] qemu: /usr/lib/libpulse.so.0: no version information available (required by qemu) qemu: /usr/lib/libpulse-simple.so.0: no version information available (required by qemu) Could not open '/dev/kqemu' - QEMU acceleration layer not activated: No such file or directory ^M^M L4 Bootstrapper^M^M Scanning (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco -nokdb -nowait #"-serial_esc^M^M Scanning (nd)/tftpboot/drops/bin/x86_586/l4v2/sigma0^M^M Scanning (nd)/tftpboot/drops/bin/x86_586/l4v2/roottask -symbols -lines task sigma0 boot_priority 0xA0 task roottask boot_priority 0xA0 task modname "names" boot_priority 0xA0 task modname "log" boot_priority 0xA1 task modname "dm_phys" boot_priority 0xA0 task modname "simple_ts" boot_priority 0xA0 task modname "l4io" boot_priority 0xA3 task modname "loader" boot_priority 0xA0 allow_cli task modname "bmodfs" attached 7 modules^M^M Bootloader MMAP:^M^M [ 0, 9fc00) RAM (1)^M^M [ 9fc00, a0000) reserved (2)^M^M [ e8000, 100000) reserved (2)^M^M [ 100000, 1fff0000) RAM (1)^M^M [ 1fff0000, 20000000) ACPI (3)^M^M [ fffc0000, 100000000) reserved (2)^M^M Relocated mbi to [0x62000-0x62a33]^M^M Loading (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco^M^M Loading (nd)/tftpboot/drops/bin/x86_586/l4v2/sigma0^M^M Loading (nd)/tftpboot/drops/bin/x86_586/l4v2/roottask^M^M find kernel info page...^M^M found kernel info page at 0x1000^M^M [ 1000, 61fff] Kern (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco^M^M [ 62000, 62b30] Root Multiboot info^M^M [ 9fc00, 9ffff] Arch BIOS^M^M [ e8000, fffff] Arch BIOS^M^M [ 100000, 10937f] Sigma0 (nd)/tftpboot/drops/bin/x86_586/l4v2/sigma0^M^M [ 110000, 2adfff] Root (nd)/tftpboot/drops/bin/x86_586/l4v2/roottask^M^M [ 2d0000, 2dae5f] Boot bootstrap^M^M [ 300000, 38fd2f] Kern (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco^M^M [ 3132000, 662dbe7] Root Modules Memory^M^M [ 1fff0000, 1fffffff] Arch BIOS^M^M [ fffc0000, ffffffff] Arch BIOS^M^M API Version: (87) experimental^M^M Sigma0 config ip:001048b8 sp:002daa20^M^M Roottask config ip:00110000 sp:00000000^M^M Starting kernel (nd)/tftpboot/drops/bin/x86_586/l4v2/fiasco at 003008b8^M^M ^M^[[1;32mWelcome to Fiasco(ia32)! ^M^[[0;32mDD-L4(v2)/ia32 microkernel (C) 1998-2008 TU Dresden ^MRev: r394 compiled with gcc 4.2.2 for Intel Pentium [] ^[[0m ^M^[[31mPerformance-critical config option(s) detected: ^M CONFIG_ASSEMBLER_IPC_SHORTCUT is off ^M CONFIG_NDEBUG is off ^M CONFIG_FINE_GRAINED_CPUTIME is on ^M^[[m ^MEnabling special fully nested mode for PIC ^MUsing the PIT (i8254) on IRQ 0 for scheduling ^MAbsolute KIP Syscalls using: Sysenter ^MCPU: GenuineIntel (6:3:3:0) Model: Pentium II (Klamath) at 1729 MHz ^M ^M 32 KB L1 I Cache (8-way associative, 64 bytes per line) ^M 32 KB L1 D Cache (8-way associative, 64 bytes per line) ^M2048 KB L2 U Cache (8-way associative, 64 bytes per line) ^M ^MFreeing init code/data: 20480 bytes (5 pages) ^M ^MCalibrating timer loop... done. ^MSIGMA0: Hello! ^M KIP @ 1000 ^M Found Fiasco: KIP syscalls: yes ^M allocated 4KB for maintenance structures ^M ^M ^MRoottask. ^M Command line found: "(nd)/tftpboot/drops/bin/x86_586/l4v2/roottask -symbols -lines task sigma0 boot_priority 0xA0 task roottask boot_priority 0xA0 task modname "names" boot_priority 0xA0 task modname "log" boot_priority 0xA1 task modname "dm_phys" boot_priority 0xA0 task modname "simple_ts" boot_priority 0xA0 task modname "l4io" boot_priority 0xA3 task modname "loader" boot_priority 0xA0 allow_cli task modname "bmodfs" attached 7 modules" ^M ^M 523839kB ( 511MB) total RAM (reported by bootloader) ^M 474720kB ( 464MB) received RAM from Sigma0 ^M 56220kB ( 55MB) reserved RAM for RMGR ^M Received I/O ports 0000-ffff ^M Attached irqs = [ <!0> 1 <!2> 3 4 5 6 7 8 9 A B C D E F 10 11 ] ^M ^MRoottask: Parsing command line config. ^M configured task 0x02 (): ^M vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 ^M configured task 0x04 (): ^M vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 ^M configured task 0x00 (names): ^M vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 ^M configured task 0x00 (log): ^M vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:a1 small:ff mods:0 ^M configured task 0x00 (dm_phys): ^M vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 ^M configured task 0x00 (simple_ts): ^M vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:a0 small:ff mods:0 ^M configured task 0x00 (l4io): ^M vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:a3 small:ff mods:0 ^M configured task 0x00 (loader): ^M vm_offs:0 irq:3ffff lmcp:ffff allow_cli:1 mcp:ff prio:a0 small:ff mods:0 ^M configured task 0x00 (bmodfs): ^M vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:7 ^M MRoottask: Loading 16 modules. ^M^[[36m#05: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/names" ^M^[[m from [^[[37m03180000^[[m-^[[37m031c41e8^[[m] to [002d0000-002d6897] [002d7000-002e2000] ^M entry at ^[[37m0005d384^[[m via trampoline page code ^M symbols at [1d6ab000-1d6ad000] (8kB), lines at [1d6a5000-1d6ab000] (24kB) ^M^[[36m#06: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/log --prio 0xA1 --buffer 0" ^M^[[m from [^[[37m031c5000^[[m-^[[37m03205f67^[[m] to [00400000-00406f2a] [00407000-00439808] ^M entry at ^[[37m0005e398^[[m via trampoline page code ^M symbols at [1d6a3000-1d6a5000] (8kB), lines at [1d69d000-1d6a3000] (24kB) ^M^[[36m#07: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/dm_phys" ^M^[[m from [^[[37m03206000^[[m-^[[37m032a412c^[[m] to [01500000-015139d7] [01514000-0151e000] ^M entry at ^[[37m0005f388^[[m via trampoline page code ^M symbols at [1d698000-1d69d000] (20kB), lines at [1d68a000-1d698000] (56kB) ^M^[[36m#08: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/simple_ts -t 380" ^M^[[m from [^[[37m032a5000^[[m-^[[37m032f57dc^[[m] to [01400000-01408b8a] [01409000-014185e8] ^M entry at ^[[37m00060390^[[m via trampoline page code ^M symbols at [1d688000-1d68a000] (8kB), lines at [1d680000-1d688000] (32kB) ^M^[[36m#09: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/rtc" ^M^[[m from [^[[37m032f6000^[[m-^[[37m03329272^[[m] to [01080000-010845c0] [01085000-0108a000] ^M entry at ^[[37m00061384^[[m via trampoline page code ^M symbols at [1d67e000-1d680000] (8kB), lines at [1d679000-1d67e000] (20kB) ^M^[[36m#0a: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/l4io" ^M^[[m from [^[[37m0332a000^[[m-^[[37m0359b604^[[m] to [00c20000-00c44455] [00c45000-00cb3000] ^M entry at ^[[37m00063384^[[m via trampoline page code ^M symbols at [1d623000-1d679000] (344kB), lines at [1d609000-1d623000] (104kB) ^M^[[36m#0b: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/bmodfs" ^M^[[m from [^[[37m0359c000^[[m-^[[37m036441ca^[[m] to [01220000-01237f29] [01238000-0124f000] ^M passing module drops/bin/x86_586/l4v2/libloader.s.so [ 03645000-036e50ea ] ^M passing module /drops/bin/x86_586/l4v2/libld-l4.s.so [ 036e6000-03761ae9 ] ^M passing module )/tftpboot/drops/bin/x86_586/l4v2/run [ 03762000-037b0c54 ] ^M passing module boot/drops/bin/x86_586/l4v2/con_demo2 [ 037b1000-038447a6 ] ^M passing module boot/drops/bin/x86_586/l4v2/vmlinuz26 [ 03845000-03bc1b5e ] ^M passing module (nd)/tftpboot/drops/cfg/l4linux26.cfg [ 03bc2000-03bc209d ] ^M passing module d)/tftpboot/drops/ramdisk/drops-fp.rd [ 03bc3000-063c3000 ] ^M entry at ^[[37m00064538^[[m via trampoline page code ^M symbols at [1d604000-1d609000] (20kB), lines at [1d5f1000-1d604000] (76kB) ^M^[[36m#0c: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/l4con" ^M^[[m from [^[[37m063c3000^[[m-^[[37m0654df0d^[[m] to [00b00000-00b50bf1] [00b51000-00b71000] ^M entry at ^[[37m00065384^[[m via trampoline page code ^M symbols at [1d5e4000-1d5f1000] (52kB), lines at [1d5b0000-1d5e4000] (208kB) ^M^[[36m#0d: loading "(nd)/tftpboot/drops/bin/x86_586/l4v2/loader --fprov=BMODFS con_demo2 run l4linux26.cfg" ^M^[[m from [^[[37m0654e000^[[m-^[[37m0662dbe8^[[m] to [01300000-01327b09] [01328000-01348000] ^M entry at ^[[37m000663b0^[[m via trampoline page code ^M symbols at [1d5a9000-1d5b0000] (28kB), lines at [1d58f000-1d5a9000] (104kB) ^M ^MROOT: Sending ports 0070-0070 to task #09 ^MROOT: Sending ports 0080-0080 to task #09 ^MROOT: Sending ports 0071-0071 to task #09 ^Mio | Using platform configuration 'x86' ^MROOT: Sending ports 0cfb-0cfb to task #0a ^MROOT: Sending ports 0cf8-0cfb to task #0a ^MROOT: Sending ports 0cfe-0cff to task #0a ^Mio | PCI: Using configuration type 1 ^Mio | PCI: Probing PCI hardware ^Mio | PCI: Probing PCI hardware (bus 00) ^MROOT: Sending ports 0cfc-0cff to task #0a ^Mio | PCI: PIIX3: Enabling Passive Release on 00:01.0 ^Mio | Limiting direct PCI/PCI transfers. ^Mio | Activating ISA DMA hang workarounds. ^Mio | 00000000-ffffffff : PCI mem ^Mio | f0000000-f1ffffff : Cirrus Logic GD 5446 ^Mio | f2000000-f2000fff : Cirrus Logic GD 5446 ^Mio | 0000-ffff : PCI IO ^Mio | 0cf8-0cff : PCI conf1 ^Mio | b000-b03f : Intel Corporation 82371AB/EB/MB PIIX4 ACPI ^Mio | b100-b11f : Intel Corporation 82371AB/EB/MB PIIX4 ACPI ^Mio | c000-c00f : Intel Corporation 82371SB PIIX3 IDE [Natoma/Triton II] ^Mio | c100-c1ff : Realtek Semiconductor Co., Ltd. RTL-8029(AS) ^Mio | Available IRQs=[ <!0> 1 <!2> 3 4 5 6 7 8 9 a b c d e f 10 11 ] ^Msimplets| Configured for 380 tasks. ^Mloader | Can't map tbuf status page ^Mcon | Using fast memcpy. ^Mcon | Character size is 8x14, font has 256 characters ^Mcon | VESA reports 800x600@16 1600bpl (00bb) [4096kB] ^Mcon | Color mapping: red=11:5 green=5:6 blue=0:5 res=0:0 ^Mcon | No supported accelerated graphics card detected ^Mcon | Mapped I/O video mem f0000000 => 00400000 [4096kB] via l4io ^Mcon | Using MMXEXT for colorspace transform ^Mcon | L4INPUT native mode activated ^Mcon | L4INPUT: !!! W A R N I N G !!! ^Mcon | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT. ^Mcon | L4INPUT: !!! W A R N I N G !!! ^Mcon | L4INPUT: Registered 0xb03c30 for callbacks. ^MROOT: Sending ports 0060-006f to task #0a ^Mcon | serio: i8042 AUX port at 0x60,0x64 irq 12 ^Mcon | serio: i8042 KBD port at 0x60,0x64 irq 1 ^Mcon | input: ImExPS/2 Generic Explorer Mouse on isa0060/serio1 ^Mcon | input: AT Translated Set 2 keyboard on isa0060/serio0 ^Mcon | input: PC Speaker ^Mcon | input: L4 input event injector ^Mcon | L4 input event injector: IRQ handler up ^Mcon | connect "ImExPS/2 Generic Explorer Mouse", isa0060/serio1/input0 ^Mcon | connect "AT Translated Set 2 keyboard", isa0060/serio0/input0 ^Mcon | connect "PC Speaker", isa0061/input0 ^Mcon | connect "L4 input event injector", l4/sys ^Mcon | Running as C.02. Video mode is 800x600@16. ^Mrtc | Date:23.09.2008 Time:13:35:51 ^Mbmodfs | Passed the following modules: ^Mbmodfs | module "(nd)/tftpboot/drops/bin/x86_586/l4v2/libloader.s.so" (641kB ^Mbmodfs : ) ^Mbmodfs | module "(nd)/tftpboot/drops/bin/x86_586/l4v2/libld-l4.s.so" (495kB) ^Mbmodfs | module "(nd)/tftpboot/drops/bin/x86_586/l4v2/run" (316kB) ^Mbmodfs | module "(nd)/tftpboot/drops/bin/x86_586/l4v2/con_demo2" (590kB) ^Mbmodfs | module "(nd)/tftpboot/drops/bin/x86_586/l4v2/vmlinuz26" (3571kB) ^Mbmodfs | module "(nd)/tftpboot/drops/cfg/l4linux26.cfg" (1kB) ^Mbmodfs | module "(nd)/tftpboot/drops/ramdisk/drops-fp.rd" (40960kB) ^Mloader | "con_demo2" is a valid binary image ^Mloader | con_demo2: Starting sigma0-style application ^Mloader | con_demo2: Loading binary ^Mloader | ^[[36mcon_demo2,#e: Entry at 00009c88 => 00800000^[[m ^Mloader | con_demo2,#e: Started ^Mloader | "run" needs libld-l4.s.so ^Mloader | run: Starting application using libld-l4.s.so ^Mloader | ^[[36mrun,#f: Loading binary^[[m ^Mloader | run,#f: Loading ldso ^Mloader | run,#f: Starting libld-l4.s.so at 000138e0 via 0000cc8c ^Mloader | sleeping for 1000 ms ^Mcon_demo| Hello there, I am E.02. ^Mcon | vc_loop(): vc[1] running as C.07 ^Mcon | vc[1] 800x600@16, bpl:1600, gmode:0x25, evprt:0.00 save:1 ^Mloader | vmlinuz26: Starting application using libld-l4.s.so ^Mloader | ^[[36mvmlinuz26,#10: Loading binary^[[m ^Mloader | vmlinuz26,#10: Loading ldso ^Mloader | vmlinuz26,#10: Starting libld-l4.s.so at 000138e0 via 0000cc3c ^Mcon | vc_loop(): vc[2] running as C.08 ^Mcon | vc[2] 800x600@16, bpl:1600, gmode:0x25, evprt:F.03 save:0 ^Mrun | contxt_init(): 800x582, cols:100, lines:41, sb_lines:1041 ^Ml4lx | ^[[34;1m======> L4Linux 2.6 starting... <========^[[0m ^Ml4lx | Linux version 2.6.26-l4-svn118-dirty1 (root@localhost) (gcc version 4 ^Ml4lx : .2.2 20071128 (prerelease) (4.2.2-3mdv2008.0)) #6 Wed Sep 24 02:32:30 ^Ml4lx : PETST 2008 ^Ml4lx | Binary name: vmlinuz26 ^Ml4lx | Linux kernel command line (5 args): mem=120M load_ramdisk=1 ramdisk_s ^Ml4lx : ize=16384 root=/dev/ram l4env_rd=drops-fp.rd ^Ml4lx | Image: 00400000 - 007b9000 [3812 KiB]. ^Ml4lx | Areas: Text: 00400000 - 006c3000 [2828kB] (a bit longer) ^Ml4lx | Data: 006c3000 - 006e46d8 [133kB] ^Ml4lx | Initdata: 006e8000 - 00726000 [248kB] ^Ml4lx | BSS: 00728000 - 007b8b50 [578kB] ^Ml4lx | l4lx_thread_create: Created thread 10.03 (tamer0) ^Ml4lx | Tamer0 is 10.03 ^Ml4lx | Using tamed mode. ^MROOT: Sending all ports (for cli/sti) to task #0d ^Ml4lx | Got 65536 out of 65536 I/O ports ^Ml4lx | Connecting to l4io server. ^Ml4lx | l4env_linux_startup thread 4. ^Ml4lx | l4lx_thread_create: Created thread 10.04 (cpu0) ^Ml4lx | main thread will be 10.04 ^Ml4lx | l4env_register_pointer_section: addr = 006e6000 size = 266240 ^Ml4lx | sec-w-init: virt: 0x006e6000 to 0x00726fff [260 KiB] ^Ml4lx | Noncontiguous region for sec-w-init ^Ml4lx | sec-w-init: Number of physical regions: 2, 266240 Bytes ^Ml4lx | sec-w-init: 1: Phys: 0x014f4000 to 0x01500000, Size: 49152 ^Ml4lx | sec-w-init: 2: Phys: 0x004ff000 to 0x00534000, Size: 217088 ^Ml4lx | main thread: received startup message. ^Ml4lx | setup_l4env_memory: Forcing superpages for main memory ^Ml4lx | Main memory size: 120MB ^Ml4lx | Main memory: virt: 0x00800000 to 0x07ffffff [122880 KiB] ^Ml4lx | Main memory: Number of physical regions: 1, 125829120 Bytes ^Ml4lx | Main memory: 1: Phys: 0x06400000 to 0x0dc00000, Size: 125829120 ^Ml4lx | Filling lower ptabs... ^Ml4lx | mainmem = 800000 ^Ml4lx | Main thread running, waiting... ^Ml4lx | Done (1028 entries). ^Ml4lx | l4env_register_pointer_section: addr = 00728000 size = 593920 ^Ml4lx | end: virt: 0x00728000 to 0x007b8fff [580 KiB] ^Ml4lx | end: Number of physical regions: 1, 593920 Bytes ^Ml4lx | end: 1: Phys: 0x0151e000 to 0x015af000, Size: 593920 ^Ml4lx | l4env_rd_path: drops-fp.rd ^Ml4lx | Loading: drops-fp.rd ^Ml4lx | INITRD: Size of RAMdisk is 40960KiB ^Ml4lx | RAMdisk from 10000000 to 12800000 [40960KiB] ^Ml4lx | l4lx_thread_create: Created thread 10.05 (timer.i0) ^M^[[1;25r^[[25;1H ^M^[[32m ---------------------------------------------------------IP: f0035e9b^[[m ^M ^[[32m--^[[mGeneral Protection ^M^[[25;1H^[[32m[l4lx.main] (10.02) jdb: ^[[m^[[K [------------------------------cut------------------------------] -- General protection fault at f0035e9b in l4lx.main when i press 'u' in kernel debugger, the following unassembly around the faulting instruction appears: [------------------------------cut------------------------------] <in_syscall>: f0035e94 pop %ecx f0035e95 pop %edx f0035e96 pop %esi f0035e97 pop %edi f0035e98 pop %ebx f0035e99 pop %ebp f0035e9a pop %eax f0035e9b iret f0035e9c lea 0x0(%esi),%esi <entry_sys_id_nearest>: f0035ea0 push %eax f0035ea1 mov $0xf0052f64,%eax f0035ea6 jmp 0xf0035e70 <all_syscalls> <entry_sys_fpage_unmap>: f0035ea8 push %eax f0035ea9 mov $0xf0052f68,%eax f0035eae jmp 0xf0035e70 <all_syscalls> <entry_sys_thread_switch>: f0035eb0 push %eax f0035eb1 mov $0xf0052f6c,%eax f0035eb6 jmp 0xf0035e70 <all_syscalls> <entry_sys_thread_schedule>: f0035eb8 push %eax [------------------------------cut------------------------------] So, the trap occurs when returning from an interrupt handler. And also the address 0xf0035e9b is seems to be somewhere in L4 kernel, not in linux itself. What it can be and how can I resolve this? Thanks in advance, Valery.

1 0

trap (GPF) when starting l4linux (+)
by valerius 23 Sep '08

23 Sep '08

Sorry, i forgot to add my linux .config: # # Automatically generated make config: don't edit # Linux kernel version: 2.6.26-l4 # Wed Sep 24 02:31:47 2008 # # # L4Linux configuration # CONFIG_L4=y CONFIG_L4_LINUX=y CONFIG_L4_OBJ_TREE="/home/valerius/src/tudos/obj" CONFIG_L4_L4ENV=y CONFIG_L4_LDR=y CONFIG_L4_ARCH_X86=y # CONFIG_L4_ARCH_ARM is not set CONFIG_L4_VMLINUZ_SUFFIX="26" CONFIG_HZ=100 CONFIG_PHYSICAL_START=0x0 # # L4 build options # CONFIG_L4_MK_CPU_X86="586" # # IRQ Handling # # CONFIG_L4_IRQ_SINGLE is not set CONFIG_L4_IRQ_OMEGA0=y # 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 is not set # CONFIG_L4_ORE_DRV is not set # CONFIG_L4_SERIAL is not set # # Debugging options # CONFIG_L4_DEBUG=y CONFIG_L4_DEBUG_REGISTER_NAMES=y CONFIG_L4_DEBUG_SEGFAULTS=y CONFIG_L4_DEBUG_STATS=y # CONFIG_L4_DEBUG_IRQ_WHEELS is not set # CONFIG_L4_DEBUG_TAMED_COUNT_INTERRUPT_DISABLE is not set # # Advanced options # CONFIG_L4_L4ENV_MEMSIZE=32 CONFIG_L4_TAMED=y # # Priority configuration # CONFIG_L4_PRIO_SERVER_PROC=64 CONFIG_L4_PRIO_IDLER=65 CONFIG_L4_PRIO_IRQ_BASE=66 CONFIG_L4_PRIO_TAMER=85 CONFIG_L4_PRIO_L4FB_INPUT=70 CONFIG_L4_PRIO_L4FB_REFRESH=70 CONFIG_L4_PRIO_L4ORE=70 # # 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_L4_USE_L4VMM is not set CONFIG_L4_CONFIG_CHECKS=y # CONFIG_L4_SAMPLE_MODULE is not set # # # # CONFIG_64BIT is not set CONFIG_X86_32=y # CONFIG_X86_64 is not set CONFIG_X86=y CONFIG_ARCH_DEFCONFIG="arch/x86/configs/i386_defconfig" # CONFIG_GENERIC_LOCKBREAK is not set CONFIG_GENERIC_TIME=y CONFIG_GENERIC_CMOS_UPDATE=y CONFIG_CLOCKSOURCE_WATCHDOG=y CONFIG_GENERIC_CLOCKEVENTS=y CONFIG_LOCKDEP_SUPPORT=y CONFIG_STACKTRACE_SUPPORT=y CONFIG_HAVE_LATENCYTOP_SUPPORT=y CONFIG_FAST_CMPXCHG_LOCAL=y CONFIG_MMU=y CONFIG_ZONE_DMA=y CONFIG_GENERIC_ISA_DMA=y CONFIG_GENERIC_IOMAP=y CONFIG_GENERIC_BUG=y CONFIG_GENERIC_HWEIGHT=y # CONFIG_GENERIC_GPIO is not set CONFIG_ARCH_MAY_HAVE_PC_FDC=y # CONFIG_RWSEM_GENERIC_SPINLOCK is not set CONFIG_RWSEM_XCHGADD_ALGORITHM=y # CONFIG_ARCH_HAS_ILOG2_U32 is not set # CONFIG_ARCH_HAS_ILOG2_U64 is not set CONFIG_ARCH_HAS_CPU_IDLE_WAIT=y CONFIG_GENERIC_CALIBRATE_DELAY=y # CONFIG_GENERIC_TIME_VSYSCALL is not set CONFIG_ARCH_HAS_CPU_RELAX=y CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y # CONFIG_HAVE_SETUP_PER_CPU_AREA is not set # CONFIG_HAVE_CPUMASK_OF_CPU_MAP is not set CONFIG_ARCH_HIBERNATION_POSSIBLE=y CONFIG_ARCH_SUSPEND_POSSIBLE=y # CONFIG_ZONE_DMA32 is not set CONFIG_ARCH_POPULATES_NODE_MAP=y # CONFIG_AUDIT_ARCH is not set CONFIG_ARCH_SUPPORTS_AOUT=y CONFIG_ARCH_SUPPORTS_OPTIMIZED_INLINING=y CONFIG_GENERIC_HARDIRQS=y CONFIG_GENERIC_IRQ_PROBE=y CONFIG_X86_BIOS_REBOOT=y CONFIG_KTIME_SCALAR=y CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config" # # General setup # CONFIG_EXPERIMENTAL=y CONFIG_BROKEN_ON_SMP=y CONFIG_INIT_ENV_ARG_LIMIT=32 CONFIG_LOCALVERSION="" CONFIG_LOCALVERSION_AUTO=y CONFIG_SWAP=y CONFIG_SYSVIPC=y CONFIG_SYSVIPC_SYSCTL=y CONFIG_POSIX_MQUEUE=y # CONFIG_BSD_PROCESS_ACCT is not set # CONFIG_TASKSTATS is not set # CONFIG_AUDIT is not set # CONFIG_IKCONFIG is not set CONFIG_LOG_BUF_SHIFT=15 # CONFIG_CGROUPS is not set CONFIG_HAVE_UNSTABLE_SCHED_CLOCK=y CONFIG_GROUP_SCHED=y CONFIG_FAIR_GROUP_SCHED=y # CONFIG_RT_GROUP_SCHED is not set CONFIG_USER_SCHED=y # CONFIG_CGROUP_SCHED is not set CONFIG_SYSFS_DEPRECATED=y CONFIG_SYSFS_DEPRECATED_V2=y # CONFIG_RELAY is not set # CONFIG_NAMESPACES is not set CONFIG_BLK_DEV_INITRD=y 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_SYSCTL_SYSCALL_CHECK=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_PCSPKR_PLATFORM is not set CONFIG_COMPAT_BRK=y CONFIG_BASE_FULL=y CONFIG_FUTEX=y CONFIG_ANON_INODES=y CONFIG_EPOLL=y CONFIG_SIGNALFD=y CONFIG_TIMERFD=y CONFIG_EVENTFD=y CONFIG_SHMEM=y CONFIG_VM_EVENT_COUNTERS=y CONFIG_SLAB=y # CONFIG_SLUB is not set # CONFIG_SLOB is not set # CONFIG_PROFILING is not set # CONFIG_MARKERS is not set CONFIG_HAVE_OPROFILE=y # CONFIG_KPROBES is not set CONFIG_HAVE_KPROBES=y CONFIG_HAVE_KRETPROBES=y # CONFIG_HAVE_DMA_ATTRS is not set CONFIG_PROC_PAGE_MONITOR=y CONFIG_SLABINFO=y CONFIG_RT_MUTEXES=y # CONFIG_TINY_SHMEM is not set CONFIG_BASE_SMALL=0 CONFIG_MODULES=y # CONFIG_MODULE_FORCE_LOAD is not set # CONFIG_MODULE_UNLOAD is not set CONFIG_MODVERSIONS=y # CONFIG_MODULE_SRCVERSION_ALL is not set CONFIG_KMOD=y CONFIG_BLOCK=y # CONFIG_LBD is not set # CONFIG_BLK_DEV_IO_TRACE is not set # CONFIG_LSF is not set # CONFIG_BLK_DEV_BSG 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" CONFIG_CLASSIC_RCU=y # # Processor type and features # # CONFIG_TICK_ONESHOT is not set # CONFIG_NO_HZ is not set # CONFIG_HIGH_RES_TIMERS is not set CONFIG_GENERIC_CLOCKEVENTS_BUILD=y # 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_X86_RDC321X is not set # CONFIG_X86_VSMP is not set CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y # CONFIG_PARAVIRT_GUEST 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_MVIAC7 is not set # CONFIG_MPSC is not set # CONFIG_MCORE2 is not set # CONFIG_GENERIC_CPU is not set # CONFIG_X86_GENERIC is not set CONFIG_X86_CPU=y CONFIG_X86_CMPXCHG=y CONFIG_X86_L1_CACHE_SHIFT=5 CONFIG_X86_XADD=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_ALIGNMENT_16=y CONFIG_X86_TSC=y CONFIG_X86_MINIMUM_CPU_FAMILY=4 # CONFIG_HPET_TIMER is not set CONFIG_DMI=y # CONFIG_IOMMU_HELPER 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 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_2G_OPT is not set # CONFIG_VMSPLIT_1G is not set CONFIG_PAGE_OFFSET=0 # CONFIG_X86_PAE is not set CONFIG_ARCH_FLATMEM_ENABLE=y CONFIG_ARCH_SPARSEMEM_ENABLE=y CONFIG_ARCH_SELECT_MEMORY_MODEL=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_SPARSEMEM_VMEMMAP_ENABLE is not set CONFIG_PAGEFLAGS_EXTENDED=y CONFIG_SPLIT_PTLOCK_CPUS=4 # CONFIG_RESOURCES_64BIT is not set CONFIG_ZONE_DMA_FLAG=1 CONFIG_BOUNCE=y CONFIG_VIRT_TO_BUS=y # CONFIG_MATH_EMULATION is not set # CONFIG_MTRR is not set CONFIG_SECCOMP=y # CONFIG_HZ_100 is not set CONFIG_HZ_250=y # CONFIG_HZ_300 is not set # CONFIG_HZ_1000 is not set # CONFIG_SCHED_HRTICK is not set # CONFIG_KEXEC is not set # CONFIG_RELOCATABLE is not set CONFIG_PHYSICAL_ALIGN=0x100000 CONFIG_COMPAT_VDSO=y # # Power management options # # CONFIG_PM is not set # # CPU Frequency scaling # # CONFIG_CPU_FREQ is not set # CONFIG_CPU_IDLE is not set # # Bus options (PCI etc.) # CONFIG_PCI=y # CONFIG_PCI_GOBIOS is not set # CONFIG_PCI_GOMMCONFIG is not set CONFIG_PCI_GODIRECT=y # CONFIG_PCI_GOOLPC is not set # CONFIG_PCI_GOANY is not set CONFIG_PCI_DIRECT=y CONFIG_PCI_DOMAINS=y # CONFIG_PCIEPORTBUS is not set # CONFIG_ARCH_SUPPORTS_MSI is not set CONFIG_PCI_LEGACY=y # 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 # CONFIG_OLPC is not set # # Executable file formats / Emulations # CONFIG_BINFMT_ELF=y CONFIG_BINFMT_AOUT=y CONFIG_BINFMT_MISC=y # # Networking # CONFIG_NET=y # # Networking options # 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_XFRM_MIGRATE is not set # CONFIG_XFRM_STATISTICS 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_LRO is not set 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_TCP_MD5SIG is not set # CONFIG_IPV6 is not set # CONFIG_NETWORK_SECMARK is not set # CONFIG_NETFILTER is not set # CONFIG_IP_DCCP is not set # CONFIG_IP_SCTP is not set # 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 # CONFIG_NET_SCHED is not set # # Network testing # # CONFIG_NET_PKTGEN is not set # CONFIG_HAMRADIO is not set # CONFIG_CAN is not set # CONFIG_IRDA is not set # CONFIG_BT is not set # CONFIG_AF_RXRPC is not set # # Wireless # # CONFIG_CFG80211 is not set # CONFIG_WIRELESS_EXT is not set # CONFIG_MAC80211 is not set # CONFIG_IEEE80211 is not set # CONFIG_RFKILL is not set # CONFIG_NET_9P is not set # # Device Drivers # # # Generic Driver Options # CONFIG_STANDALONE=y CONFIG_PREVENT_FIRMWARE_BUILD=y # CONFIG_DEBUG_DRIVER is not set # CONFIG_DEBUG_DEVRES is not set # CONFIG_SYS_HYPERVISOR is not set # CONFIG_CONNECTOR is not set # CONFIG_MTD is not set # CONFIG_PARPORT is not set # CONFIG_PNP is not set CONFIG_BLK_DEV=y # CONFIG_BLK_DEV_FD is not set # CONFIG_BLK_DEV_XD is not set # CONFIG_BLK_CPQ_DA is not set # CONFIG_BLK_CPQ_CISS_DA is not set # CONFIG_BLK_DEV_DAC960 is not set # CONFIG_BLK_DEV_UMEM is not set # CONFIG_BLK_DEV_COW_COMMON is not set # CONFIG_BLK_DEV_LOOP is not set # CONFIG_BLK_DEV_NBD is not set # CONFIG_BLK_DEV_SX8 is not set CONFIG_BLK_DEV_RAM=y CONFIG_BLK_DEV_RAM_COUNT=16 CONFIG_BLK_DEV_RAM_SIZE=4096 # CONFIG_BLK_DEV_XIP is not set # CONFIG_CDROM_PKTCDVD is not set # CONFIG_ATA_OVER_ETH is not set CONFIG_MISC_DEVICES=y # CONFIG_IBM_ASM is not set # CONFIG_PHANTOM is not set # CONFIG_EEPROM_93CX6 is not set # CONFIG_SGI_IOC4 is not set # CONFIG_TIFM_CORE is not set # CONFIG_ENCLOSURE_SERVICES is not set CONFIG_HAVE_IDE=y CONFIG_IDE=y CONFIG_IDE_MAX_HWIFS=4 CONFIG_BLK_DEV_IDE=y # # Please see Documentation/ide/ide.txt for help/info on IDE drives # # CONFIG_BLK_DEV_IDE_SATA is not set CONFIG_BLK_DEV_IDEDISK=y # CONFIG_IDEDISK_MULTI_MODE is not set CONFIG_BLK_DEV_IDECD=y CONFIG_BLK_DEV_IDECD_VERBOSE_ERRORS=y # CONFIG_BLK_DEV_IDETAPE is not set # CONFIG_BLK_DEV_IDEFLOPPY is not set # CONFIG_BLK_DEV_IDESCSI is not set # CONFIG_IDE_TASK_IOCTL is not set CONFIG_IDE_PROC_FS=y # # IDE chipset support/bugfixes # CONFIG_IDE_GENERIC=y # CONFIG_BLK_DEV_PLATFORM is not set # CONFIG_BLK_DEV_CMD640 is not set CONFIG_BLK_DEV_IDEDMA_SFF=y # # PCI IDE chipsets support # CONFIG_BLK_DEV_IDEPCI=y CONFIG_IDEPCI_PCIBUS_ORDER=y # CONFIG_BLK_DEV_OFFBOARD is not set CONFIG_BLK_DEV_GENERIC=y # CONFIG_BLK_DEV_OPTI621 is not set # CONFIG_BLK_DEV_RZ1000 is not set CONFIG_BLK_DEV_IDEDMA_PCI=y # CONFIG_BLK_DEV_AEC62XX is not set # CONFIG_BLK_DEV_ALI15X3 is not set # CONFIG_BLK_DEV_AMD74XX is not set # CONFIG_BLK_DEV_ATIIXP is not set # CONFIG_BLK_DEV_CMD64X is not set # CONFIG_BLK_DEV_TRIFLEX is not set # CONFIG_BLK_DEV_CY82C693 is not set # CONFIG_BLK_DEV_CS5520 is not set # CONFIG_BLK_DEV_CS5530 is not set # CONFIG_BLK_DEV_CS5535 is not set # CONFIG_BLK_DEV_HPT34X is not set # CONFIG_BLK_DEV_HPT366 is not set # CONFIG_BLK_DEV_JMICRON is not set # CONFIG_BLK_DEV_SC1200 is not set CONFIG_BLK_DEV_PIIX=y # CONFIG_BLK_DEV_IT8213 is not set # CONFIG_BLK_DEV_IT821X is not set # CONFIG_BLK_DEV_NS87415 is not set # CONFIG_BLK_DEV_PDC202XX_OLD is not set # CONFIG_BLK_DEV_PDC202XX_NEW is not set # CONFIG_BLK_DEV_SVWKS is not set # CONFIG_BLK_DEV_SIIMAGE is not set # CONFIG_BLK_DEV_SIS5513 is not set # CONFIG_BLK_DEV_SLC90E66 is not set # CONFIG_BLK_DEV_TRM290 is not set CONFIG_BLK_DEV_VIA82CXXX=y # CONFIG_BLK_DEV_TC86C001 is not set # # Other IDE chipsets support # # # Note: most of these also require special kernel boot parameters # # CONFIG_BLK_DEV_4DRIVES is not set # CONFIG_BLK_DEV_ALI14XX is not set # CONFIG_BLK_DEV_DTC2278 is not set # CONFIG_BLK_DEV_HT6560B is not set # CONFIG_BLK_DEV_QD65XX is not set # CONFIG_BLK_DEV_UMC8672 is not set CONFIG_BLK_DEV_IDEDMA=y # CONFIG_BLK_DEV_HD_ONLY is not set # CONFIG_BLK_DEV_HD is not set # # SCSI device support # # CONFIG_RAID_ATTRS is not set CONFIG_SCSI=y CONFIG_SCSI_DMA=y # CONFIG_SCSI_TGT is not set # CONFIG_SCSI_NETLINK is not set CONFIG_SCSI_PROC_FS=y # # SCSI support type (disk, tape, CD-ROM) # # CONFIG_BLK_DEV_SD is not set # CONFIG_CHR_DEV_ST is not set # CONFIG_CHR_DEV_OSST is not set # CONFIG_BLK_DEV_SR is not set # CONFIG_CHR_DEV_SG is not set # CONFIG_CHR_DEV_SCH is not set # # Some SCSI devices (e.g. CD jukebox) support multiple LUNs # # CONFIG_SCSI_MULTI_LUN is not set # CONFIG_SCSI_CONSTANTS is not set # CONFIG_SCSI_LOGGING is not set # CONFIG_SCSI_SCAN_ASYNC is not set CONFIG_SCSI_WAIT_SCAN=m # # SCSI Transports # # CONFIG_SCSI_SPI_ATTRS is not set # CONFIG_SCSI_FC_ATTRS is not set # CONFIG_SCSI_ISCSI_ATTRS is not set # CONFIG_SCSI_SAS_LIBSAS is not set # CONFIG_SCSI_SRP_ATTRS is not set CONFIG_SCSI_LOWLEVEL=y # CONFIG_ISCSI_TCP is not set # CONFIG_BLK_DEV_3W_XXXX_RAID is not set # CONFIG_SCSI_3W_9XXX is not set # CONFIG_SCSI_7000FASST is not set # CONFIG_SCSI_ACARD is not set # CONFIG_SCSI_AHA152X is not set # CONFIG_SCSI_AHA1542 is not set # CONFIG_SCSI_AACRAID is not set # CONFIG_SCSI_AIC7XXX is not set # CONFIG_SCSI_AIC7XXX_OLD is not set # CONFIG_SCSI_AIC79XX is not set # CONFIG_SCSI_AIC94XX is not set # CONFIG_SCSI_DPT_I2O is not set # CONFIG_SCSI_ADVANSYS is not set # CONFIG_SCSI_IN2000 is not set # CONFIG_SCSI_ARCMSR is not set # CONFIG_MEGARAID_NEWGEN is not set # CONFIG_MEGARAID_LEGACY is not set # CONFIG_MEGARAID_SAS is not set # CONFIG_SCSI_HPTIOP is not set # CONFIG_SCSI_BUSLOGIC is not set # CONFIG_SCSI_DMX3191D is not set # CONFIG_SCSI_DTC3280 is not set # CONFIG_SCSI_EATA is not set # CONFIG_SCSI_FUTURE_DOMAIN is not set # CONFIG_SCSI_GDTH is not set # CONFIG_SCSI_GENERIC_NCR5380 is not set # CONFIG_SCSI_GENERIC_NCR5380_MMIO is not set # CONFIG_SCSI_IPS is not set # CONFIG_SCSI_INITIO is not set # CONFIG_SCSI_INIA100 is not set # CONFIG_SCSI_MVSAS is not set # CONFIG_SCSI_NCR53C406A is not set # CONFIG_SCSI_STEX is not set # CONFIG_SCSI_SYM53C8XX_2 is not set # CONFIG_SCSI_IPR is not set # CONFIG_SCSI_PAS16 is not set # CONFIG_SCSI_QLOGIC_FAS is not set # CONFIG_SCSI_QLOGIC_1280 is not set # CONFIG_SCSI_QLA_FC is not set # CONFIG_SCSI_QLA_ISCSI is not set # CONFIG_SCSI_LPFC is not set # CONFIG_SCSI_SYM53C416 is not set # CONFIG_SCSI_DC395x is not set # CONFIG_SCSI_DC390T is not set # CONFIG_SCSI_T128 is not set # CONFIG_SCSI_U14_34F is not set # CONFIG_SCSI_ULTRASTOR is not set # CONFIG_SCSI_NSP32 is not set # CONFIG_SCSI_DEBUG is not set # CONFIG_SCSI_SRP is not set CONFIG_ATA=y # CONFIG_ATA_NONSTANDARD is not set CONFIG_SATA_PMP=y CONFIG_SATA_AHCI=y CONFIG_SATA_SIL24=y CONFIG_ATA_SFF=y # CONFIG_SATA_SVW is not set CONFIG_ATA_PIIX=y CONFIG_SATA_MV=y CONFIG_SATA_NV=y CONFIG_PDC_ADMA=y CONFIG_SATA_QSTOR=y CONFIG_SATA_PROMISE=y CONFIG_SATA_SX4=y CONFIG_SATA_SIL=y # CONFIG_SATA_SIS is not set # CONFIG_SATA_ULI is not set # CONFIG_SATA_VIA is not set # CONFIG_SATA_VITESSE is not set # CONFIG_SATA_INIC162X is not set # CONFIG_PATA_ALI is not set # CONFIG_PATA_AMD is not set # CONFIG_PATA_ARTOP is not set # CONFIG_PATA_ATIIXP is not set # CONFIG_PATA_CMD640_PCI is not set # CONFIG_PATA_CMD64X is not set # CONFIG_PATA_CS5520 is not set # CONFIG_PATA_CS5530 is not set # CONFIG_PATA_CS5535 is not set # CONFIG_PATA_CS5536 is not set # CONFIG_PATA_CYPRESS is not set # CONFIG_PATA_EFAR is not set # CONFIG_ATA_GENERIC is not set # CONFIG_PATA_HPT366 is not set # CONFIG_PATA_HPT37X is not set # CONFIG_PATA_HPT3X2N is not set # CONFIG_PATA_HPT3X3 is not set # CONFIG_PATA_IT821X is not set # CONFIG_PATA_IT8213 is not set # CONFIG_PATA_JMICRON is not set # CONFIG_PATA_LEGACY is not set # CONFIG_PATA_TRIFLEX is not set # CONFIG_PATA_MARVELL is not set # CONFIG_PATA_MPIIX is not set # CONFIG_PATA_OLDPIIX is not set # CONFIG_PATA_NETCELL is not set # CONFIG_PATA_NINJA32 is not set # CONFIG_PATA_NS87410 is not set # CONFIG_PATA_NS87415 is not set # CONFIG_PATA_OPTI is not set # CONFIG_PATA_OPTIDMA is not set # CONFIG_PATA_PDC_OLD is not set # CONFIG_PATA_QDI is not set # CONFIG_PATA_RADISYS is not set # CONFIG_PATA_RZ1000 is not set # CONFIG_PATA_SC1200 is not set # CONFIG_PATA_SERVERWORKS is not set # CONFIG_PATA_PDC2027X is not set # CONFIG_PATA_SIL680 is not set # CONFIG_PATA_SIS is not set # CONFIG_PATA_VIA is not set # CONFIG_PATA_WINBOND is not set # CONFIG_PATA_WINBOND_VLB is not set # CONFIG_PATA_PLATFORM is not set # CONFIG_PATA_SCH is not set # CONFIG_MD is not set # CONFIG_FUSION is not set # # IEEE 1394 (FireWire) support # # # Enable only one of the two stacks, unless you know what you are doing # # CONFIG_FIREWIRE is not set # CONFIG_IEEE1394 is not set # CONFIG_I2O is not set # CONFIG_MACINTOSH_DRIVERS is not set CONFIG_NETDEVICES=y # CONFIG_NETDEVICES_MULTIQUEUE is not set # CONFIG_DUMMY is not set # CONFIG_BONDING is not set # CONFIG_MACVLAN is not set # CONFIG_EQUALIZER is not set # CONFIG_TUN is not set # CONFIG_VETH is not set # CONFIG_ARCNET is not set # CONFIG_PHYLIB is not set CONFIG_NET_ETHERNET=y CONFIG_MII=y # CONFIG_HAPPYMEAL is not set # CONFIG_SUNGEM is not set # CONFIG_CASSINI is not set CONFIG_NET_VENDOR_3COM=y # CONFIG_EL1 is not set # CONFIG_EL2 is not set # CONFIG_ELPLUS is not set # CONFIG_EL16 is not set CONFIG_EL3=y # CONFIG_3C515 is not set # CONFIG_VORTEX is not set # CONFIG_TYPHOON is not set # CONFIG_LANCE is not set # CONFIG_NET_VENDOR_SMC is not set # CONFIG_NET_VENDOR_RACAL is not set CONFIG_NET_TULIP=y # CONFIG_DE2104X is not set CONFIG_TULIP=y # CONFIG_TULIP_MWI is not set # CONFIG_TULIP_MMIO is not set # CONFIG_TULIP_NAPI is not set # CONFIG_DE4X5 is not set # CONFIG_WINBOND_840 is not set # CONFIG_DM9102 is not set # CONFIG_ULI526X is not set # CONFIG_AT1700 is not set # CONFIG_DEPCA is not set # CONFIG_HP100 is not set # CONFIG_NET_ISA is not set # CONFIG_IBM_NEW_EMAC_ZMII is not set # CONFIG_IBM_NEW_EMAC_RGMII is not set # CONFIG_IBM_NEW_EMAC_TAH is not set # CONFIG_IBM_NEW_EMAC_EMAC4 is not set CONFIG_NET_PCI=y CONFIG_PCNET32=y # CONFIG_AMD8111_ETH is not set # CONFIG_ADAPTEC_STARFIRE is not set # CONFIG_AC3200 is not set # CONFIG_APRICOT is not set # CONFIG_B44 is not set # CONFIG_FORCEDETH is not set # CONFIG_CS89x0 is not set CONFIG_EEPRO100=y # CONFIG_E100 is not set # CONFIG_FEALNX is not set # CONFIG_NATSEMI is not set CONFIG_NE2K_PCI=y # CONFIG_8139CP is not set # CONFIG_8139TOO is not set # CONFIG_R6040 is not set # CONFIG_SIS900 is not set # CONFIG_EPIC100 is not set # CONFIG_SUNDANCE is not set # CONFIG_TLAN is not set # CONFIG_VIA_RHINE is not set # CONFIG_SC92031 is not set CONFIG_NETDEV_1000=y # CONFIG_ACENIC is not set # CONFIG_DL2K is not set CONFIG_E1000=y # CONFIG_E1000_NAPI is not set # CONFIG_E1000_DISABLE_PACKET_SPLIT is not set # CONFIG_E1000E is not set # CONFIG_E1000E_ENABLED is not set # CONFIG_IP1000 is not set # CONFIG_IGB is not set # CONFIG_NS83820 is not set # CONFIG_HAMACHI is not set # CONFIG_YELLOWFIN is not set # CONFIG_R8169 is not set # CONFIG_SIS190 is not set # CONFIG_SKGE is not set # CONFIG_SKY2 is not set # CONFIG_VIA_VELOCITY is not set CONFIG_TIGON3=y # CONFIG_BNX2 is not set # CONFIG_QLA3XXX is not set # CONFIG_ATL1 is not set CONFIG_NETDEV_10000=y # CONFIG_CHELSIO_T1 is not set # CONFIG_CHELSIO_T3 is not set # CONFIG_IXGBE is not set # CONFIG_IXGB is not set # CONFIG_S2IO is not set # CONFIG_MYRI10GE is not set # CONFIG_NETXEN_NIC is not set # CONFIG_NIU is not set # CONFIG_MLX4_CORE is not set # CONFIG_TEHUTI is not set # CONFIG_BNX2X is not set # CONFIG_SFC is not set # CONFIG_TR is not set # # Wireless LAN # # CONFIG_WLAN_PRE80211 is not set # CONFIG_WLAN_80211 is not set # CONFIG_IWLWIFI_LEDS is not set # CONFIG_WAN is not set # CONFIG_FDDI is not set # CONFIG_HIPPI is not set # CONFIG_PPP is not set # CONFIG_SLIP is not set # CONFIG_NET_FC is not set # CONFIG_NETCONSOLE is not set # CONFIG_NETPOLL is not set # CONFIG_NET_POLL_CONTROLLER is not set # CONFIG_ISDN is not set # CONFIG_PHONE is not set # # Input device support # CONFIG_INPUT=y # CONFIG_INPUT_FF_MEMLESS is not set # CONFIG_INPUT_POLLDEV is not set # # Userland interfaces # CONFIG_INPUT_MOUSEDEV=y CONFIG_INPUT_MOUSEDEV_PSAUX=y CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768 CONFIG_INPUT_JOYDEV=y CONFIG_INPUT_EVDEV=y # CONFIG_INPUT_EVBUG is not set # # Input Device Drivers # # CONFIG_INPUT_KEYBOARD is not set # CONFIG_INPUT_MOUSE is not set # CONFIG_INPUT_JOYSTICK is not set # CONFIG_INPUT_TABLET is not set # CONFIG_INPUT_TOUCHSCREEN is not set # CONFIG_INPUT_MISC is not set # # Hardware I/O ports # # CONFIG_SERIO is not set # CONFIG_GAMEPORT is not set # # Character devices # CONFIG_VT=y CONFIG_VT_CONSOLE=y CONFIG_HW_CONSOLE=y # CONFIG_VT_HW_CONSOLE_BINDING is not set CONFIG_DEVKMEM=y # CONFIG_SERIAL_NONSTANDARD is not set # CONFIG_NOZOMI is not set # # Serial drivers # # CONFIG_SERIAL_8250 is not set CONFIG_FIX_EARLYCON_MEM=y # # Non-8250 serial port support # # CONFIG_SERIAL_JSM is not set CONFIG_UNIX98_PTYS=y CONFIG_LEGACY_PTYS=y CONFIG_LEGACY_PTY_COUNT=256 # CONFIG_IPMI_HANDLER is not set # CONFIG_HW_RANDOM is not set # CONFIG_NVRAM is not set # CONFIG_RTC is not set # CONFIG_GEN_RTC is not set # CONFIG_DTLK is not set # CONFIG_R3964 is not set # CONFIG_APPLICOM is not set # CONFIG_SONYPI is not set # CONFIG_MWAVE is not set # CONFIG_PC8736x_GPIO is not set # CONFIG_NSC_GPIO is not set # CONFIG_CS5535_GPIO is not set # CONFIG_RAW_DRIVER is not set # CONFIG_HANGCHECK_TIMER is not set # CONFIG_TCG_TPM is not set # CONFIG_TELCLOCK is not set CONFIG_DEVPORT=y # CONFIG_I2C is not set # CONFIG_SPI is not set # CONFIG_W1 is not set # CONFIG_POWER_SUPPLY is not set # CONFIG_HWMON is not set # CONFIG_THERMAL is not set # CONFIG_THERMAL_HWMON is not set # CONFIG_WATCHDOG is not set # # Sonics Silicon Backplane # CONFIG_SSB_POSSIBLE=y # CONFIG_SSB is not set # # Multifunction device drivers # # CONFIG_MFD_SM501 is not set # CONFIG_HTC_PASIC3 is not set # # Multimedia devices # # # Multimedia core support # # CONFIG_VIDEO_DEV is not set # CONFIG_DVB_CORE is not set # CONFIG_VIDEO_MEDIA is not set # # Multimedia drivers # CONFIG_DAB=y # # Graphics support # # CONFIG_AGP is not set # CONFIG_DRM is not set # CONFIG_VGASTATE is not set # CONFIG_VIDEO_OUTPUT_CONTROL is not set CONFIG_FB=y CONFIG_FIRMWARE_EDID=y # CONFIG_FB_DDC is not set CONFIG_FB_CFB_FILLRECT=y CONFIG_FB_CFB_COPYAREA=y CONFIG_FB_CFB_IMAGEBLIT=y # CONFIG_FB_CFB_REV_PIXELS_IN_BYTE is not set # CONFIG_FB_SYS_FILLRECT is not set # CONFIG_FB_SYS_COPYAREA is not set # CONFIG_FB_SYS_IMAGEBLIT is not set # CONFIG_FB_FOREIGN_ENDIAN is not set # CONFIG_FB_SYS_FOPS is not set # CONFIG_FB_SVGALIB is not set # CONFIG_FB_MACMODES is not set # CONFIG_FB_BACKLIGHT is not set # CONFIG_FB_MODE_HELPERS is not set # CONFIG_FB_TILEBLITTING is not set # # Frame buffer hardware drivers # # CONFIG_FB_CIRRUS is not set # CONFIG_FB_PM2 is not set # CONFIG_FB_CYBER2000 is not set # CONFIG_FB_ARC is not set # CONFIG_FB_ASILIANT is not set # CONFIG_FB_IMSTT is not set # CONFIG_FB_VGA16 is not set # CONFIG_FB_VESA is not set # CONFIG_FB_EFI is not set # CONFIG_FB_N411 is not set # CONFIG_FB_HGA is not set # CONFIG_FB_S1D13XXX is not set # CONFIG_FB_NVIDIA is not set # CONFIG_FB_RIVA is not set # CONFIG_FB_I810 is not set # CONFIG_FB_LE80578 is not set # CONFIG_FB_INTEL is not set # CONFIG_FB_MATROX is not set # CONFIG_FB_RADEON is not set # CONFIG_FB_ATY128 is not set # CONFIG_FB_ATY is not set # CONFIG_FB_S3 is not set # CONFIG_FB_SAVAGE is not set # CONFIG_FB_SIS is not set # CONFIG_FB_NEOMAGIC is not set # CONFIG_FB_KYRO is not set # CONFIG_FB_3DFX is not set # CONFIG_FB_VOODOO1 is not set # CONFIG_FB_VT8623 is not set # CONFIG_FB_CYBLA is not set # CONFIG_FB_TRIDENT is not set # CONFIG_FB_ARK is not set # CONFIG_FB_PM3 is not set # CONFIG_FB_GEODE is not set # CONFIG_FB_VIRTUAL is not set # CONFIG_BACKLIGHT_LCD_SUPPORT is not set # # Display device support # # CONFIG_DISPLAY_SUPPORT is not set # # Console display driver support # # CONFIG_VGA_CONSOLE is not set CONFIG_MDA_CONSOLE=m CONFIG_DUMMY_CONSOLE=y CONFIG_FRAMEBUFFER_CONSOLE=y # CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY is not set # CONFIG_FRAMEBUFFER_CONSOLE_ROTATION is not set CONFIG_FONTS=y CONFIG_FONT_8x8=y CONFIG_FONT_8x16=y # CONFIG_FONT_6x11 is not set # CONFIG_FONT_7x14 is not set # CONFIG_FONT_PEARL_8x8 is not set # CONFIG_FONT_ACORN_8x8 is not set CONFIG_FONT_MINI_4x6=y # CONFIG_FONT_SUN8x16 is not set # CONFIG_FONT_SUN12x22 is not set # CONFIG_FONT_10x18 is not set CONFIG_LOGO=y CONFIG_LOGO_LINUX_MONO=y CONFIG_LOGO_LINUX_VGA16=y CONFIG_LOGO_LINUX_CLUT224=y # # Sound # # CONFIG_SOUND is not set CONFIG_HID_SUPPORT=y CONFIG_HID=y # CONFIG_HID_DEBUG is not set # CONFIG_HIDRAW is not set # CONFIG_USB_SUPPORT is not set # CONFIG_MMC is not set # CONFIG_MEMSTICK is not set # CONFIG_NEW_LEDS is not set # CONFIG_ACCESSIBILITY is not set # CONFIG_INFINIBAND is not set # CONFIG_EDAC is not set # CONFIG_RTC_CLASS is not set # CONFIG_DMADEVICES is not set # CONFIG_UIO is not set # # Firmware Drivers # # CONFIG_EDD is not set # CONFIG_DELL_RBU is not set # CONFIG_DCDBAS is not set CONFIG_DMIID=y # CONFIG_ISCSI_IBFT_FIND is not set # # File systems # CONFIG_EXT2_FS=y # CONFIG_EXT2_FS_XATTR is not set # CONFIG_EXT2_FS_XIP is not set CONFIG_EXT3_FS=y CONFIG_EXT3_FS_XATTR=y # CONFIG_EXT3_FS_POSIX_ACL is not set # CONFIG_EXT3_FS_SECURITY is not set # CONFIG_EXT4DEV_FS is not set CONFIG_JBD=y CONFIG_FS_MBCACHE=y # CONFIG_REISERFS_FS is not set # CONFIG_JFS_FS is not set # CONFIG_FS_POSIX_ACL is not set # CONFIG_XFS_FS is not set # CONFIG_OCFS2_FS is not set CONFIG_DNOTIFY=y CONFIG_INOTIFY=y CONFIG_INOTIFY_USER=y # CONFIG_QUOTA is not set # CONFIG_AUTOFS_FS is not set # CONFIG_AUTOFS4_FS is not set # CONFIG_FUSE_FS is not set # # CD-ROM/DVD Filesystems # CONFIG_ISO9660_FS=y CONFIG_JOLIET=y # CONFIG_ZISOFS is not set # CONFIG_UDF_FS is not set # # DOS/FAT/NT Filesystems # # CONFIG_MSDOS_FS is not set # CONFIG_VFAT_FS is not set # CONFIG_NTFS_FS is not set # # Pseudo filesystems # CONFIG_PROC_FS=y CONFIG_PROC_KCORE=y CONFIG_PROC_SYSCTL=y CONFIG_SYSFS=y CONFIG_TMPFS=y # CONFIG_TMPFS_POSIX_ACL is not set # CONFIG_HUGETLBFS is not set # CONFIG_HUGETLB_PAGE is not set # CONFIG_CONFIGFS_FS is not set # # Miscellaneous filesystems # # CONFIG_ADFS_FS is not set # CONFIG_AFFS_FS is not set # CONFIG_HFS_FS is not set # CONFIG_HFSPLUS_FS is not set # CONFIG_BEFS_FS is not set # CONFIG_BFS_FS is not set # CONFIG_EFS_FS is not set # CONFIG_CRAMFS is not set # CONFIG_VXFS_FS is not set # CONFIG_MINIX_FS is not set # CONFIG_HPFS_FS is not set # CONFIG_QNX4FS_FS is not set # CONFIG_ROMFS_FS is not set # CONFIG_SYSV_FS is not set # CONFIG_UFS_FS is not set CONFIG_NETWORK_FILESYSTEMS=y CONFIG_NFS_FS=y CONFIG_NFS_V3=y # CONFIG_NFS_V3_ACL is not set CONFIG_NFS_V4=y # CONFIG_NFSD is not set CONFIG_ROOT_NFS=y CONFIG_LOCKD=y CONFIG_LOCKD_V4=y CONFIG_NFS_COMMON=y CONFIG_SUNRPC=y CONFIG_SUNRPC_GSS=y # CONFIG_SUNRPC_BIND34 is not set CONFIG_RPCSEC_GSS_KRB5=y # CONFIG_RPCSEC_GSS_SPKM3 is not set # CONFIG_SMB_FS is not set # CONFIG_CIFS is not set # CONFIG_NCP_FS is not set # CONFIG_CODA_FS is not set # CONFIG_AFS_FS is not set # # Partition Types # CONFIG_PARTITION_ADVANCED=y # CONFIG_ACORN_PARTITION is not set # CONFIG_OSF_PARTITION is not set # CONFIG_AMIGA_PARTITION is not set # CONFIG_ATARI_PARTITION is not set # CONFIG_MAC_PARTITION is not set CONFIG_MSDOS_PARTITION=y # CONFIG_BSD_DISKLABEL is not set # CONFIG_MINIX_SUBPARTITION is not set # CONFIG_SOLARIS_X86_PARTITION is not set # CONFIG_UNIXWARE_DISKLABEL is not set # CONFIG_LDM_PARTITION is not set # CONFIG_SGI_PARTITION is not set # CONFIG_ULTRIX_PARTITION is not set # CONFIG_SUN_PARTITION is not set # CONFIG_KARMA_PARTITION is not set # CONFIG_EFI_PARTITION is not set # CONFIG_SYSV68_PARTITION is not set CONFIG_NLS=y CONFIG_NLS_DEFAULT="iso8859-1" # CONFIG_NLS_CODEPAGE_437 is not set # CONFIG_NLS_CODEPAGE_737 is not set # CONFIG_NLS_CODEPAGE_775 is not set # CONFIG_NLS_CODEPAGE_850 is not set # CONFIG_NLS_CODEPAGE_852 is not set # CONFIG_NLS_CODEPAGE_855 is not set # CONFIG_NLS_CODEPAGE_857 is not set # CONFIG_NLS_CODEPAGE_860 is not set # CONFIG_NLS_CODEPAGE_861 is not set # CONFIG_NLS_CODEPAGE_862 is not set # CONFIG_NLS_CODEPAGE_863 is not set # CONFIG_NLS_CODEPAGE_864 is not set # CONFIG_NLS_CODEPAGE_865 is not set # CONFIG_NLS_CODEPAGE_866 is not set # CONFIG_NLS_CODEPAGE_869 is not set # CONFIG_NLS_CODEPAGE_936 is not set # CONFIG_NLS_CODEPAGE_950 is not set # CONFIG_NLS_CODEPAGE_932 is not set # CONFIG_NLS_CODEPAGE_949 is not set # CONFIG_NLS_CODEPAGE_874 is not set # CONFIG_NLS_ISO8859_8 is not set # CONFIG_NLS_CODEPAGE_1250 is not set # CONFIG_NLS_CODEPAGE_1251 is not set # CONFIG_NLS_ASCII is not set # CONFIG_NLS_ISO8859_1 is not set # CONFIG_NLS_ISO8859_2 is not set # CONFIG_NLS_ISO8859_3 is not set # CONFIG_NLS_ISO8859_4 is not set # CONFIG_NLS_ISO8859_5 is not set # CONFIG_NLS_ISO8859_6 is not set # CONFIG_NLS_ISO8859_7 is not set # CONFIG_NLS_ISO8859_9 is not set # CONFIG_NLS_ISO8859_13 is not set # CONFIG_NLS_ISO8859_14 is not set # CONFIG_NLS_ISO8859_15 is not set # CONFIG_NLS_KOI8_R is not set # CONFIG_NLS_KOI8_U is not set # CONFIG_NLS_UTF8 is not set # CONFIG_DLM is not set # # Kernel hacking # CONFIG_TRACE_IRQFLAGS_SUPPORT=y # CONFIG_PRINTK_TIME is not set CONFIG_ENABLE_WARN_DEPRECATED=y CONFIG_ENABLE_MUST_CHECK=y CONFIG_FRAME_WARN=1024 CONFIG_MAGIC_SYSRQ=y CONFIG_UNUSED_SYMBOLS=y # CONFIG_DEBUG_FS is not set # CONFIG_HEADERS_CHECK is not set CONFIG_DEBUG_KERNEL=y # CONFIG_DEBUG_SHIRQ is not set CONFIG_DETECT_SOFTLOCKUP=y CONFIG_SCHED_DEBUG=y # CONFIG_SCHEDSTATS is not set # CONFIG_TIMER_STATS is not set # CONFIG_DEBUG_OBJECTS is not set # CONFIG_DEBUG_SLAB is not set # CONFIG_DEBUG_RT_MUTEXES is not set # CONFIG_RT_MUTEX_TESTER is not set # CONFIG_DEBUG_SPINLOCK is not set CONFIG_DEBUG_MUTEXES=y # CONFIG_DEBUG_LOCK_ALLOC is not set # CONFIG_PROVE_LOCKING is not set # CONFIG_LOCK_STAT is not set # CONFIG_DEBUG_SPINLOCK_SLEEP is not set # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set # CONFIG_DEBUG_KOBJECT is not set CONFIG_DEBUG_BUGVERBOSE=y CONFIG_DEBUG_INFO=y # CONFIG_DEBUG_VM is not set # CONFIG_DEBUG_WRITECOUNT is not set # CONFIG_DEBUG_LIST is not set # CONFIG_DEBUG_SG is not set CONFIG_FRAME_POINTER=y # CONFIG_BOOT_PRINTK_DELAY is not set # CONFIG_RCU_TORTURE_TEST is not set # CONFIG_BACKTRACE_SELF_TEST is not set # CONFIG_FAULT_INJECTION is not set # CONFIG_LATENCYTOP is not set # CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set # CONFIG_SAMPLES is not set CONFIG_HAVE_ARCH_KGDB=y # CONFIG_KGDB is not set # CONFIG_NONPROMISC_DEVMEM is not set # CONFIG_EARLY_PRINTK is not set # CONFIG_DEBUG_STACKOVERFLOW is not set # CONFIG_DEBUG_STACK_USAGE is not set # CONFIG_DEBUG_PAGEALLOC is not set # CONFIG_X86_PTDUMP is not set # CONFIG_DEBUG_RODATA is not set # CONFIG_DEBUG_NX_TEST is not set # CONFIG_4KSTACKS is not set CONFIG_DOUBLEFAULT=y CONFIG_IO_DELAY_TYPE_0X80=0 CONFIG_IO_DELAY_TYPE_0XED=1 CONFIG_IO_DELAY_TYPE_UDELAY=2 CONFIG_IO_DELAY_TYPE_NONE=3 CONFIG_IO_DELAY_0X80=y # CONFIG_IO_DELAY_0XED is not set # CONFIG_IO_DELAY_UDELAY is not set # CONFIG_IO_DELAY_NONE is not set CONFIG_DEFAULT_IO_DELAY_TYPE=0 # CONFIG_CPA_DEBUG is not set # # Security options # # CONFIG_KEYS is not set # CONFIG_SECURITY is not set # CONFIG_SECURITY_FILE_CAPABILITIES is not set CONFIG_CRYPTO=y # # Crypto core or helper # CONFIG_CRYPTO_ALGAPI=y CONFIG_CRYPTO_BLKCIPHER=y CONFIG_CRYPTO_MANAGER=y # CONFIG_CRYPTO_GF128MUL is not set # CONFIG_CRYPTO_NULL is not set # CONFIG_CRYPTO_CRYPTD is not set # CONFIG_CRYPTO_AUTHENC is not set # CONFIG_CRYPTO_TEST is not set # # Authenticated Encryption with Associated Data # # CONFIG_CRYPTO_CCM is not set # CONFIG_CRYPTO_GCM is not set # CONFIG_CRYPTO_SEQIV is not set # # Block modes # CONFIG_CRYPTO_CBC=y # CONFIG_CRYPTO_CTR is not set # CONFIG_CRYPTO_CTS is not set CONFIG_CRYPTO_ECB=m # CONFIG_CRYPTO_LRW is not set CONFIG_CRYPTO_PCBC=m # CONFIG_CRYPTO_XTS is not set # # Hash modes # # CONFIG_CRYPTO_HMAC is not set # CONFIG_CRYPTO_XCBC is not set # # Digest # # CONFIG_CRYPTO_CRC32C is not set # CONFIG_CRYPTO_MD4 is not set CONFIG_CRYPTO_MD5=y # CONFIG_CRYPTO_MICHAEL_MIC is not set # CONFIG_CRYPTO_SHA1 is not set # CONFIG_CRYPTO_SHA256 is not set # CONFIG_CRYPTO_SHA512 is not set # CONFIG_CRYPTO_TGR192 is not set # CONFIG_CRYPTO_WP512 is not set # # Ciphers # # CONFIG_CRYPTO_AES is not set # CONFIG_CRYPTO_AES_586 is not set # CONFIG_CRYPTO_ANUBIS is not set # CONFIG_CRYPTO_ARC4 is not set # CONFIG_CRYPTO_BLOWFISH is not set # CONFIG_CRYPTO_CAMELLIA is not set # CONFIG_CRYPTO_CAST5 is not set # CONFIG_CRYPTO_CAST6 is not set CONFIG_CRYPTO_DES=y # CONFIG_CRYPTO_FCRYPT is not set # CONFIG_CRYPTO_KHAZAD is not set # CONFIG_CRYPTO_SALSA20 is not set # CONFIG_CRYPTO_SALSA20_586 is not set # CONFIG_CRYPTO_SEED is not set # CONFIG_CRYPTO_SERPENT is not set # CONFIG_CRYPTO_TEA is not set # CONFIG_CRYPTO_TWOFISH is not set # CONFIG_CRYPTO_TWOFISH_586 is not set # # Compression # # CONFIG_CRYPTO_DEFLATE is not set # CONFIG_CRYPTO_LZO is not set # CONFIG_CRYPTO_HW is not set CONFIG_HAVE_KVM=y # CONFIG_VIRTUALIZATION is not set # # Library routines # CONFIG_BITREVERSE=y CONFIG_GENERIC_FIND_FIRST_BIT=y CONFIG_GENERIC_FIND_NEXT_BIT=y # CONFIG_CRC_CCITT is not set # CONFIG_CRC16 is not set # CONFIG_CRC_ITU_T is not set CONFIG_CRC32=y # CONFIG_CRC7 is not set # CONFIG_LIBCRC32C is not set CONFIG_PLIST=y CONFIG_HAS_IOMEM=y CONFIG_HAS_IOPORT=y CONFIG_HAS_DMA=y

1 0

trap (GPF) when starting l4linux
by valerius 23 Sep '08

23 Sep '08

1 0

What does software network switch mean
by fei li 12 Sep '08

12 Sep '08

Hi,all I have done several experiments with ORe server installed, but I'm still puzzled with the concept "ORe-a software network switch". Can you give me a distinct explanation and thanks a lot. Fei

2 1

Questions about L4 API V2
by Sean 06 Sep '08

06 Sep '08

Dear We are currently working on the ukernel design and survey the L4 API interface. For Fiasco, it is implemented on L4/V2 and L4/X.0 interfaces. If we implement a new u-kernel by ourselves that follows the same L4 API interface, will it still support the L4Env and L4Linux which will be put above this u-kernel? I think this issue is reasonable. Thanks a lot! Best Regards, Sean

3 4

Problems with l4linux starting
by fei li 05 Sep '08

05 Sep '08

Hi,all I have compiled the newest l4linux packages and want to start it in my machine, but when I finished the process I got the errors I haven't seen before. I compiled the newest fiasco and l4 packages and choose to start "hello" as a test. It seems ok, but when I started to start l4linux, I got errors, so I guess maybe there are some problems l4linux compiling. I'll put my menu.lst and log and hope for your help. I tested in the qemu with ramdisk. menu.lst title L4Linux-test kernel /bootstrap -serial -modaddr 0x2000000 module /main -serial_esc -comport 1 module /sigma0 module /roottask task modname "bmodfs" attached 5 modules module /names module /log module /l4io module /events module /dm_phys --isa=0x00800000 -v --events module /simple_ts module /rtc module /bmodfs module /vmlinuz module /l4linux.cfg module /drops-rd.rd module /libloader.s.so module /libld-l4.s.so module /loader --fprov=BMODFS l4linux.cfg l4linux.cfg sleep 1 task "vmlinuz" "mem=64M load_ramdisk=1 ramdisk_size=16384 root=/dev/ram l4env_rd=drops-rd.rd" all_sects_writable allow_vga l4linux.config (l4linux's configuration) # # Automatically generated make config: don't edit # Linux kernel version: 2.6.26-l4 # Fri Sep 5 11:54:11 2008 # # # L4Linux configuration # CONFIG_L4=y CONFIG_L4_LINUX=y CONFIG_L4_OBJ_TREE="/home/licy/Desktop/trunk/build" CONFIG_L4_L4ENV=y CONFIG_L4_LDR=y CONFIG_L4_ARCH_X86=y # CONFIG_L4_ARCH_ARM is not set CONFIG_L4_VMLINUZ_SUFFIX="" CONFIG_HZ=100 CONFIG_PHYSICAL_START=0x0 # # L4 build options # CONFIG_L4_MK_CPU_X86="586" # # IRQ Handling # # CONFIG_L4_IRQ_SINGLE is not set CONFIG_L4_IRQ_OMEGA0=y # 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 is not set # CONFIG_L4_ORE_DRV is not set CONFIG_L4_SERIAL=y CONFIG_L4_SERIAL_CONSOLE=y # CONFIG_L4_CONS is not set # # Debugging options # # CONFIG_L4_DEBUG is not set # # Advanced options # CONFIG_L4_L4ENV_MEMSIZE=32 CONFIG_L4_TAMED=y # # Priority configuration # CONFIG_L4_PRIO_SERVER_PROC=64 CONFIG_L4_PRIO_IDLER=65 CONFIG_L4_PRIO_IRQ_BASE=66 CONFIG_L4_PRIO_TAMER=85 CONFIG_L4_PRIO_L4FB_INPUT=70 CONFIG_L4_PRIO_L4FB_REFRESH=70 CONFIG_L4_PRIO_L4ORE=70 # # 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_L4_USE_L4VMM is not set CONFIG_L4_CONFIG_CHECKS=y # CONFIG_L4_SAMPLE_MODULE is not set # # # # CONFIG_64BIT is not set CONFIG_X86_32=y # CONFIG_X86_64 is not set CONFIG_X86=y CONFIG_ARCH_DEFCONFIG="arch/x86/configs/i386_defconfig" # CONFIG_GENERIC_LOCKBREAK is not set CONFIG_GENERIC_TIME=y CONFIG_GENERIC_CMOS_UPDATE=y CONFIG_CLOCKSOURCE_WATCHDOG=y CONFIG_GENERIC_CLOCKEVENTS=y CONFIG_LOCKDEP_SUPPORT=y CONFIG_STACKTRACE_SUPPORT=y CONFIG_HAVE_LATENCYTOP_SUPPORT=y CONFIG_FAST_CMPXCHG_LOCAL=y CONFIG_MMU=y CONFIG_ZONE_DMA=y CONFIG_GENERIC_ISA_DMA=y CONFIG_GENERIC_IOMAP=y CONFIG_GENERIC_BUG=y CONFIG_GENERIC_HWEIGHT=y # CONFIG_GENERIC_GPIO is not set CONFIG_ARCH_MAY_HAVE_PC_FDC=y # CONFIG_RWSEM_GENERIC_SPINLOCK is not set CONFIG_RWSEM_XCHGADD_ALGORITHM=y # CONFIG_ARCH_HAS_ILOG2_U32 is not set # CONFIG_ARCH_HAS_ILOG2_U64 is not set CONFIG_ARCH_HAS_CPU_IDLE_WAIT=y CONFIG_GENERIC_CALIBRATE_DELAY=y # CONFIG_GENERIC_TIME_VSYSCALL is not set CONFIG_ARCH_HAS_CPU_RELAX=y CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y # CONFIG_HAVE_SETUP_PER_CPU_AREA is not set # CONFIG_HAVE_CPUMASK_OF_CPU_MAP is not set CONFIG_ARCH_HIBERNATION_POSSIBLE=y CONFIG_ARCH_SUSPEND_POSSIBLE=y # CONFIG_ZONE_DMA32 is not set CONFIG_ARCH_POPULATES_NODE_MAP=y # CONFIG_AUDIT_ARCH is not set CONFIG_ARCH_SUPPORTS_AOUT=y CONFIG_ARCH_SUPPORTS_OPTIMIZED_INLINING=y CONFIG_GENERIC_HARDIRQS=y CONFIG_GENERIC_IRQ_PROBE=y CONFIG_X86_BIOS_REBOOT=y CONFIG_KTIME_SCALAR=y CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config" # # General setup # CONFIG_EXPERIMENTAL=y CONFIG_BROKEN_ON_SMP=y CONFIG_INIT_ENV_ARG_LIMIT=32 CONFIG_LOCALVERSION="" CONFIG_LOCALVERSION_AUTO=y CONFIG_SWAP=y CONFIG_SYSVIPC=y CONFIG_SYSVIPC_SYSCTL=y CONFIG_POSIX_MQUEUE=y # CONFIG_BSD_PROCESS_ACCT is not set # CONFIG_TASKSTATS is not set # CONFIG_AUDIT is not set # CONFIG_IKCONFIG is not set CONFIG_LOG_BUF_SHIFT=15 # CONFIG_CGROUPS is not set CONFIG_HAVE_UNSTABLE_SCHED_CLOCK=y CONFIG_GROUP_SCHED=y CONFIG_FAIR_GROUP_SCHED=y # CONFIG_RT_GROUP_SCHED is not set CONFIG_USER_SCHED=y # CONFIG_CGROUP_SCHED is not set CONFIG_SYSFS_DEPRECATED=y CONFIG_SYSFS_DEPRECATED_V2=y # CONFIG_RELAY is not set # CONFIG_NAMESPACES is not set CONFIG_BLK_DEV_INITRD=y 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_SYSCTL_SYSCALL_CHECK=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_PCSPKR_PLATFORM is not set CONFIG_COMPAT_BRK=y CONFIG_BASE_FULL=y CONFIG_FUTEX=y CONFIG_ANON_INODES=y CONFIG_EPOLL=y CONFIG_SIGNALFD=y CONFIG_TIMERFD=y CONFIG_EVENTFD=y CONFIG_SHMEM=y CONFIG_VM_EVENT_COUNTERS=y CONFIG_SLAB=y # CONFIG_SLUB is not set # CONFIG_SLOB is not set # CONFIG_PROFILING is not set # CONFIG_MARKERS is not set CONFIG_HAVE_OPROFILE=y # CONFIG_KPROBES is not set CONFIG_HAVE_KPROBES=y CONFIG_HAVE_KRETPROBES=y # CONFIG_HAVE_DMA_ATTRS is not set CONFIG_PROC_PAGE_MONITOR=y CONFIG_SLABINFO=y CONFIG_RT_MUTEXES=y # CONFIG_TINY_SHMEM is not set CONFIG_BASE_SMALL=0 CONFIG_MODULES=y # CONFIG_MODULE_FORCE_LOAD is not set # CONFIG_MODULE_UNLOAD is not set CONFIG_MODVERSIONS=y # CONFIG_MODULE_SRCVERSION_ALL is not set CONFIG_KMOD=y CONFIG_BLOCK=y # CONFIG_LBD is not set # CONFIG_BLK_DEV_IO_TRACE is not set # CONFIG_LSF is not set # CONFIG_BLK_DEV_BSG 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" CONFIG_CLASSIC_RCU=y # # Processor type and features # # CONFIG_TICK_ONESHOT is not set # CONFIG_NO_HZ is not set # CONFIG_HIGH_RES_TIMERS is not set CONFIG_GENERIC_CLOCKEVENTS_BUILD=y # 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_X86_RDC321X is not set # CONFIG_X86_VSMP is not set CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y # CONFIG_PARAVIRT_GUEST 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_MVIAC7 is not set # CONFIG_MPSC is not set # CONFIG_MCORE2 is not set # CONFIG_GENERIC_CPU is not set # CONFIG_X86_GENERIC is not set CONFIG_X86_CPU=y CONFIG_X86_CMPXCHG=y CONFIG_X86_L1_CACHE_SHIFT=5 CONFIG_X86_XADD=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_ALIGNMENT_16=y CONFIG_X86_TSC=y CONFIG_X86_MINIMUM_CPU_FAMILY=4 # CONFIG_HPET_TIMER is not set CONFIG_DMI=y # CONFIG_IOMMU_HELPER 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 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_2G_OPT is not set # CONFIG_VMSPLIT_1G is not set CONFIG_PAGE_OFFSET=0 # CONFIG_X86_PAE is not set CONFIG_ARCH_FLATMEM_ENABLE=y CONFIG_ARCH_SPARSEMEM_ENABLE=y CONFIG_ARCH_SELECT_MEMORY_MODEL=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_SPARSEMEM_VMEMMAP_ENABLE is not set CONFIG_PAGEFLAGS_EXTENDED=y CONFIG_SPLIT_PTLOCK_CPUS=4 # CONFIG_RESOURCES_64BIT is not set CONFIG_ZONE_DMA_FLAG=1 CONFIG_BOUNCE=y CONFIG_VIRT_TO_BUS=y # CONFIG_MATH_EMULATION is not set # CONFIG_MTRR is not set CONFIG_SECCOMP=y # CONFIG_HZ_100 is not set CONFIG_HZ_250=y # CONFIG_HZ_300 is not set # CONFIG_HZ_1000 is not set # CONFIG_SCHED_HRTICK is not set # CONFIG_KEXEC is not set # CONFIG_RELOCATABLE is not set CONFIG_PHYSICAL_ALIGN=0x100000 CONFIG_COMPAT_VDSO=y # # Power management options # # CONFIG_PM is not set # # CPU Frequency scaling # # CONFIG_CPU_FREQ is not set # CONFIG_CPU_IDLE is not set # # Bus options (PCI etc.) # CONFIG_PCI=y # CONFIG_PCI_GOBIOS is not set # CONFIG_PCI_GOMMCONFIG is not set CONFIG_PCI_GODIRECT=y # CONFIG_PCI_GOOLPC is not set # CONFIG_PCI_GOANY is not set CONFIG_PCI_DIRECT=y CONFIG_PCI_DOMAINS=y # CONFIG_PCIEPORTBUS is not set # CONFIG_ARCH_SUPPORTS_MSI is not set CONFIG_PCI_LEGACY=y # 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 # CONFIG_OLPC is not set # # Executable file formats / Emulations # CONFIG_BINFMT_ELF=y CONFIG_BINFMT_AOUT=y CONFIG_BINFMT_MISC=y # # Networking # CONFIG_NET=y # # Networking options # # CONFIG_PACKET is not set # CONFIG_UNIX is not set # CONFIG_NET_KEY is not set # CONFIG_INET is not set # CONFIG_NETWORK_SECMARK is not set # CONFIG_NETFILTER 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_WAN_ROUTER is not set # CONFIG_NET_SCHED is not set # # Network testing # # CONFIG_NET_PKTGEN is not set # CONFIG_HAMRADIO is not set # CONFIG_CAN is not set # CONFIG_IRDA is not set # CONFIG_BT is not set # # Wireless # # CONFIG_CFG80211 is not set # CONFIG_WIRELESS_EXT is not set # CONFIG_MAC80211 is not set # CONFIG_IEEE80211 is not set # CONFIG_RFKILL is not set # CONFIG_NET_9P is not set # # Device Drivers # # # Generic Driver Options # CONFIG_STANDALONE=y CONFIG_PREVENT_FIRMWARE_BUILD=y # CONFIG_DEBUG_DRIVER is not set # CONFIG_DEBUG_DEVRES is not set # CONFIG_SYS_HYPERVISOR is not set # CONFIG_CONNECTOR is not set # CONFIG_MTD is not set # CONFIG_PARPORT is not set # CONFIG_PNP is not set CONFIG_BLK_DEV=y # CONFIG_BLK_DEV_FD is not set # CONFIG_BLK_DEV_XD is not set # CONFIG_BLK_CPQ_DA is not set # CONFIG_BLK_CPQ_CISS_DA is not set # CONFIG_BLK_DEV_DAC960 is not set # CONFIG_BLK_DEV_UMEM is not set # CONFIG_BLK_DEV_COW_COMMON is not set # CONFIG_BLK_DEV_LOOP is not set # CONFIG_BLK_DEV_NBD is not set # CONFIG_BLK_DEV_SX8 is not set CONFIG_BLK_DEV_RAM=y CONFIG_BLK_DEV_RAM_COUNT=16 CONFIG_BLK_DEV_RAM_SIZE=4096 # CONFIG_BLK_DEV_XIP is not set # CONFIG_CDROM_PKTCDVD is not set # CONFIG_ATA_OVER_ETH is not set CONFIG_MISC_DEVICES=y # CONFIG_IBM_ASM is not set # CONFIG_PHANTOM is not set # CONFIG_EEPROM_93CX6 is not set # CONFIG_SGI_IOC4 is not set # CONFIG_TIFM_CORE is not set # CONFIG_ENCLOSURE_SERVICES is not set CONFIG_HAVE_IDE=y CONFIG_IDE=y CONFIG_IDE_MAX_HWIFS=4 CONFIG_BLK_DEV_IDE=y # # Please see Documentation/ide/ide.txt for help/info on IDE drives # # CONFIG_BLK_DEV_IDE_SATA is not set CONFIG_BLK_DEV_IDEDISK=y # CONFIG_IDEDISK_MULTI_MODE is not set CONFIG_BLK_DEV_IDECD=y CONFIG_BLK_DEV_IDECD_VERBOSE_ERRORS=y # CONFIG_BLK_DEV_IDETAPE is not set # CONFIG_BLK_DEV_IDEFLOPPY is not set # CONFIG_BLK_DEV_IDESCSI is not set # CONFIG_IDE_TASK_IOCTL is not set CONFIG_IDE_PROC_FS=y # # IDE chipset support/bugfixes # CONFIG_IDE_GENERIC=y # CONFIG_BLK_DEV_PLATFORM is not set # CONFIG_BLK_DEV_CMD640 is not set CONFIG_BLK_DEV_IDEDMA_SFF=y # # PCI IDE chipsets support # CONFIG_BLK_DEV_IDEPCI=y CONFIG_IDEPCI_PCIBUS_ORDER=y # CONFIG_BLK_DEV_OFFBOARD is not set CONFIG_BLK_DEV_GENERIC=y # CONFIG_BLK_DEV_OPTI621 is not set # CONFIG_BLK_DEV_RZ1000 is not set CONFIG_BLK_DEV_IDEDMA_PCI=y # CONFIG_BLK_DEV_AEC62XX is not set # CONFIG_BLK_DEV_ALI15X3 is not set # CONFIG_BLK_DEV_AMD74XX is not set # CONFIG_BLK_DEV_ATIIXP is not set # CONFIG_BLK_DEV_CMD64X is not set # CONFIG_BLK_DEV_TRIFLEX is not set # CONFIG_BLK_DEV_CY82C693 is not set # CONFIG_BLK_DEV_CS5520 is not set # CONFIG_BLK_DEV_CS5530 is not set # CONFIG_BLK_DEV_CS5535 is not set # CONFIG_BLK_DEV_HPT34X is not set # CONFIG_BLK_DEV_HPT366 is not set # CONFIG_BLK_DEV_JMICRON is not set # CONFIG_BLK_DEV_SC1200 is not set CONFIG_BLK_DEV_PIIX=y # CONFIG_BLK_DEV_IT8213 is not set # CONFIG_BLK_DEV_IT821X is not set # CONFIG_BLK_DEV_NS87415 is not set # CONFIG_BLK_DEV_PDC202XX_OLD is not set # CONFIG_BLK_DEV_PDC202XX_NEW is not set # CONFIG_BLK_DEV_SVWKS is not set # CONFIG_BLK_DEV_SIIMAGE is not set # CONFIG_BLK_DEV_SIS5513 is not set # CONFIG_BLK_DEV_SLC90E66 is not set # CONFIG_BLK_DEV_TRM290 is not set CONFIG_BLK_DEV_VIA82CXXX=y # CONFIG_BLK_DEV_TC86C001 is not set # # Other IDE chipsets support # # # Note: most of these also require special kernel boot parameters # # CONFIG_BLK_DEV_4DRIVES is not set # CONFIG_BLK_DEV_ALI14XX is not set # CONFIG_BLK_DEV_DTC2278 is not set # CONFIG_BLK_DEV_HT6560B is not set # CONFIG_BLK_DEV_QD65XX is not set # CONFIG_BLK_DEV_UMC8672 is not set CONFIG_BLK_DEV_IDEDMA=y # CONFIG_BLK_DEV_HD_ONLY is not set # CONFIG_BLK_DEV_HD is not set # # SCSI device support # # CONFIG_RAID_ATTRS is not set CONFIG_SCSI=y CONFIG_SCSI_DMA=y # CONFIG_SCSI_TGT is not set # CONFIG_SCSI_NETLINK is not set CONFIG_SCSI_PROC_FS=y # # SCSI support type (disk, tape, CD-ROM) # # CONFIG_BLK_DEV_SD is not set # CONFIG_CHR_DEV_ST is not set # CONFIG_CHR_DEV_OSST is not set # CONFIG_BLK_DEV_SR is not set # CONFIG_CHR_DEV_SG is not set # CONFIG_CHR_DEV_SCH is not set # # Some SCSI devices (e.g. CD jukebox) support multiple LUNs # # CONFIG_SCSI_MULTI_LUN is not set # CONFIG_SCSI_CONSTANTS is not set # CONFIG_SCSI_LOGGING is not set # CONFIG_SCSI_SCAN_ASYNC is not set CONFIG_SCSI_WAIT_SCAN=m # # SCSI Transports # # CONFIG_SCSI_SPI_ATTRS is not set # CONFIG_SCSI_FC_ATTRS is not set # CONFIG_SCSI_ISCSI_ATTRS is not set # CONFIG_SCSI_SAS_LIBSAS is not set # CONFIG_SCSI_SRP_ATTRS is not set CONFIG_SCSI_LOWLEVEL=y # CONFIG_BLK_DEV_3W_XXXX_RAID is not set # CONFIG_SCSI_3W_9XXX is not set # CONFIG_SCSI_7000FASST is not set # CONFIG_SCSI_ACARD is not set # CONFIG_SCSI_AHA152X is not set # CONFIG_SCSI_AHA1542 is not set # CONFIG_SCSI_AACRAID is not set # CONFIG_SCSI_AIC7XXX is not set # CONFIG_SCSI_AIC7XXX_OLD is not set # CONFIG_SCSI_AIC79XX is not set # CONFIG_SCSI_AIC94XX is not set # CONFIG_SCSI_DPT_I2O is not set # CONFIG_SCSI_ADVANSYS is not set # CONFIG_SCSI_IN2000 is not set # CONFIG_SCSI_ARCMSR is not set # CONFIG_MEGARAID_NEWGEN is not set # CONFIG_MEGARAID_LEGACY is not set # CONFIG_MEGARAID_SAS is not set # CONFIG_SCSI_HPTIOP is not set # CONFIG_SCSI_BUSLOGIC is not set # CONFIG_SCSI_DMX3191D is not set # CONFIG_SCSI_DTC3280 is not set # CONFIG_SCSI_EATA is not set # CONFIG_SCSI_FUTURE_DOMAIN is not set # CONFIG_SCSI_GDTH is not set # CONFIG_SCSI_GENERIC_NCR5380 is not set # CONFIG_SCSI_GENERIC_NCR5380_MMIO is not set # CONFIG_SCSI_IPS is not set # CONFIG_SCSI_INITIO is not set # CONFIG_SCSI_INIA100 is not set # CONFIG_SCSI_MVSAS is not set # CONFIG_SCSI_NCR53C406A is not set # CONFIG_SCSI_STEX is not set # CONFIG_SCSI_SYM53C8XX_2 is not set # CONFIG_SCSI_IPR is not set # CONFIG_SCSI_PAS16 is not set # CONFIG_SCSI_QLOGIC_FAS is not set # CONFIG_SCSI_QLOGIC_1280 is not set # CONFIG_SCSI_QLA_FC is not set # CONFIG_SCSI_QLA_ISCSI is not set # CONFIG_SCSI_LPFC is not set # CONFIG_SCSI_SYM53C416 is not set # CONFIG_SCSI_DC395x is not set # CONFIG_SCSI_DC390T is not set # CONFIG_SCSI_T128 is not set # CONFIG_SCSI_U14_34F is not set # CONFIG_SCSI_ULTRASTOR is not set # CONFIG_SCSI_NSP32 is not set # CONFIG_SCSI_DEBUG is not set # CONFIG_SCSI_SRP is not set CONFIG_ATA=y # CONFIG_ATA_NONSTANDARD is not set CONFIG_SATA_PMP=y CONFIG_SATA_AHCI=y CONFIG_SATA_SIL24=y CONFIG_ATA_SFF=y # CONFIG_SATA_SVW is not set CONFIG_ATA_PIIX=y CONFIG_SATA_MV=y CONFIG_SATA_NV=y CONFIG_PDC_ADMA=y CONFIG_SATA_QSTOR=y CONFIG_SATA_PROMISE=y CONFIG_SATA_SX4=y CONFIG_SATA_SIL=y # CONFIG_SATA_SIS is not set # CONFIG_SATA_ULI is not set # CONFIG_SATA_VIA is not set # CONFIG_SATA_VITESSE is not set # CONFIG_SATA_INIC162X is not set # CONFIG_PATA_ALI is not set # CONFIG_PATA_AMD is not set # CONFIG_PATA_ARTOP is not set # CONFIG_PATA_ATIIXP is not set # CONFIG_PATA_CMD640_PCI is not set # CONFIG_PATA_CMD64X is not set # CONFIG_PATA_CS5520 is not set # CONFIG_PATA_CS5530 is not set # CONFIG_PATA_CS5535 is not set # CONFIG_PATA_CS5536 is not set # CONFIG_PATA_CYPRESS is not set # CONFIG_PATA_EFAR is not set # CONFIG_ATA_GENERIC is not set # CONFIG_PATA_HPT366 is not set # CONFIG_PATA_HPT37X is not set # CONFIG_PATA_HPT3X2N is not set # CONFIG_PATA_HPT3X3 is not set # CONFIG_PATA_IT821X is not set # CONFIG_PATA_IT8213 is not set # CONFIG_PATA_JMICRON is not set # CONFIG_PATA_LEGACY is not set # CONFIG_PATA_TRIFLEX is not set # CONFIG_PATA_MARVELL is not set # CONFIG_PATA_MPIIX is not set # CONFIG_PATA_OLDPIIX is not set # CONFIG_PATA_NETCELL is not set # CONFIG_PATA_NINJA32 is not set # CONFIG_PATA_NS87410 is not set # CONFIG_PATA_NS87415 is not set # CONFIG_PATA_OPTI is not set # CONFIG_PATA_OPTIDMA is not set # CONFIG_PATA_PDC_OLD is not set # CONFIG_PATA_QDI is not set # CONFIG_PATA_RADISYS is not set # CONFIG_PATA_RZ1000 is not set # CONFIG_PATA_SC1200 is not set # CONFIG_PATA_SERVERWORKS is not set # CONFIG_PATA_PDC2027X is not set # CONFIG_PATA_SIL680 is not set # CONFIG_PATA_SIS is not set # CONFIG_PATA_VIA is not set # CONFIG_PATA_WINBOND is not set # CONFIG_PATA_WINBOND_VLB is not set # CONFIG_PATA_PLATFORM is not set # CONFIG_PATA_SCH is not set # CONFIG_MD is not set # CONFIG_FUSION is not set # # IEEE 1394 (FireWire) support # # # Enable only one of the two stacks, unless you know what you are doing # # CONFIG_FIREWIRE is not set # CONFIG_IEEE1394 is not set # CONFIG_I2O is not set # CONFIG_MACINTOSH_DRIVERS is not set CONFIG_NETDEVICES=y # CONFIG_NETDEVICES_MULTIQUEUE is not set # CONFIG_DUMMY is not set # CONFIG_MACVLAN is not set # CONFIG_EQUALIZER is not set # CONFIG_TUN is not set # CONFIG_VETH is not set # CONFIG_ARCNET is not set # CONFIG_PHYLIB is not set CONFIG_NET_ETHERNET=y CONFIG_MII=y # CONFIG_HAPPYMEAL is not set # CONFIG_SUNGEM is not set # CONFIG_CASSINI is not set CONFIG_NET_VENDOR_3COM=y # CONFIG_EL1 is not set # CONFIG_EL2 is not set # CONFIG_ELPLUS is not set # CONFIG_EL16 is not set CONFIG_EL3=y # CONFIG_3C515 is not set # CONFIG_VORTEX is not set # CONFIG_TYPHOON is not set # CONFIG_LANCE is not set # CONFIG_NET_VENDOR_SMC is not set # CONFIG_NET_VENDOR_RACAL is not set CONFIG_NET_TULIP=y # CONFIG_DE2104X is not set CONFIG_TULIP=y # CONFIG_TULIP_MWI is not set # CONFIG_TULIP_MMIO is not set # CONFIG_TULIP_NAPI is not set # CONFIG_DE4X5 is not set # CONFIG_WINBOND_840 is not set # CONFIG_DM9102 is not set # CONFIG_ULI526X is not set # CONFIG_AT1700 is not set # CONFIG_DEPCA is not set # CONFIG_HP100 is not set # CONFIG_NET_ISA is not set # CONFIG_IBM_NEW_EMAC_ZMII is not set # CONFIG_IBM_NEW_EMAC_RGMII is not set # CONFIG_IBM_NEW_EMAC_TAH is not set # CONFIG_IBM_NEW_EMAC_EMAC4 is not set CONFIG_NET_PCI=y CONFIG_PCNET32=y # CONFIG_AMD8111_ETH is not set # CONFIG_ADAPTEC_STARFIRE is not set # CONFIG_AC3200 is not set # CONFIG_APRICOT is not set # CONFIG_B44 is not set # CONFIG_FORCEDETH is not set # CONFIG_CS89x0 is not set CONFIG_EEPRO100=y # CONFIG_E100 is not set # CONFIG_FEALNX is not set # CONFIG_NATSEMI is not set CONFIG_NE2K_PCI=y # CONFIG_8139CP is not set # CONFIG_8139TOO is not set # CONFIG_R6040 is not set # CONFIG_SIS900 is not set # CONFIG_EPIC100 is not set # CONFIG_SUNDANCE is not set # CONFIG_TLAN is not set # CONFIG_VIA_RHINE is not set # CONFIG_SC92031 is not set CONFIG_NETDEV_1000=y # CONFIG_ACENIC is not set # CONFIG_DL2K is not set CONFIG_E1000=y # CONFIG_E1000_NAPI is not set # CONFIG_E1000_DISABLE_PACKET_SPLIT is not set # CONFIG_E1000E is not set # CONFIG_E1000E_ENABLED is not set # CONFIG_IP1000 is not set # CONFIG_IGB is not set # CONFIG_NS83820 is not set # CONFIG_HAMACHI is not set # CONFIG_YELLOWFIN is not set # CONFIG_R8169 is not set # CONFIG_SIS190 is not set # CONFIG_SKGE is not set # CONFIG_SKY2 is not set # CONFIG_VIA_VELOCITY is not set CONFIG_TIGON3=y # CONFIG_BNX2 is not set # CONFIG_QLA3XXX is not set # CONFIG_ATL1 is not set CONFIG_NETDEV_10000=y # CONFIG_CHELSIO_T1 is not set # CONFIG_CHELSIO_T3 is not set # CONFIG_IXGBE is not set # CONFIG_IXGB is not set # CONFIG_S2IO is not set # CONFIG_NETXEN_NIC is not set # CONFIG_NIU is not set # CONFIG_MLX4_CORE is not set # CONFIG_TEHUTI is not set # CONFIG_BNX2X is not set # CONFIG_TR is not set # # Wireless LAN # # CONFIG_WLAN_PRE80211 is not set # CONFIG_WLAN_80211 is not set # CONFIG_IWLWIFI_LEDS is not set # CONFIG_WAN is not set # CONFIG_FDDI is not set # CONFIG_PPP is not set # CONFIG_SLIP is not set # CONFIG_NET_FC is not set # CONFIG_NETCONSOLE is not set # CONFIG_NETPOLL is not set # CONFIG_NET_POLL_CONTROLLER is not set # CONFIG_ISDN is not set # CONFIG_PHONE is not set # # Input device support # CONFIG_INPUT=y # CONFIG_INPUT_FF_MEMLESS is not set # CONFIG_INPUT_POLLDEV is not set # # Userland interfaces # CONFIG_INPUT_MOUSEDEV=y CONFIG_INPUT_MOUSEDEV_PSAUX=y CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768 CONFIG_INPUT_JOYDEV=y CONFIG_INPUT_EVDEV=y # CONFIG_INPUT_EVBUG is not set # # Input Device Drivers # # CONFIG_INPUT_KEYBOARD is not set # CONFIG_INPUT_MOUSE is not set # CONFIG_INPUT_JOYSTICK is not set # CONFIG_INPUT_TABLET is not set # CONFIG_INPUT_TOUCHSCREEN is not set # CONFIG_INPUT_MISC is not set # # Hardware I/O ports # # CONFIG_SERIO is not set # CONFIG_GAMEPORT is not set # # Character devices # CONFIG_VT=y CONFIG_VT_CONSOLE=y CONFIG_HW_CONSOLE=y # CONFIG_VT_HW_CONSOLE_BINDING is not set CONFIG_DEVKMEM=y # CONFIG_SERIAL_NONSTANDARD is not set # CONFIG_NOZOMI is not set # # Serial drivers # # CONFIG_SERIAL_8250 is not set CONFIG_FIX_EARLYCON_MEM=y # # Non-8250 serial port support # CONFIG_SERIAL_CORE=y CONFIG_SERIAL_CORE_CONSOLE=y # CONFIG_SERIAL_JSM is not set CONFIG_UNIX98_PTYS=y CONFIG_LEGACY_PTYS=y CONFIG_LEGACY_PTY_COUNT=256 # CONFIG_IPMI_HANDLER is not set # CONFIG_HW_RANDOM is not set # CONFIG_NVRAM is not set # CONFIG_RTC is not set # CONFIG_GEN_RTC is not set # CONFIG_DTLK is not set # CONFIG_R3964 is not set # CONFIG_APPLICOM is not set # CONFIG_SONYPI is not set # CONFIG_MWAVE is not set # CONFIG_PC8736x_GPIO is not set # CONFIG_NSC_GPIO is not set # CONFIG_CS5535_GPIO is not set # CONFIG_RAW_DRIVER is not set # CONFIG_HANGCHECK_TIMER is not set # CONFIG_TCG_TPM is not set # CONFIG_TELCLOCK is not set CONFIG_DEVPORT=y # CONFIG_I2C is not set # CONFIG_SPI is not set # CONFIG_W1 is not set # CONFIG_POWER_SUPPLY is not set # CONFIG_HWMON is not set # CONFIG_THERMAL is not set # CONFIG_THERMAL_HWMON is not set # CONFIG_WATCHDOG is not set # # Sonics Silicon Backplane # CONFIG_SSB_POSSIBLE=y # CONFIG_SSB is not set # # Multifunction device drivers # # CONFIG_MFD_SM501 is not set # CONFIG_HTC_PASIC3 is not set # # Multimedia devices # # # Multimedia core support # # CONFIG_VIDEO_DEV is not set # CONFIG_VIDEO_MEDIA is not set # # Multimedia drivers # CONFIG_DAB=y # # Graphics support # # CONFIG_AGP is not set # CONFIG_DRM is not set # CONFIG_VGASTATE is not set # CONFIG_VIDEO_OUTPUT_CONTROL is not set CONFIG_FB=y CONFIG_FIRMWARE_EDID=y # CONFIG_FB_DDC is not set # CONFIG_FB_CFB_FILLRECT is not set # CONFIG_FB_CFB_COPYAREA is not set # CONFIG_FB_CFB_IMAGEBLIT is not set # CONFIG_FB_CFB_REV_PIXELS_IN_BYTE is not set # CONFIG_FB_SYS_FILLRECT is not set # CONFIG_FB_SYS_COPYAREA is not set # CONFIG_FB_SYS_IMAGEBLIT is not set # CONFIG_FB_FOREIGN_ENDIAN is not set # CONFIG_FB_SYS_FOPS is not set # CONFIG_FB_SVGALIB is not set # CONFIG_FB_MACMODES is not set # CONFIG_FB_BACKLIGHT is not set # CONFIG_FB_MODE_HELPERS is not set # CONFIG_FB_TILEBLITTING is not set # # Frame buffer hardware drivers # # CONFIG_FB_CIRRUS is not set # CONFIG_FB_PM2 is not set # CONFIG_FB_CYBER2000 is not set # CONFIG_FB_ARC is not set # CONFIG_FB_ASILIANT is not set # CONFIG_FB_IMSTT is not set # CONFIG_FB_VGA16 is not set # CONFIG_FB_VESA is not set # CONFIG_FB_EFI is not set # CONFIG_FB_N411 is not set # CONFIG_FB_HGA is not set # CONFIG_FB_S1D13XXX is not set # CONFIG_FB_NVIDIA is not set # CONFIG_FB_RIVA is not set # CONFIG_FB_I810 is not set # CONFIG_FB_LE80578 is not set # CONFIG_FB_INTEL is not set # CONFIG_FB_MATROX is not set # CONFIG_FB_RADEON is not set # CONFIG_FB_ATY128 is not set # CONFIG_FB_ATY is not set # CONFIG_FB_S3 is not set # CONFIG_FB_SAVAGE is not set # CONFIG_FB_SIS is not set # CONFIG_FB_NEOMAGIC is not set # CONFIG_FB_KYRO is not set # CONFIG_FB_3DFX is not set # CONFIG_FB_VOODOO1 is not set # CONFIG_FB_VT8623 is not set # CONFIG_FB_CYBLA is not set # CONFIG_FB_TRIDENT is not set # CONFIG_FB_ARK is not set # CONFIG_FB_PM3 is not set # CONFIG_FB_GEODE is not set # CONFIG_FB_VIRTUAL is not set # CONFIG_BACKLIGHT_LCD_SUPPORT is not set # # Display device support # # CONFIG_DISPLAY_SUPPORT is not set # # Console display driver support # CONFIG_VGA_CONSOLE=y # CONFIG_VGACON_SOFT_SCROLLBACK is not set # CONFIG_VIDEO_SELECT is not set # CONFIG_MDA_CONSOLE is not set CONFIG_DUMMY_CONSOLE=y CONFIG_FRAMEBUFFER_CONSOLE=y # CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY is not set # CONFIG_FRAMEBUFFER_CONSOLE_ROTATION is not set CONFIG_FONTS=y CONFIG_FONT_8x8=y CONFIG_FONT_8x16=y # CONFIG_FONT_6x11 is not set # CONFIG_FONT_7x14 is not set # CONFIG_FONT_PEARL_8x8 is not set # CONFIG_FONT_ACORN_8x8 is not set CONFIG_FONT_MINI_4x6=y # CONFIG_FONT_SUN8x16 is not set # CONFIG_FONT_SUN12x22 is not set # CONFIG_FONT_10x18 is not set CONFIG_LOGO=y CONFIG_LOGO_LINUX_MONO=y CONFIG_LOGO_LINUX_VGA16=y CONFIG_LOGO_LINUX_CLUT224=y # # Sound # # CONFIG_SOUND is not set CONFIG_HID_SUPPORT=y CONFIG_HID=y # CONFIG_HID_DEBUG is not set # CONFIG_HIDRAW is not set # CONFIG_USB_SUPPORT is not set # CONFIG_MMC is not set # CONFIG_MEMSTICK is not set # CONFIG_NEW_LEDS is not set # CONFIG_ACCESSIBILITY is not set # CONFIG_INFINIBAND is not set # CONFIG_EDAC is not set # CONFIG_RTC_CLASS is not set # CONFIG_DMADEVICES is not set # CONFIG_UIO is not set # # Firmware Drivers # # CONFIG_EDD is not set # CONFIG_DELL_RBU is not set # CONFIG_DCDBAS is not set CONFIG_DMIID=y # CONFIG_ISCSI_IBFT_FIND is not set # # File systems # CONFIG_EXT2_FS=y # CONFIG_EXT2_FS_XATTR is not set # CONFIG_EXT2_FS_XIP is not set CONFIG_EXT3_FS=y CONFIG_EXT3_FS_XATTR=y # CONFIG_EXT3_FS_POSIX_ACL is not set # CONFIG_EXT3_FS_SECURITY is not set # CONFIG_EXT4DEV_FS is not set CONFIG_JBD=y CONFIG_FS_MBCACHE=y # CONFIG_REISERFS_FS is not set # CONFIG_JFS_FS is not set # CONFIG_FS_POSIX_ACL is not set # CONFIG_XFS_FS is not set # CONFIG_OCFS2_FS is not set CONFIG_DNOTIFY=y CONFIG_INOTIFY=y CONFIG_INOTIFY_USER=y # CONFIG_QUOTA is not set # CONFIG_AUTOFS_FS is not set # CONFIG_AUTOFS4_FS is not set # CONFIG_FUSE_FS is not set # # CD-ROM/DVD Filesystems # CONFIG_ISO9660_FS=y CONFIG_JOLIET=y # CONFIG_ZISOFS is not set # CONFIG_UDF_FS is not set # # DOS/FAT/NT Filesystems # # CONFIG_MSDOS_FS is not set # CONFIG_VFAT_FS is not set # CONFIG_NTFS_FS is not set # # Pseudo filesystems # CONFIG_PROC_FS=y CONFIG_PROC_KCORE=y CONFIG_PROC_SYSCTL=y CONFIG_SYSFS=y CONFIG_TMPFS=y # CONFIG_TMPFS_POSIX_ACL is not set # CONFIG_HUGETLBFS is not set # CONFIG_HUGETLB_PAGE is not set # CONFIG_CONFIGFS_FS is not set # # Miscellaneous filesystems # # CONFIG_ADFS_FS is not set # CONFIG_AFFS_FS is not set # CONFIG_HFS_FS is not set # CONFIG_HFSPLUS_FS is not set # CONFIG_BEFS_FS is not set # CONFIG_BFS_FS is not set # CONFIG_EFS_FS is not set # CONFIG_CRAMFS is not set # CONFIG_VXFS_FS is not set # CONFIG_MINIX_FS is not set # CONFIG_HPFS_FS is not set # CONFIG_QNX4FS_FS is not set # CONFIG_ROMFS_FS is not set # CONFIG_SYSV_FS is not set # CONFIG_UFS_FS is not set CONFIG_NETWORK_FILESYSTEMS=y # # Partition Types # CONFIG_PARTITION_ADVANCED=y # CONFIG_ACORN_PARTITION is not set # CONFIG_OSF_PARTITION is not set # CONFIG_AMIGA_PARTITION is not set # CONFIG_ATARI_PARTITION is not set # CONFIG_MAC_PARTITION is not set CONFIG_MSDOS_PARTITION=y # CONFIG_BSD_DISKLABEL is not set # CONFIG_MINIX_SUBPARTITION is not set # CONFIG_SOLARIS_X86_PARTITION is not set # CONFIG_UNIXWARE_DISKLABEL is not set # CONFIG_LDM_PARTITION is not set # CONFIG_SGI_PARTITION is not set # CONFIG_ULTRIX_PARTITION is not set # CONFIG_SUN_PARTITION is not set # CONFIG_KARMA_PARTITION is not set # CONFIG_EFI_PARTITION is not set # CONFIG_SYSV68_PARTITION is not set CONFIG_NLS=y CONFIG_NLS_DEFAULT="iso8859-1" # CONFIG_NLS_CODEPAGE_437 is not set # CONFIG_NLS_CODEPAGE_737 is not set # CONFIG_NLS_CODEPAGE_775 is not set # CONFIG_NLS_CODEPAGE_850 is not set # CONFIG_NLS_CODEPAGE_852 is not set # CONFIG_NLS_CODEPAGE_855 is not set # CONFIG_NLS_CODEPAGE_857 is not set # CONFIG_NLS_CODEPAGE_860 is not set # CONFIG_NLS_CODEPAGE_861 is not set # CONFIG_NLS_CODEPAGE_862 is not set # CONFIG_NLS_CODEPAGE_863 is not set # CONFIG_NLS_CODEPAGE_864 is not set # CONFIG_NLS_CODEPAGE_865 is not set # CONFIG_NLS_CODEPAGE_866 is not set # CONFIG_NLS_CODEPAGE_869 is not set # CONFIG_NLS_CODEPAGE_936 is not set # CONFIG_NLS_CODEPAGE_950 is not set # CONFIG_NLS_CODEPAGE_932 is not set # CONFIG_NLS_CODEPAGE_949 is not set # CONFIG_NLS_CODEPAGE_874 is not set # CONFIG_NLS_ISO8859_8 is not set # CONFIG_NLS_CODEPAGE_1250 is not set # CONFIG_NLS_CODEPAGE_1251 is not set # CONFIG_NLS_ASCII is not set # CONFIG_NLS_ISO8859_1 is not set # CONFIG_NLS_ISO8859_2 is not set # CONFIG_NLS_ISO8859_3 is not set # CONFIG_NLS_ISO8859_4 is not set # CONFIG_NLS_ISO8859_5 is not set # CONFIG_NLS_ISO8859_6 is not set # CONFIG_NLS_ISO8859_7 is not set # CONFIG_NLS_ISO8859_9 is not set # CONFIG_NLS_ISO8859_13 is not set # CONFIG_NLS_ISO8859_14 is not set # CONFIG_NLS_ISO8859_15 is not set # CONFIG_NLS_KOI8_R is not set # CONFIG_NLS_KOI8_U is not set # CONFIG_NLS_UTF8 is not set # # Kernel hacking # CONFIG_TRACE_IRQFLAGS_SUPPORT=y # CONFIG_PRINTK_TIME is not set CONFIG_ENABLE_WARN_DEPRECATED=y CONFIG_ENABLE_MUST_CHECK=y CONFIG_FRAME_WARN=1024 CONFIG_MAGIC_SYSRQ=y CONFIG_UNUSED_SYMBOLS=y # CONFIG_DEBUG_FS is not set # CONFIG_HEADERS_CHECK is not set CONFIG_DEBUG_KERNEL=y # CONFIG_DEBUG_SHIRQ is not set CONFIG_DETECT_SOFTLOCKUP=y CONFIG_SCHED_DEBUG=y # CONFIG_SCHEDSTATS is not set # CONFIG_TIMER_STATS is not set # CONFIG_DEBUG_OBJECTS is not set # CONFIG_DEBUG_SLAB is not set # CONFIG_DEBUG_RT_MUTEXES is not set # CONFIG_RT_MUTEX_TESTER is not set # CONFIG_DEBUG_SPINLOCK is not set CONFIG_DEBUG_MUTEXES=y # CONFIG_DEBUG_LOCK_ALLOC is not set # CONFIG_PROVE_LOCKING is not set # CONFIG_LOCK_STAT is not set # CONFIG_DEBUG_SPINLOCK_SLEEP is not set # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set # CONFIG_DEBUG_KOBJECT is not set CONFIG_DEBUG_BUGVERBOSE=y CONFIG_DEBUG_INFO=y # CONFIG_DEBUG_VM is not set # CONFIG_DEBUG_WRITECOUNT is not set # CONFIG_DEBUG_LIST is not set # CONFIG_DEBUG_SG is not set CONFIG_FRAME_POINTER=y # CONFIG_BOOT_PRINTK_DELAY is not set # CONFIG_RCU_TORTURE_TEST is not set # CONFIG_BACKTRACE_SELF_TEST is not set # CONFIG_FAULT_INJECTION is not set # CONFIG_LATENCYTOP is not set # CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set # CONFIG_SAMPLES is not set CONFIG_HAVE_ARCH_KGDB=y # CONFIG_KGDB is not set # CONFIG_NONPROMISC_DEVMEM is not set # CONFIG_EARLY_PRINTK is not set # CONFIG_DEBUG_STACKOVERFLOW is not set # CONFIG_DEBUG_STACK_USAGE is not set # CONFIG_DEBUG_PAGEALLOC is not set # CONFIG_X86_PTDUMP is not set # CONFIG_DEBUG_RODATA is not set # CONFIG_DEBUG_NX_TEST is not set # CONFIG_4KSTACKS is not set CONFIG_DOUBLEFAULT=y CONFIG_IO_DELAY_TYPE_0X80=0 CONFIG_IO_DELAY_TYPE_0XED=1 CONFIG_IO_DELAY_TYPE_UDELAY=2 CONFIG_IO_DELAY_TYPE_NONE=3 CONFIG_IO_DELAY_0X80=y # CONFIG_IO_DELAY_0XED is not set # CONFIG_IO_DELAY_UDELAY is not set # CONFIG_IO_DELAY_NONE is not set CONFIG_DEFAULT_IO_DELAY_TYPE=0 # CONFIG_CPA_DEBUG is not set # # Security options # # CONFIG_KEYS is not set # CONFIG_SECURITY is not set # CONFIG_SECURITY_FILE_CAPABILITIES is not set CONFIG_CRYPTO=y # # Crypto core or helper # CONFIG_CRYPTO_ALGAPI=y CONFIG_CRYPTO_BLKCIPHER=y CONFIG_CRYPTO_MANAGER=y # CONFIG_CRYPTO_GF128MUL is not set # CONFIG_CRYPTO_NULL is not set # CONFIG_CRYPTO_CRYPTD is not set # CONFIG_CRYPTO_AUTHENC is not set # CONFIG_CRYPTO_TEST is not set # # Authenticated Encryption with Associated Data # # CONFIG_CRYPTO_CCM is not set # CONFIG_CRYPTO_GCM is not set # CONFIG_CRYPTO_SEQIV is not set # # Block modes # CONFIG_CRYPTO_CBC=y # CONFIG_CRYPTO_CTR is not set # CONFIG_CRYPTO_CTS is not set CONFIG_CRYPTO_ECB=m # CONFIG_CRYPTO_LRW is not set CONFIG_CRYPTO_PCBC=m # CONFIG_CRYPTO_XTS is not set # # Hash modes # # CONFIG_CRYPTO_HMAC is not set # CONFIG_CRYPTO_XCBC is not set # # Digest # # CONFIG_CRYPTO_CRC32C is not set # CONFIG_CRYPTO_MD4 is not set CONFIG_CRYPTO_MD5=y # CONFIG_CRYPTO_MICHAEL_MIC is not set # CONFIG_CRYPTO_SHA1 is not set # CONFIG_CRYPTO_SHA256 is not set # CONFIG_CRYPTO_SHA512 is not set # CONFIG_CRYPTO_TGR192 is not set # CONFIG_CRYPTO_WP512 is not set # # Ciphers # # CONFIG_CRYPTO_AES is not set # CONFIG_CRYPTO_AES_586 is not set # CONFIG_CRYPTO_ANUBIS is not set # CONFIG_CRYPTO_ARC4 is not set # CONFIG_CRYPTO_BLOWFISH is not set # CONFIG_CRYPTO_CAMELLIA is not set # CONFIG_CRYPTO_CAST5 is not set # CONFIG_CRYPTO_CAST6 is not set CONFIG_CRYPTO_DES=y # CONFIG_CRYPTO_FCRYPT is not set # CONFIG_CRYPTO_KHAZAD is not set # CONFIG_CRYPTO_SALSA20 is not set # CONFIG_CRYPTO_SALSA20_586 is not set # CONFIG_CRYPTO_SEED is not set # CONFIG_CRYPTO_SERPENT is not set # CONFIG_CRYPTO_TEA is not set # CONFIG_CRYPTO_TWOFISH is not set # CONFIG_CRYPTO_TWOFISH_586 is not set # # Compression # # CONFIG_CRYPTO_DEFLATE is not set # CONFIG_CRYPTO_LZO is not set # CONFIG_CRYPTO_HW is not set CONFIG_HAVE_KVM=y # CONFIG_VIRTUALIZATION is not set # # Library routines # CONFIG_BITREVERSE=y CONFIG_GENERIC_FIND_FIRST_BIT=y CONFIG_GENERIC_FIND_NEXT_BIT=y # CONFIG_CRC_CCITT is not set # CONFIG_CRC16 is not set # CONFIG_CRC_ITU_T is not set CONFIG_CRC32=y # CONFIG_CRC7 is not set # CONFIG_LIBCRC32C is not set CONFIG_PLIST=y CONFIG_HAS_IOMEM=y CONFIG_HAS_IOPORT=y CONFIG_HAS_DMA=y At last I'll put the log L4 Bootstrapper move modules to 2000000 with offset 1d22000 move module 17 start 1cbc000 -> 39de000 move module 16 start 1c43000 -> 3965000 move module 15 start 1ba6000 -> 38c8000 move module 14 start ba6000 -> 28c8000 move module 13 start ba5000 -> 28c7000 move module 12 start 8fd000 -> 261f000 move module 11 start 856000 -> 2578000 move module 10 start 825000 -> 2547000 move module 9 start 7d7000 -> 24f9000 move module 8 start 73b000 -> 245d000 move module 7 start 6fa000 -> 241c000 move module 6 start 48b000 -> 21ad000 move module 5 start 44c000 -> 216e000 move module 4 start 40a000 -> 212c000 move module 3 start 36d000 -> 208f000 move module 2 start 336000 -> 2058000 move module 1 start 2de000 -> 2000000 Scanning /main -serial_esc -comport 1 Scanning /sigma0 Scanning /roottask task modname "bmodfs" attached 5 modules Bootloader MMAP: [ 0, 9fc00) RAM (1) [ 9fc00, a0000) reserved (2) [ e8000, 100000) reserved (2) [ 100000, 8000000) RAM (1) [ fffc0000, 100000000) reserved (2) Relocated mbi to [0x60000-0x60282] Loading /main Loading /sigma0 Loading /roottask find kernel info page... found kernel info page at 0x1000 [ 1000, 5ffff] Kern /main [ 60000, 6037f] Root Multiboot info [ 9fc00, 9ffff] Arch BIOS [ e8000, fffff] Arch BIOS [ 100000, 10937f] Sigma0 /sigma0 [ 110000, 2acfff] Root /roottask [ 2d0000, 2dae9f] Boot bootstrap [ 300000, 38fd5f] Kern /main [ 212c000, 3ab9a7c] Root Modules Memory [ fffc0000, ffffffff] Arch BIOS API Version: (87) experimental Sigma0 config ip:00104948 sp:002daa60 Roottask config ip:00110000 sp:00000000 Starting kernel /main at 003008b8 Welcome to Fiasco(ia32)! DD-L4(v2)/ia32 microkernel (C) 1998-2008 TU Dresden Rev: r394 compiled with gcc 4.1.3 for Intel Pentium 4 [] Performance-critical config option(s) detected: CONFIG_NDEBUG is off Enabling special fully nested mode for PIC Using the PIT (i8254) on IRQ 0 for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Absolute KIP Syscalls using: Sysenter CPU: GenuineIntel (6:3:3:0) Model: Unknown CPU at 2573 MHz 8 KB L1 I Cache (4-way associative, 32 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: "/roottask task modname "bmodfs" attached 5 modules " 130687kB ( 127MB) total RAM (reported by bootloader) 112448kB ( 110MB) received RAM from Sigma0 27816kB ( 28MB) 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 10 11 ] Roottask: Parsing command line config. configured task 0x00 (bmodfs): vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:5 Roottask: Loading 14 modules. #05: loading "/names" from [0212c000-0216d90f] to [002d0000-002d6877][002d7000-002e2000] entry at 0005b060 via trampoline page code symbols at [075c0000-075c2000] (8kB), lines at [075ba000-075c0000] (24kB) #06: loading "/log" from [0216e000-021ac882] to [00400000-00406faa][00407000-00439868] entry at 0005c060 via trampoline page code symbols at [075b8000-075ba000] (8kB), lines at [075b2000-075b8000] (24kB) #07: loading "/l4io" from [021ad000-0241b3df] to [00c20000-00c44795][00c45000-00cb3000] entry at 0005d060 via trampoline page code symbols at [0755c000-075b2000] (344kB), lines at [07542000-0755c000] (104kB) #08: loading "/events" from [0241c000-0245cf20] to [01540000-01548d30][01549000-0155e5b0] entry at 0005e060 via trampoline page code symbols at [07540000-07542000] (8kB), lines at [07539000-07540000] (28kB) #09: loading "/dm_phys --isa=0x00800000 -v --events" from [0245d000-024f854f] to [01500000-015139f7][01514000-0151e000] entry at 0005f080 via trampoline page code symbols at [07534000-07539000] (20kB), lines at [07526000-07534000] (56kB) #0a: loading "/simple_ts" from [024f9000-025468b3] to [01400000-01408baa][01409000-01418628] entry at 00061064 via trampoline page code symbols at [07524000-07526000] (8kB), lines at [0751c000-07524000] (32kB) #0b: loading "/rtc" from [02547000-02577461] to [01080000-01084680][01085000-0108a000] entry at 00062060 via trampoline page code symbols at [0751a000-0751c000] (8kB), lines at [07515000-0751a000] (20kB) #0c: loading "/bmodfs" from [02578000-0261e52d] to [01220000-012382e9][01239000-01250000] passing module /vmlinuz [ 0261f000-028c6cfa ] passing module /l4linux.cfg [ 028c7000-028c7085 ] passing module /drops-rd.rd [ 028c8000-038c8000 ] passing module /libloader.s.so [ 038c8000-03964a69 ] passing module /libld-l4.s.so [ 03965000-039ddb0d ] entry at 000630fc via trampoline page code symbols at [07510000-07515000] (20kB), lines at [074fd000-07510000] (76kB) #0d: loading "/loader --fprov=BMODFS l4linux.cfg" from [039de000-03ab9a7d] to [01300000-01327f29][01328000-01347000] entry at 0006407c via trampoline page code symbols at [074f6000-074fd000] (28kB), lines at [074dc000-074f6000] (104kB) simplets| Configured for 64 tasks. rtc | Date:05.09.2008 Time:07:42:59 DMphys | DMphys memory map: DMphys | phys. memory 0x00000000-0x08000000 (from L4 kernel info page) DMphys | using 0x00100000-0x08000000 DMphys | Memory area Pool PS Flags DMphys | 0x00000000-0x0009f000 -- -- RESERVED DMphys | 0x00100000-0x00161000 -- -- RESERVED DMphys | 0x00161000-0x001a4000 -- -- DENIED DMphys | 0x001a4000-0x002ac000 7 12 MAPPED DMphys | 0x002ac000-0x002ad000 -- -- DENIED DMphys | 0x002ad000-0x002d0000 7 12 MAPPED DMphys | 0x002d0000-0x002e2000 -- -- DENIED DMphys | 0x002e2000-0x00400000 7 12 MAPPED DMphys | 0x00400000-0x0043a000 -- -- DENIED DMphys | 0x0043a000-0x009f1000 7 12 MAPPED DMphys | 0x009f1000-0x00c20000 0 12 MAPPED DMphys | 0x00c20000-0x00cb3000 -- -- DENIED DMphys | 0x00cb3000-0x01080000 0 12 MAPPED DMphys | 0x01080000-0x0108a000 -- -- DENIED DMphys | 0x0108a000-0x01220000 0 12 MAPPED DMphys | 0x01220000-0x01250000 -- -- DENIED DMphys | 0x01250000-0x01300000 0 12 MAPPED DMphys | 0x01300000-0x01347000 -- -- DENIED DMphys | 0x01347000-0x01400000 0 12 MAPPED DMphys | 0x01400000-0x01419000 -- -- DENIED DMphys | 0x01419000-0x01500000 0 12 MAPPED DMphys | 0x01500000-0x0151e000 -- -- RESERVED DMphys | 0x0151e000-0x01540000 0 12 MAPPED DMphys | 0x01540000-0x0155f000 -- -- DENIED DMphys | 0x0155f000-0x01800000 0 12 MAPPED DMphys | 0x01800000-0x02400000 0 22 MAPPED DMphys | 0x02400000-0x0261f000 0 12 MAPPED DMphys | 0x0261f000-0x039de000 -- -- DENIED DMphys | 0x039de000-0x03c00000 0 12 MAPPED DMphys | 0x03c00000-0x07400000 0 22 MAPPED DMphys | 0x07400000-0x074dc000 0 12 MAPPED DMphys | 0x074dc000-0x08000000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 87816KB total, 87816KB free, 32KB reserved DMphys | 0x009f1000-0x00c20000 ( 2236KB, 2MB) free DS: DMphys | 0x00cb3000-0x01080000 ( 3892KB, 4MB) free DS: DMphys | 0x0108a000-0x01220000 ( 1624KB, 2MB) free DS: DMphys | 0x01250000-0x01300000 ( 704KB, 1MB) free DS: DMphys | 0x01347000-0x01400000 ( 740KB, 1MB) free DS: DMphys | 0x01419000-0x01500000 ( 924KB, 1MB) free DS: DMphys | 0x0151e000-0x01540000 ( 136KB, 0MB) free DS: DMphys | 0x0155f000-0x0261f000 ( 17152KB, 17MB) free DS: DMphys | 0x039de000-0x074dc000 ( 60408KB, 59MB) free DS: DMphys | pool 7 (ISA DMA memory pool): DMphys | size: 8192KB total, 8192KB free, 0KB reserved DMphys | 0x001a4000-0x002ac000 ( 1056KB, 1MB) free DS: DMphys | 0x002ad000-0x002d0000 ( 140KB, 0MB) free DS: DMphys | 0x002e2000-0x00400000 ( 1144KB, 1MB) free DS: DMphys | 0x0043a000-0x009f1000 ( 5852KB, 6MB) free DS: bmodfs | Passed the following modules: bmodfs | module "/vmlinuz" (2720kB) bmodfs | module "/l4linux.cfg" (1kB) bmodfs | module "/drops-rd.rd" (16384kB) bmodfs | module "/libloader.s.so" (627kB) bmodfs | module "/libld-l4.s.so" (483kB) loader | Can't map tbuf status page loader | sleeping for 1000 ms io | Using platform configuration 'x86' io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) io | PCI: PIIX3: Enabling Passive Release on 00:01.0 io | Limiting direct PCI/PCI transfers. io | Activating ISA DMA hang workarounds. io | 00000000-ffffffff : PCI mem io | e0000000-e1ffffff : Cirrus Logic GD 5446 io | e2000000-e2000fff : Cirrus Logic GD 5446 io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | 1000-100f : Intel Corporation 82371SB PIIX3 IDE [Natoma/Triton II] io | 1400-14ff : Realtek Semiconductor Co., Ltd. RTL-8029(AS) io | b100-b11f : Intel Corporation 82371AB/EB/MB PIIX4 ACPI io | Available IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f 10 11 ] loader | vmlinuz: Starting application using libld-l4.s.so loader | vmlinuz,#e: Loading binary loader | vmlinuz,#e: Loading ldso loader | vmlinuz,#e: Starting libld-l4.s.so at 000138e0 via 0000cf3c l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.26-l4-svn118 (licy@licy) (gcc version 4.1.3 2007092 l4lx : 9 (prerelease) (Ubuntu 4.1.2-16ubuntu2)) #1 Fri Sep 5 12:05:14 CST 20 l4lx : 08 l4lx | Binary name: vmlinuz l4lx | Linux kernel command line (5 args): mem=64M load_ramdisk=1 ramdisk_si l4lx : ze=16384 root=/dev/ram l4env_rd=drops-rd.rd l4lx | The running microkernel does not have the l4lx | io_prot l4lx | feature enabled! --Microkernel feature missing!---------------------------IP: 0059a228 [l4lx.main] (e.02) jdb:

2 1

ORe communication problems
by fei li 29 Aug '08

29 Aug '08

Hi, all: These days I tried to boot ORe in my machine and start the l4linux at the same time, my menu.lst is: title ORe kernel /bootstrap -serial -modaddr 0x2000000 module /fiasco -serial_esc -comport 1 module /sigma0 module /roottask task modname "bmodfs" attached 5 modules module /names module /log module /l4io module /events module /dm_phys --isa=0x00800000 -v --events module /simple_ts module /rtc module /ore module /mini_http_uip module /con --vbemode 0x11 module /loader --fprov=BMODFS l4linux.cfg module /bmodfs module /vmlinuz module /l4linux.cfg module /libloader.s.so module /libld-l4.s.so module /drops-rd.rd In qemu I can start the l4linux correctly. I set the ip address and it can access the internet, then in another qemu I started a second l4linux, but when I finished setting the ip addr, the previous one suspend accidently, ore | L4RM: [PF] read at 0x0000b014, ip 01802401, src C.04 ore | [C.0] l4rm/lib/src/pagefault.c:81:__unknown_pf(): ore | unhandled page fault --PANIC, 'g' for exit------------------------------------IP: 018267a5 [ore.rm] (c.00) jdb: t maybe this is helpless, but it told me that the l4linux is down, how can I start two l4linux with ORe modules installed and they can communicate with each other, I added "ORe instances" in the kernel command line, but it is helpless. I wish your help and thanks a lot.

2 3

2nd CFP: JAR Special Issue on OS Verification
by Hendrik Tews 29 Aug '08

29 Aug '08

[apologies for crossposting, here is a CFP that might be interesting for those that are into formal methods -- Hendrik] 2nd Call for Papers Special Issue On Operating Systems Verification Journal of Automated Reasoning Industrial-strength software analysis and verification has advanced in recent years through the introduction of model checking, automated and interactive theorem proving, static analysis techniques, as well as correctness by design. However, many techniques are working under restrictive assumptions which are invalidated by complex (embedded) system software such as operating system kernels, low-level device drivers or microcontroller code. This special issue will be devoted to the formal verification of operating systems and similar low-level systems code. The emphasis is on techniques and methods that provide real solutions to real software problems. A real solution is one that is applicable to the problem in industry and not one that only applies to an abstract, academic toy version of it. Submissions are encouraged, but not limited to, the following topics and their application to operating systems or low-level systems code: * model checking * automated and interactive theorem proving * embedded systems development * programming languages * verifying compilers * software certification Manuscripts should be unpublished works and not submitted elsewhere. Revised and enhanced versions of papers published in conference proceedings that have not appeared in archival journals are eligible for submission. All submissions will be reviewed according to the usual standards of scholarship and originality. Papers should be in pdf format, following the JAR guidelines for authors, and be submitted via EasyChair at: http://www.easychair.org/conferences/?conf=jarosv08 Please do not use the Springer online submission system for the special issue at this stage, but EasyChair instead. To encourage a speedy review cycle, it will be expected that authors of submissions also serve as referees. For more information, please see http://www.cse.unsw.edu.au/~kleing/JAR-OSV-08/ Guest Editors Gerwin Klein, NICTA, Australia, gerwin.klein at nicta.com.au Ralf Huuck, NICTA, Australia, ralf.huuck at nicta.com.au Bastian Schlich, RWTH Aachen, Germany, schlich at cs.rwth-aachen.de Important Dates Sep 15 2008 Submission Deadline Dec 15 2008 Notification of accepted papers Jan 15 2009 Final version

1 0

Building self-debuggable system on L4?
by Derek Peschel 22 Aug '08

22 Aug '08

Someone in Russia was working on a source-level debugger for L4, I noticed, but I didn't see much else in the list archives relating to my question. (I searched for "[Dd]ebug" in the subject lines.) Has anyone investigated L4 as a foundation for interactive application and OS debugging? On UNIX (which I am most familiar with) program debugging is easy enough but kernel debugging is very disruptive. It would be interesting to see a system allowing most of itself to be changed while, in some sense e.g. for other tasks, it continues to run. Is L4 suited to building a system like that? What if portability was also a goal? L4 has jdb/kdb, but they stop the microkernel as I recall. However, that may not be a problem in my case. Ideally L4 would be small enough, and bug-free, so that my hypothetical new OS would never need to affect L4 proper. -- Derek

1 0

Fiasco on Intel Macbooks?
by Steffen Schulz 10 Aug '08

10 Aug '08

Hi all, Did anyone manage to start the Fiasco kernel on the Intel MacBooks? I have a MacBook Pro and get an error about the memory region beeing used by a BIOS. The reason is probably the BIOS emulation: For booting legacy BIOS-based operating systems, Apple takes a completely non-standard approach. The CSM (compatibility support module) is not loaded at all by default. When the decision is made to boot a BIOS-based operating system, a special EFI application is loaded from the firmware ROM to kick off the BIOS boot process. When the user chooses Windows as the default operating system in the “Startup Disk” pane, the NVRAM variables are actually set to point at this special loader, plus a parameter that tells it which device to boot from. - http://refit.sourceforge.net/info/boot_process.html If that is an unknown problem, maybe there's some memory offset somewhere that I can try to adjust? thanks, Steffen

2 1

Genode Operating System Framework
by Christian Helmuth 08 Aug '08

08 Aug '08

The initial version of the Genode OS Framework is available for download from http://genode.org/download/latest-release. Genode is an operating-system architecture, which addresses the root of the complexity problem, which is the lack of organization and overly permissive security policies. By applying a strict organizational structure to all system components including classical operating-system services, Genode is able to dramatically reduce the critical system complexity. The targeted application domains include high-security computing, dependable systems, automotive applications, and mobile devices. Even though we mainly address specialized applications in the mid-term, we believe that the implemented mechanisms scale well towards the needs of a general-purpose operating system. The Genode OS Framework (http://genode.org) is the reference implementation of the architecture and developed as an open-source community effort coordinated by the original creators of the project. Genode is an offspring of the L4 community. Until spring 2008, it was conducted internally within the TU Dresden OS research group. The foundation of Genode Labs by the original creators of Genode marks the transition of Genode to a community project. At present, the implementation is not complete but it is a solid starting point for a community effort. The initial version contains all base components, services, and device drivers to execute a provided interactive demonstration scenario on both Linux via libSDL and bare PC hardware via the L4/Fiasco microkernel and our custom device drivers. Release notes for the version 8.08 ---------------------------------- The release 8.08 is the first official version of the Genode OS Framework. It contains the following components: * The base framework including all libraries and interfaces as described in the Base API documentation * The 32bit Linux version of the base framework, which is the recommended platform for testing and developing * The 32bit L4/Fiasco version of the base framework * Drivers * Frame buffer driver for VESA and libSDL * PS/2 keyboard and mouse driver * PCI driver * Timer driver * Services and applications * Nitpicker GUI server * Scout tutorial browser * Graphical application launcher * XML-configurable init process * Complete demonstration scenario with graphical test applications such as liquid frame buffer, testnit, and nitlog. * Ported libraries * libz * libpng Regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/

1 0

Genode Operating System Framework
by Christian Helmuth 08 Aug '08

08 Aug '08

1 0

DirectFB
by Saya Sheng (盛淑蕙) 31 Jul '08

31 Jul '08

Hi,all I've been obsessed by some questions about window system recently. It is known that we can use dope API to create graphic user interface but it seems insufficient to me, and therefore i am wondering whether or not DirectFB can be used as a window system such that a widget toolkit can provide abundant resource. As for a application in X window system, does it need to spend much time to boot if X window system is run on DROPS through nitpicker without running l4linux? any advice is welcomed. thanks in advance. best regards Saya

1 0

l4linux booting problem
by fei li 24 Jul '08

24 Jul '08

Hi,all I have compiled l4linux and tried to boot it in qemu environment. My hardware environment is CPU: Celeron D 2.53G，512M memor. Next is my menu.lst title L4Linux kernel /bootstrap -serial -modaddr 0x2000000 module /fiasco -serial_esc -comport 1 module /sigma0 module /roottask task modname "bmodfs" attached 5 modules module /names module /l4io module /events module /dm_phys module /simple_ts module /rtc module /con --vbemode 0x117 module /bmodfs module /vmlinuz module /l4linux.cfg module /libloader.s.so module /libld-l4.s.so module /drops-rd.rd module /loader --fprov=BMODFS l4linux.cfg In l4linux.cfg, I wrote sleep 1 task "vmlinuz" "mem=64M load_ramdisk=1 ramdisk_size=16384 root=/dev/ram l4env_rd=drops-rd.rd" all_sects_writable allow_cli allow_vga and I use qemu -serial stdio -m 200 -cdrom image.iso to boot, at fisrt it told me qemu didn't have enough main memory, so I assigned 200M, then I got the errors below *simplets| Configured for 64 tasks. *rtc | Date:21.07.2008 Time:13:55:24 *bmodfs | Passed the following modules: *bmodfs | module "/vmlinuz" (3143kB) *bmodfs | module "/l4linux.cfg" (1kB) *bmodfs | module "/libloader.s.so" (636kB) *bmodfs | module "/libld-l4.s.so" (484kB) *bmodfs | module "/drops-rd.rd" (16384kB) *io | Using platform configuration 'x86' *io | PCI: Using configuration type 1 *io | PCI: Probing PCI hardware *io | PCI: Probing PCI hardware (bus 00) *io | PCI: PIIX3: Enabling Passive Release on 00:01.0 *io | Limiting direct PCI/PCI transfers. *io | Activating ISA DMA hang workarounds. *io | 00000000-ffffffff : PCI mem *io | e0000000-e1ffffff : Cirrus Logic GD 5446 *io | e2000000-e2000fff : Cirrus Logic GD 5446 *io | 0000-ffff : PCI IO *io | 0cf8-0cff : PCI conf1 *io | 1000-100f : Intel Corporation 82371SB PIIX3 IDE [Natoma/Triton II] *io | 1400-14ff : Realtek Semiconductor Co., Ltd. RTL-8029(AS) *io | b100-b11f : Intel Corporation 82371AB/EB/MB PIIX4 ACPI *con | Using fast memcpy. *io | Available IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f 10 11 ] *con | Character size is 8x14, font has 256 characters *con | Trying execution of ``set VBE mode'' using x86emu *con | Found VESA BIOS version 2.0 *con | OEM VGABIOS Cirrus extension *con | VBE mode 0x117 successfully set. *con | VESA reports 1024x768@16 2048bpl (00bb) [4096kB] *con | Color mapping: red=11:5 green=5:6 blue=0:5 res=0:0 *con | No supported accelerated graphics card detected *con | Mapped I/O video mem e0000000 => 00400000 [4096kB] via l4io *con | Using MMXEXT for colorspace transform *con | L4INPUT native mode activated *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 0xb03d90 for callbacks. ROOT: Sending ports 0060-006f to task #06 *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 B.02. Video mode is 1024x768@16. *loader | sleeping for 1000 ms *loader | vmlinuz: Starting application using libld-l4.s.so *loader | vmlinuz,#e: Loading binary *loader | vmlinuz,#e: Loading ldso *loader | vmlinuz,#e: Starting libld-l4.s.so at 000138b0 via 0000cf3c *l4lx | ======> L4Linux 2.6 starting... <======== *l4lx | Linux version 2.6.23-l4 (licy@licy) (gcc version 4.1.3 20070929 (prer *l4lx : elease) (Ubuntu 4.1.2-16ubuntu2)) #1 Mon Jul 21 16:23:26 CST 2008 *l4lx | Binary name: vmlinuz *l4lx | Kernel command line (5 args): mem=64M load_ramdisk=1 ramdisk_size=163 *l4lx : 84 root=/dev/ram l4env_rd=drops-rd.rd *l4lx | Image: 00400000 - 007b4000 [3792 KiB]. *l4lx | Areas: Text: 00400000 - 006b4000 [2768kB] (a bit longer) *l4lx | Data: 006b4000 - 006d307c [124kB] *l4lx | Initdata: 006d6000 - 00710000 [232kB] *l4lx | BSS: 00712000 - 007b1080 [636kB] *l4lx | l4lx_thread_create: Created thread 0e.03 (tamer0) *l4lx | Tamer0 is 0e.03 *l4lx | Using tamed mode. *l4lx | Connecting to l4io server. *l4lx | l4env_linux_startup thread 4. *l4lx | l4lx_thread_create: Created thread 0e.04 (cpu0) *l4lx | main thread will be 0e.04 *l4lx | l4env_register_pointer_section: addr = 00400000 size = 3215360 *l4lx | sec-w-init: virt: 0x00400000 to 0x00710fff [3140 KiB] *l4lx | Noncontiguous region for sec-w-init *l4lx | sec-w-init: Number of physical regions: 5, 3215360 Bytes *l4lx | sec-w-init: 1: Phys: 0x0108a000 to 0x010ea000, Size: 393216 *l4lx | sec-w-init: 2: Phys: 0x012f2000 to 0x01300000, Size: 57344 *l4lx | sec-w-init: 3: Phys: 0x001aa000 to 0x002ad000, Size: 1060864 *l4lx | sec-w-init: 4: Phys: 0x01419000 to 0x01500000, Size: 946176 *l4lx | sec-w-init: 5: Phys: 0x01347000 to 0x01400000, Size: 757760 *l4lx | main thread: received startup message. *l4lx | Main thread running, waiting... *l4lx | setup_l4env_memory: Forcing superpages for main memory *l4lx | Main memory size: 64MB *l4lx | Main memory: virt: 0x00800000 to 0x047fffff [65536 KiB] *l4lx | Main memory: Number of physical regions: 1, 67108864 Bytes *l4lx | Main memory: 1: Phys: 0x03c00000 to 0x07c00000, Size: 67108864 *l4lx | Filling lower ptabs... *l4lx | Done (1032 entries). *l4lx | l4env_register_pointer_section: addr = 00712000 size = 663552 *l4lx | end: virt: 0x00712000 to 0x007b3fff [648 KiB] *l4lx | end: Number of physical regions: 1, 663552 Bytes *l4lx | end: 1: Phys: 0x01250000 to 0x012f2000, Size: 663552 *l4lx | l4env_rd_path: drops-rd.rd *l4lx | Loading: drops-rd.rd *l4lx | INITRD: Size of RAMdisk is 16384KiB *l4lx | RAMdisk from 04800000 to 05800000 [16384KiB] *l4lx | l4lx_thread_create: Created thread 0e.05 (timer.i0) *l4lx | Jumping over 4x 'hlt' at 0x6df7e0 *l4lx | L4RM: [PF] read at 0x00000000, ip 00000000, src E.02 *l4lx | [E.0] l4rm/lib/src/pagefault.c:81:__unknown_pf(): *l4lx | unhandled page fault --PANIC, 'g' for exit------------------------------------IP: a00b3754 [l4lx.rm] (e.00) jdb: At last lines you will see the problem, and I checked the fiasco, it was ok. I found someone had similar problems but not the same, and Adam said L4Linux is not allowed to do port accesses (except it is explicitely allowed). I don't know what my problem is and I hope someone will give me some advice and thanks a lot.

3 6

Re: DDE library
by Björn Döbel 21 Jul '08

21 Jul '08

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hello, > Hi, Bjoern please use the mailing list. It might give others the opportunity to answer _and_ it might help other people with similar problems to get their work done. :) > Thanks for your reply. I rebuilt dde package and got the library > 'libdde_linux26_sound.a' after downloading sound,c from Linux > 2.6.20.19, but now i have a another question, some sound driver source > files from linux 2.6.20.19/sound/pci/hda were copied to my sound > package directory and do i need to combine these files with main.c > including initialization rountine to generate a sound server? if yes, > how to do that? I've tried to compile these sound driver as a library, > but unfortunately it failed. Sure, you need to incorporate the drivers into your sound server. There is not much magic involved - just link the files as well as your main.c file together and link it with the ddekit, dde_linux26, and dde_linux26_sound libraries. Kind regards, Bjoern -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFIhKLgP5ijxgQLUNkRAr6zAKCRuTS7iYDCfN/jnTVz/bKZsMe4kgCfbqSB W9SYbAmrJ1NZdbldJkeJ/As= =EjGa -----END PGP SIGNATURE-----

1 0

DDE library
by Saya Sheng (盛淑蕙) 09 Jul '08

09 Jul '08

Hi,all Recently, i wrote a simple sound server that only contains DDE initialization routines and tried to compile it with DDE libraries. After checking the Makefile in dde/linux26/lib/src, I guess i need the library 'libdde_linux26_sound.a' to link with, but it seems that i need to write the source code 'sound.c' to map linux functions to DDEKit. How can i implement this? any suggestion or hint? Thank you in advance Saya

2 1

Re: about Conventional Memory Region
by Zhang Yinfei 08 Jul '08

08 Jul '08

Hi Adam, Thanks for the reply. But I cannot find any symbol called find_kip in the fiasco source code. For bootstrap, do you mean those source files in kernel/fiasco/src/boot/ia32/ ？I just want to know where is the source code which start the KIP from scratch . Thanks. Best Regards, Zhang Yinfei On 7/7/08, l4-hackers-request(a)os.inf.tu-dresden.de < l4-hackers-request(a)os.inf.tu-dresden.de> wrote: > > > Date: Sun, 6 Jul 2008 23:51:46 +0200 > From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> > Subject: Re: about Conventional Memory Region > To: l4-hackers(a)os.inf.tu-dresden.de > Message-ID: <20080706215146.GJ7899(a)os.inf.tu-dresden.de> > Content-Type: text/plain; charset=iso-8859-1 > > Hi, > > On Sun Jul 06, 2008 at 21:49:03 +0800, Zhang Yinfei wrote: > > As in *Mem_region Kip::last_free() const*, the function try to find the > > highest *Conventional* memory region's physical address. (I guess it gets > > physical memory bottom in the first time?). However in *void > > Kip_init::init(),* I only see one Conventional memory region which stores > > virtual address. Where does last_free() get the physical address?? > > > > And in bootstrap, I see it manipulate KIP. I thought at that time, KIP is > > not initialize, because bootstrap runs before Fiasco Startup, where > > Kip_init::init() is called. > > The KIP data structure is indeed in the kernel binary but it is filled > with memory descriptors by bootstrap. I.e. look for find_kip in > bootstrap which looks for the KIP in the kernel. Kip_init::init() does > setup a few things in the KIP but it does not start from scratch with > the memory descriptors. > > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > > > ------------------------------ > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > > > End of l4-hackers Digest, Vol 63, Issue 5 > ***************************************** >

2 1

about Conventional Memory Region
by Zhang Yinfei 06 Jul '08

06 Jul '08

Hi all, I've got a question about Fiasco source. As in *Mem_region Kip::last_free() const*, the function try to find the highest *Conventional* memory region's physical address. (I guess it gets physical memory bottom in the first time?). However in *void Kip_init::init(),* I only see one Conventional memory region which stores virtual address. Where does last_free() get the physical address?? And in bootstrap, I see it manipulate KIP. I thought at that time, KIP is not initialize, because bootstrap runs before Fiasco Startup, where Kip_init::init() is called. Thanks & Best Regards, Zhang Yinfei

2 1

multi-core support for fiasco? v.s. multi-processor?
by Zhang Yinfei 04 Jul '08

04 Jul '08

Hi all, I've listened to a lecture by Prof. Hermann Haertig about L4 in my university and I'm quite interested in doing some research on L4/Fiasco. I've reviewed some source code of Fiasco recently and one thing I can think of is to add multi-core support for L4/Fiasco. In my investigation, there are some people wrote papers about adding multi-processor (SMP) support for L4 but no one is talking about multi-core support. Is there a big difference between these two in the aspect of fiasco kernel? I'd be very appreciated if you guys can give me some opinions on this. Thanks. Thanks & Best Regards, Zhang Yinfei

3 2

Problem with compiling Fiasco L4 on Suse
by Stefan Kögel 01 Jul '08

01 Jul '08

>>> Can you build with "make V=1" and show the output where the error >>> happens including 20 or more lines above the error? Maybe I can see >>> something there. >>> >>> >>> >>> Adam >> make[5]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/lib' >> Making all in debug >> make[6]: Entering directory >> `/home/stefan/Desktop/Fiasco/svn/tudos/dice/lib/debug' >> /bin/bash ../../libtool --tag=CXX --mode=link g++ -g -O2 -module >> -version-number 0:3:0 -o libdice-debug.la -rpath /home/drops/lib/dice >> init.lo BETrace.lo L4BETrace.lo L4V4BETrace.lo >> g++ -shared -nostdlib >> /usr/lib/gcc/i486-linux-gnu/4.2.3/../../../../lib/crti.o >> /usr/lib/gcc/i486-linux-gnu/4.2.3/crtbeginS.o .libs/init.o >> .libs/BETrace.o .libs/L4BETrace.o .libs/L4V4BETrace.o >> -L/usr/lib/gcc/i486-linux-gnu/4.2.3 >> -L/usr/lib/gcc/i486-linux-gnu/4.2.3/../../../../lib -L/lib/../lib >> -L/usr/lib/../lib -L/usr/lib/gcc/i486-linux-gnu/4.2.3/../../.. -lstdc++ >> -lm -lc -lgcc_s /usr/lib/gcc/i486-linux-gnu/4.2.3/crtendS.o >> /usr/lib/gcc/i486-linux-gnu/4.2.3/../../../../lib/crtn.o -Wl,-soname >> -Wl,libdice-debug.so.0 -o .libs/libdice-debug.so.0.3.0 >> g++: /usr/lib/gcc/i486-linux-gnu/4.2.3/../../../../lib/crti.o: No such >> file or directory >> g++: /usr/lib/gcc/i486-linux-gnu/4.2.3/crtbeginS.o: No such file or >> directory >> g++: /usr/lib/gcc/i486-linux-gnu/4.2.3/crtendS.o: No such file or directory >> g++: /usr/lib/gcc/i486-linux-gnu/4.2.3/../../../../lib/crtn.o: No such >> file or directory >> make[6]: *** [libdice-debug.la] Fehler 1 > > Please delete /home/stefan/Desktop/Fiasco/svn/tudos/dice and check it > out again from svn. That should fix it. > > > > Adam Thank you so much! Worked perfectly. Kind Regards, Stefan

1 0

Problem with compiling Fiasco L4 on Suse
by Stefan Kögel 01 Jul '08

01 Jul '08

> Can you build with "make V=1" and show the output where the error > happens including 20 or more lines above the error? Maybe I can see > something there. > > > > Adam make V=1 PWD=/home/stefan/Desktop/Fiasco/svn/tudos/l4 make -C /home/stefan/Desktop/Fiasco/svn/tudos/l4 O=/home/stefan/Desktop/Fiasco/my-l4-build make[1]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/l4' if [ -r ../dice/Makefile.drops ]; then \ PWD=/home/stefan/Desktop/Fiasco/svn/tudos/l4/../dice make -C ../dice -f Makefile.drops; \ fi make[2]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice' make all -f GNUmakefile make[3]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice' make all-recursive make[4]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice' Making all in libltdl make[5]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/libltdl' make all-am make[6]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/libltdl' make[6]: Für das Ziel »all-am« ist nichts zu tun. make[6]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/libltdl' make[5]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/libltdl' Making all in src make[5]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src' Making all in be make[6]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be' Making all in l4 make[7]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4' Making all in v2 make[8]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/v2' Making all in ia32 make[9]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/v2/ia32' make[9]: Für das Ziel »all« ist nichts zu tun. make[9]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/v2/ia32' Making all in amd64 make[9]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/v2/amd64' make[9]: Für das Ziel »all« ist nichts zu tun. make[9]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/v2/amd64' make[9]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/v2' make[9]: Für das Ziel »all-am« ist nichts zu tun. make[9]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/v2' make[8]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/v2' Making all in v4 make[8]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/v4' Making all in ia32 make[9]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/v4/ia32' make[9]: Für das Ziel »all« ist nichts zu tun. make[9]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/v4/ia32' make[9]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/v4' make[9]: Für das Ziel »all-am« ist nichts zu tun. make[9]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/v4' make[8]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/v4' Making all in fiasco make[8]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/fiasco' Making all in amd64 make[9]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/fiasco/amd64' make[9]: Für das Ziel »all« ist nichts zu tun. make[9]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/fiasco/amd64' make[9]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/fiasco' make[9]: Für das Ziel »all-am« ist nichts zu tun. make[9]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/fiasco' make[8]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4/fiasco' make[8]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4' make[8]: Für das Ziel »all-am« ist nichts zu tun. make[8]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4' make[7]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/l4' Making all in sock make[7]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/sock' make[7]: Für das Ziel »all« ist nichts zu tun. make[7]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be/sock' make[7]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be' make[7]: Für das Ziel »all-am« ist nichts zu tun. make[7]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be' make[6]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/be' Making all in fe make[6]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/fe' make[6]: Für das Ziel »all« ist nichts zu tun. make[6]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/fe' Making all in parser make[6]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/parser' Making all in idl make[7]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/parser/idl' make[7]: Für das Ziel »all« ist nichts zu tun. make[7]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/parser/idl' Making all in c-c++ make[7]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/parser/c-c++' make[7]: Für das Ziel »all« ist nichts zu tun. make[7]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/parser/c-c++' make[7]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/parser' make[7]: Für das Ziel »all-am« ist nichts zu tun. make[7]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/parser' make[6]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src/parser' make[6]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src' if [ -d .svn ]; then \ ver=`svnversion -nc . | /bin/sed -e 's/^[^:]*://;s/[A-Za-z]//'`; \ echo "#define SVNVERSION \"svn r$ver\"" > svnversion.h.new; \ elif [ -s SNAPSHOT ]; then \ ver=`/bin/sed -e '/^Revision: */!d;s///;q' SNAPSHOT`; \ echo "#define SVNVERSION \"svn r$ver\"" > svnversion.h.new; \ else \ touch svnversion.h.new; \ fi if [ -e svnversion.h ]; then \ if [ 0 = `diff svnversion.h svnversion.h.new | wc -l` ]; then \ rm svnversion.h.new; \ else \ mv svnversion.h.new svnversion.h; \ fi; \ else \ mv svnversion.h.new svnversion.h; \ fi make[6]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src' make[5]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/src' Making all in include make[5]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/include' Making all in dice make[6]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/include/dice' make[6]: Für das Ziel »all« ist nichts zu tun. make[6]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/include/dice' make[6]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/include' make[6]: Für das Ziel »all-am« ist nichts zu tun. make[6]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/include' make[5]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/include' Making all in lib make[5]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/lib' Making all in debug make[6]: Entering directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/lib/debug' /bin/bash ../../libtool --tag=CXX --mode=link g++ -g -O2 -module -version-number 0:3:0 -o libdice-debug.la -rpath /home/drops/lib/dice init.lo BETrace.lo L4BETrace.lo L4V4BETrace.lo g++ -shared -nostdlib /usr/lib/gcc/i486-linux-gnu/4.2.3/../../../../lib/crti.o /usr/lib/gcc/i486-linux-gnu/4.2.3/crtbeginS.o .libs/init.o .libs/BETrace.o .libs/L4BETrace.o .libs/L4V4BETrace.o -L/usr/lib/gcc/i486-linux-gnu/4.2.3 -L/usr/lib/gcc/i486-linux-gnu/4.2.3/../../../../lib -L/lib/../lib -L/usr/lib/../lib -L/usr/lib/gcc/i486-linux-gnu/4.2.3/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/i486-linux-gnu/4.2.3/crtendS.o /usr/lib/gcc/i486-linux-gnu/4.2.3/../../../../lib/crtn.o -Wl,-soname -Wl,libdice-debug.so.0 -o .libs/libdice-debug.so.0.3.0 g++: /usr/lib/gcc/i486-linux-gnu/4.2.3/../../../../lib/crti.o: No such file or directory g++: /usr/lib/gcc/i486-linux-gnu/4.2.3/crtbeginS.o: No such file or directory g++: /usr/lib/gcc/i486-linux-gnu/4.2.3/crtendS.o: No such file or directory g++: /usr/lib/gcc/i486-linux-gnu/4.2.3/../../../../lib/crtn.o: No such file or directory make[6]: *** [libdice-debug.la] Fehler 1 make[6]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/lib/debug' make[5]: *** [all-recursive] Fehler 1 make[5]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice/lib' make[4]: *** [all-recursive] Fehler 1 make[4]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice' make[3]: *** [all] Fehler 2 make[3]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice' make[2]: *** [all] Fehler 2 make[2]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/dice' make[1]: *** [../dice] Fehler 2 make[1]: Leaving directory `/home/stefan/Desktop/Fiasco/svn/tudos/l4' make: *** [x] Fehler 2 I appreciate your help. Kind Regards, Stefan

2 1

Problem with compiling Fiasco L4 on Suse...
by Stefan Kögel 27 Jun '08

27 Jun '08

On Wed Jun 25, 2008 at 12:54:13 +0200, Stefan K?gel wrote: > > Here it is... > > All I can see is that "GCCLIB=/usr/lib/gcc/i586-suse-linux/4.3/libgcc.a" > > is set to the right path. > > But I still get the "g++: /usr/lib/gcc/i486-linux-gnu/4.2.3/crtbeginS.o: > > No such file or directory" errors. Strange... > The output looks ok. The build system is using gcc (not g++) to get all the data. Are you sure that g++ is also working (i.e. is version 4.3)? Can you sucessfully compile a 'int main() { return 0; }' type of program with g++? Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ G++ is totally fine. stefan@linux-2gsj:~> g++ -v Es werden eingebaute Spezifikationen verwendet. Ziel: i586-suse-linux Konfiguriert mit: ../configure --prefix=/usr --with-local-prefix=/usr/local --infodir=/usr/share/info --mandir=/usr/share/man --libdir=/usr/lib --libexecdir=/usr/lib --enable-languages=c,c++,objc,fortran,obj-c++,java,ada --enable-checking=release --with-gxx-include-dir=/usr/include/c++/4.3 --enable-ssp --disable-libssp --with-bugurl=http://bugs.opensuse.org/ --with-pkgversion='SUSE Linux' --disable-libgcj --with-slibdir=/lib --with-system-zlib --enable-__cxa_atexit --enable-libstdcxx-allocator=new --disable-libstdcxx-pch --program-suffix=-4.3 --enable-version-specific-runtime-libs --enable-linux-futex --without-system-libunwind --with-cpu=generic --build=i586-suse-linux Thread-Modell: posix gcc-Version 4.3.1 20080507 (prerelease) [gcc-4_3-branch revision 135036] (SUSE Linux) Compiling also works without any Problems. Any ideas? I am lost. Is there a way to manually set the paths right? Kind Regards, Stefan

2 1

How to determine if the button is pressed or not in L4 Dope?
by Lynette Lin 26 Jun '08

26 Jun '08

Hi all, I am trying to write an application in L4 Dope. Right now, I face a problem. I need to determine if the button is pressed by user or not. In the dope-users-guide.txt, there is a function: dope_req() . I tried to use it to check the button event, but failed. Is anyone know the way to figure it out? Thanks a lot. Best Regards, Lynette

2 3

Re: Cannot read VHW structure!
by ahmad kamal 26 Jun '08

26 Jun '08

hi, thanks adam, i'm trying to load l4linux on fiasco-ux, hopefully, you guys don't mind if i ask very basics question. Regards Ahmad Kamal ----- Original Message ---- From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> To: l4-hackers(a)os.inf.tu-dresden.de Sent: Thursday, June 26, 2008 2:52:07 PM Subject: Re: Cannot read VHW structure! Hi, On Wed Jun 25, 2008 at 22:09:05 -0700, ahmad kamal wrote: > Fiasco-UX on Linux 2.6.18-6-686 (i686) > Mapped 64 MB Memory + 0 KB Framebuffer + 0 KB Input Area on FD 3 > > l4dope | L4INPUT Fiasco-UX mode activated > l4dope | [B.2] input/lib/src/ux.c:95:init_stuff(): > l4dope | Cannot read VHW structure! > > > I went through related codes, it's look likes the KIP is not the correct KIP > > Do you guys have any idea? > > this is what i try to run. > > ./fiasco -l events -l names -l log -l dm_phys -l simple_ts -l l4io -l l4dope You need to add -G 800x600@16 (or similar) to the command line to get the graphical mode. Also make sure to have "Graphical Console" enabled in the Fiasco configuration. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers(a)os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

2 1

Cannot read VHW structure!
by ahmad kamal 26 Jun '08

26 Jun '08

Hi all, I've got this problem, when try to run l4dope in fiasco-ux this is the error message. Fiasco-UX on Linux 2.6.18-6-686 (i686) Mapped 64 MB Memory + 0 KB Framebuffer + 0 KB Input Area on FD 3 Loading Module 0x00100000-0x00109380 [sigma0] Loading Module 0x00110000-0x002ae000 [roottask] Copying Module 0x039a0000-0x039e05f0 [events] Copying Module 0x0395e000-0x0399f803 [names] Copying Module 0x03920000-0x0395df29 [log] Copying Module 0x03885000-0x0391f3c0 [dm_phys] Copying Module 0x03838000-0x03884f8b [simple_ts] Copying Module 0x035ca000-0x03837276 [l4io] Copying Module 0x03453000-0x035c9dbc [l4dope] Bootstrapping... Welcome to Fiasco(ux)! DD-L4(v2)/ia32 microkernel (C) 1998-2008 TU Dresden Rev: r379 compiled with gcc 4.1.2 for Intel Pentium 4 [] CPU: GenuineIntel (6:F:6:0) Model: Core 2 (Merom) at 1828 MHz 128 Entry I TLB (4K pages) 272 Entry D TLB (4K pages) 48 Entry D TLB (4M pages) 32 KB L1 I Cache (8-way associative, 64 bytes per line) 32 KB L1 D Cache (8-way associative, 64 bytes per line) 2048 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 28672 bytes (7 pages) Calibrating timer loop... done. SIGMA0: Hello! KIP @ 3efc000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures Roottask. Found Fiasco-UX. Command line found: "roottask" 64512kB ( 63MB) total RAM (reported by bootloader) 51912kB ( 51MB) received RAM from Sigma0 7340kB ( 8MB) 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 <!10> <!11> ] Roottask: Loading 7 modules. #05: loading "events" from [039a0000-039e05f0] to [01540000-01548d10][01549000-0155e5b0] entry at 0000d060 via trampoline page code symbols at [039f3000-039f5000] (8kB), lines at [039ed000-039f3000] (24kB) #06: loading "names" from [0395e000-0399f803] to [002d0000-002d6977][002d7000-002e2000] entry at 0000e060 via trampoline page code symbols at [039eb000-039ed000] (8kB), lines at [039e5000-039eb000] (24kB) #07: loading "log" from [03920000-0395df29] to [00400000-00406f6a][00407000-00439848] entry at 0000f05c via trampoline page code symbols at [039e3000-039e5000] (8kB), lines at [039dd000-039e3000] (24kB) #08: loading "dm_phys" from [03885000-0391f3c0] to [01500000-015138b7][01514000-0151e000] entry at 00010060 via trampoline page code symbols at [039d8000-039dd000] (20kB), lines at [039ca000-039d8000] (56kB) #09: loading "simple_ts" from [03838000-03884f8b] to [01400000-01408baa][01409000-01418608] entry at 00011064 via trampoline page code symbols at [039c8000-039ca000] (8kB), lines at [039c1000-039c8000] (28kB) #0a: loading "l4io" from [035ca000-03837276] to [00c20000-00c44791][00c45000-00cb3000] entry at 00012060 via trampoline page code symbols at [0396b000-039c1000] (344kB), lines at [03952000-0396b000] (100kB) #0b: loading "l4dope" from [03453000-035c9dbc] to [01b00000-01b44941][01b45000-01b8a000] entry at 00013060 via trampoline page code symbols at [03944000-03952000] (56kB), lines at [03918000-03944000] (176kB) simplets| Configured for 64 tasks. io | Available IRQs=[ <!0> 1 2 3 4 5 6 7 8 9 a b c d e f <!10> <!11> ] l4dope | L4INPUT Fiasco-UX mode activated l4dope | [B.2] input/lib/src/ux.c:95:init_stuff(): l4dope | Cannot read VHW structure! I went through related codes, it's look likes the KIP is not the correct KIP Do you guys have any idea? this is what i try to run. ./fiasco -l events -l names -l log -l dm_phys -l simple_ts -l l4io -l l4dope Regards, Ahmad Kamal Abdul Aziz

2 1

Jump to page:

2025

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

l4-hackers