Missing data manager
Wang, Chip
Chip.Wang at gdcanada.com
Tue Jul 19 22:45:23 CEST 2005
Hi,
I am getting kernel panic when booting my vmlinuz26.
I am using the RAM Disk 'drops-rd' I downloaded from DROPS.
Linux would boot. After I log in and typed 'ls', l4RM complained that no data manager was found. The system was hung.
I suspect it was my L4Linux configuration problem. I attached my config at the end of the message. Could someone point out what was missing or wrong?
Thanks,
Chip
RMGR: Stage1
Using extended multiboot info
loading (cd)/l4/v2/sigma0
loading kernel (cd)/l4/v2/fiasco -nokdb -nowait -serial_esc -comspeed 115200 -
comport 1
kernel at 00001000-003496a4
detected new-style DD-L4(v2)/Fiasco
configuring sigma0: 00090000-00095000, start: 00090000
reserve modules memory range: 0205a000-03e30419
starting kernel (cd)/l4/v2/fiasco -nokdb -nowait -serial_esc -comspeed 115200
-comport 1 proto=0x101fc0 @ 0x003009a0
Welcome to Fiasco(ia32)!
DD-L4(v2)/x86 microkernel (C) 1998-2005 TU Dresden
Rev: Sat Jul 9 15:47:15 2005 compiled with gcc 3.4.3 for Intel Pentium
Performance-critical config option(s) detected:
CONFIG_ASSEMBLER_IPC_SHORTCUT is off
CONFIG_NDEBUG is off
CONFIG_NO_FRAME_PTR is off
Enabling special fully nested mode for PIC
Enabling KIP-LIPC
Using the PIT (i8254) on IRQ 0 for scheduling
CPU: GenuineIntel (6:7:3:0) Model: Pentium III (Katmai) at 551 MHz
32 Entry I TLB (4K pages) 2 Entry I TLB (4M pages)
64 Entry D TLB (4K pages) 8 Entry D TLB (4M pages)
16 KB L1 I Cache (4-way associative, 32 bytes per line)
16 KB L1 D Cache (4-way associative, 32 bytes per line)
512 KB L2 U Cache (4-way associative, 32 bytes per line)
Freeing init code/data: 20480 bytes (5 pages)
SIGMA0: Hello!
Found Fiasco: KIP syscalls: no.
Allocated 164kB for maintenance structures.
RMGR: Stage2
running on Fiasco
bootloader loaded 17 modules at 0205f000-03e30419
setting kip location 00001000
total RAM size = 392767 KB (reported by bootloader)
received 359956 KB RAM from sigma0
808 KB reserved for RMGR
received no I/O ports
attached irqs = [ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f ]
RMGR: Parsing the config options of command line.
configured task 0x0b: [ m:0,ffffffff,ffffffff hm:0,ffffffff,ffffffff
t:0,ffff,ffff i:ffff lmcp:ffff s:0,ff,ff mcp:ff prio:10 small:ff ]
configured task 0x12: [ m:0,ffffffff,ffffffff hm:0,ffffffff,ffffffff
t:0,ffff,ffff i:ffff lmcp:ffff s:0,ff,ff mcp:ff prio:a8 small:ff ]
log_mask: 00000000, log_types: 00000000
RMGR: Starting tasks.
#05: loading "(cd)/l4/v2/names"
from 0205f000-02067360 to [ 00240000-00246811 00247000-00250000 ]
starting at entry 00240000 via trampoline page code 0005c458
#06: loading "(cd)/l4/v2/log --prio 0xA1 --buffer 0"
from 02068000-020702bc to [ 00400000-00406a79 00407000-004394f0 ]
starting at entry 00400000 via trampoline page code 0005d46c
#07: loading "(cd)/l4/v2/dm_phys"
from 02071000-020844dc to [ 01500000-01511d0a 01512000-015193b0 ]
starting at entry 01500000 via trampoline page code 0005e458
#08: loading "(cd)/l4/v2/simple_ts -t 380"
from 02085000-0208f2bc to [ 01400000-014080aa 01409000-014147f0 ]
starting at entry 01400000 via trampoline page code 0005f460
#09: loading "(cd)/l4/v2/rtc"
from 02090000-0209629c to [ 01080000-01084708 01085000-0108a000 ]
starting at entry 01080000 via trampoline page code 00060454
#0a: loading "(cd)/l4/v2/l4io --noirq"
from 02097000-020e38f0 to [ 00b70000-00b9097a 00b91000-00bc25ac ]
starting at entry 00b70000 via trampoline page code 0006145c
#0b: loading "(cd)/l4/v2/bmodfs"
from 020e4000-020fb570 to [ 01220000-01235728 01236000-0123b64c ]
passing module (cd)/l4/v2/libloader.s.so [ 020fc000-0218209d ]
passing module (cd)/l4/lx/vmlinuz26 [ 02183000-02cf664c ]
passing module (cd)/l4/v2/vscrtest [ 02cf7000-02d5d670 ]
passing module (cd)/l4/cfg/lx/l4linux26.cd.k_us.cfg [ 02d5e000-02d5e0a9 ]
passing module (cd)/l4/rd/drops-rd.gz [ 02d5f000-03d5f000 ]
starting at entry 01220000 via trampoline page code 00062458
#11: loading "(cd)/l4/v2/l4exec"
from 03d5f000-03d88634 to [ 01100000-0112743e 01128000-0112f4ec ]
starting at entry 01100000 via trampoline page code 00063458
#12: loading "(cd)/l4/v2/l4dope --l4io"
from 03d89000-03dd0c54 to [ 01b00000-01b42cfe 01b43000-01b74000 ]
starting at entry 01b00000 via trampoline page code 00064460
#13: loading "(cd)/l4/v2/dopelog"
from 03dd1000-03dea174 to [ 01ba0000-01bb6e96 01bb7000-01bca338 ]
starting at entry 01ba0000 via trampoline page code 00065458
#14: loading "(cd)/l4/v2/doperun --fprov=BMODFS"
from 03deb000-03e08174 to [ 00a80000-00a9ae4e 00a9b000-00ab02b8 ]
starting at entry 00a80000 via trampoline page code 00066468
#15: loading "(cd)/l4/v2/loader --fprov=BMODFS l4linux26.cd.k_us.cfg"
from 03e09000-03e30418 to [ 01300000-01324e7a 01325000-01336000 ]
starting at entry 01300000 via trampoline page code 0006747c
simplets| Configured for 380 tasks.
rtc | Date:19.07.2005 Time:13:36:07
exec | OSKit support: using 4096KB at 0x00400000 as heap (growing)
io | OSKit support: using 1024KB at 0x00180000 as heap
io | do_args(): Disabling internal IRQ handling.
l4dope | OSKit support: using 6144KB at 0x00180000 as heap
l4dope | DOpE(init): using L4 IO server
io | PCI: Using configuration type 1
io | PCI: Probing PCI hardware
io | PCI: Probing PCI hardware (bus 00)
io | Limiting direct PCI/PCI transfers.
io | 00000000-ffffffff : PCI mem
io | eea00000-f6afffff : PCI Bus #01
io | f0000000-f3ffffff : ATI Technologies Inc Rage 128 RF/SG AGP
io | f8000000-fbffffff : Intel Corp. 440BX/ZX/DX - 82443BX/ZX/DX Host br
io : idge
io | ff700000-ff7fffff : PCI Bus #01
io | ff7fc000-ff7fffff : ATI Technologies Inc Rage 128 RF/SG AGP
io | ff900000-ff9fffff : Cirrus Logic CS 4614/22/24 [CrystalClear SoundF
io : usion Audio Accelerator]
io | ffafe000-ffafefff : Cirrus Logic CS 4614/22/24 [CrystalClear SoundF
io : usion Audio Accelerator]
io | ffaffe00-ffaffeff : Macronix, Inc. [MXIC] MX987x5
io | ffafff00-ffafffff : Lucent Microelectronics 56k WinModem
io | 0000-ffff : PCI IO
io | 0400-043f : Intel Corp. 82371AB/EB/MB PIIX4 ACPI
io | 0440-045f : Intel Corp. 82371AB/EB/MB PIIX4 ACPI
io | 0cf8-0cff : PCI conf1
io | d000-dfff : PCI Bus #01
io | dc00-dcff : ATI Technologies Inc Rage 128 RF/SG AGP
io | e800-e8ff : Macronix, Inc. [MXIC] MX987x5
io | ec00-ecff : Lucent Microelectronics 56k WinModem
io | ef80-ef9f : Intel Corp. 82371AB/EB/MB PIIX4 USB
io | eff0-eff7 : Lucent Microelectronics 56k WinModem
io | ffa0-ffaf : Intel Corp. 82371AB/EB/MB PIIX4 IDE
l4dope | L4INPUT: !!! W A R N I N G !!!
l4dope | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT.
l4dope | L4INPUT: !!! W A R N I N G !!!
l4dope | serio: i8042 AUX port at 0x60,0x64 irq 12
l4dope | serio: i8042 KBD port at 0x60,0x64 irq 1
loader | OSKit support: using 128KB at 0x00002000 as heap
bmodfs | Passed the following modules:
bmodfs | module "(cd)/l4/v2/libloader.s.so" (537kB)
bmodfs | module "(cd)/l4/lx/vmlinuz26" (11726kB)
bmodfs | module "(cd)/l4/v2/vscrtest" (410kB)
bmodfs | module "(cd)/l4/cfg/lx/l4linux26.cd.k_us.cfg" (1kB)
bmodfs | module "(cd)/l4/rd/drops-rd.gz" (16384kB)
loader | sleeping for 2000 ms
l4dope | input: ImPS/2 Generic Wheel Mouse on isa0060/serio1
l4dope | input: AT Raw Set 2 keyboard on isa0060/serio0
l4dope | input: PC Speaker
l4dope | connect "ImPS/2 Generic Wheel Mouse", isa0060/serio1/input0
l4dope | connect "AT Raw Set 2 keyboard", isa0060/serio0/input0
l4dope | connect "PC Speaker", isa0061/input0
l4dope | dope: addr=f0000000 size=16384KiB
l4dope | Mapped video memory at f0000000 to 04000000+000000 [16384kB] via L4IO
l4dope | mapping: vaddr=0x4000000 size=16777216(0x1000000) offset=0(0x0)
l4dope | Frame buffer base: 0x04000000
l4dope | Resolution: 640x480x16
l4dope | Bytes per scanline: 1280
l4dope | Current video mode is 640x480 red=11:5 green=5:6 blue=0:5 res=0:0
exec | vmlinuz26: Loading
exec | vmlinuz26: Interpreter section found, contains "/usr/lib/libc.so.1"
exec | vmlinuz26: Saved 572768 bytes of symbols
exec | libloader.s.so: Loading
exec | libloader.s.so: Saved 21449 bytes of symbols
exec | libloader.s.so: Relocating to 00010000
exec | libloader.s.so: Linking
exec | libloader.s.so: Relocating entry 00004de0 => 00014de0
exec | libloader.s.so: Setting section flag 0800
exec | vmlinuz26: Setting section flag 0800
loader | vmlinuz26: Starting l4env-style application
loader | vmlinuz26,#c: Starting at l4loader_init (00015490)
exec | vmlinuz26: Linking
exec | vmlinuz26: Relocating entry 003ff000 => 003ff000
exec | vmlinuz26: Packed 507546 bytes of symbols
exec | vmlinuz26: Packed 1619023 bytes of lines
loader | vmlinuz26,#c: Continue at l4env_init (000154a0, libloader.s.so)
l4lx | crt0_construction called.
l4lx | ======> L4Linux 2.6 starting... <========
l4lx | Binary name: vmlinuz26
l4lx | Kernel command line (8 args): mem=64M noreplacement root=/dev/ram loa
l4lx : d_ramdisk=1 ramdisk_size=16384 l4env_rd=drops-rd.gz panicblink=0 lang
l4lx : =us
l4lx | My DMphys is at 07.00
l4lx | My region mapper is at 0c.00
l4lx | My code starts at 0x003ff000 and ends at 0x006a21a8 [2700 KiB].
l4lx | Semaphore thread ID: 0c.01
l4lx | Areas:
l4lx | Text: 003ff000 - 005c1000 [1800kB] (a bit longer)
l4lx | Data: 005c1000 - 00602a80 [262kB]
l4lx | Initdata: 00606000 - 00632000 [176kB]
l4lx | BSS: 00632008 - 006a21a8 [448kB]
l4lx | l4lx_thread_create: Created thread 0c.03 (server)
l4lx | main thread will be 0c.03
l4lx | l4env_register_pointer_section: addr = 604000 size = 192512
l4lx | with-init: virt: 0x00604000 to 0x00632fff [188 KiB]
l4lx | with-init: Number of physical regions: 1, 192512 Bytes
l4lx | with-init: 1: Phys: 0x00bff000 to 0x00c2e000, Size: 5858613
l4lx | l4env_linux_startup thread 3.
l4lx | main thread: received startup message.
l4lx | Main memory size: 64MB
l4lx | Main thread running, waiting...
l4lx | Mainmem DS id: 54
l4lx | mainmem: virt: 0x006a3000 to 0x046a2fff [65536 KiB]
l4lx | mainmem: Number of physical regions: 1, 67108864 Bytes
l4lx | mainmem: 1: Phys: 0x03d5f000 to 0x07d5f000, Size: 5858363
l4lx | Filling lower ptabs...
l4lx | Done (889 entries).
l4lx | l4env_rd_path: drops-rd.gz
l4lx | Loading: drops-rd.gz
l4lx | INITRD: Size of RAMdisk is 16384KiB
l4lx | RAMdisk from 46a3000 to 56a3000 [16384KiB]
l4lx | l4lx_thread_create: Created thread 0c.04 (timer.i0)
l4lx | Starting L4FB via DOpE
l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=3e, size=96000
l4dope | SharedMem(get_adr): address = 800000
l4lx | l4lx_thread_create: Created thread 0c.06 (DOpE refresher)
l4lx | l4lx_thread_create: Created thread 0c.07 (L4DOpEinput)
l4lx | l4lx_thread_create: Created thread 0c.08 (IRQ10)
*run | [14.0] l4rm/lib/src/config.c:92:l4rm_get_dsm():
*run | L4RM: no dataspace man*dope_log| [13.0] l4rm/lib/src/config.c:92:l4r
m_get_dsm():
*dope_log| L4RM: no datager found!
--PANIC-------------------------------------------------EIP: 00a8a89c
(14.00) jdb:
My L4Linux config:
#
# Automatically generated make config: don't edit
# Linux kernel version: 2.6.12-l4
# Tue Jul 19 12:52:50 2005
#
#
# L4Linux configuration
#
CONFIG_L4=y
CONFIG_L4_LINUX=y
CONFIG_L4_L4DIR="/home/drops/l4"
CONFIG_L4_L4ENV=y
CONFIG_L4_ARCH_X86=y
# CONFIG_L4_ARCH_ARM is not set
# CONFIG_L4_USERPRIV_ONLY is not set
CONFIG_L4_EXTERNAL_RTC=y
#
# Advanced options
#
CONFIG_L4_L4ENV_MEMSIZE=64
# CONFIG_L4_TAMED is not set
CONFIG_L4_BLK_DRV=y
CONFIG_L4_FB_DRIVER=y
CONFIG_L4_FB_DRIVER_XF86IF=y
# CONFIG_L4_OSHKOSH_DRV is not set
# CONFIG_L4_SERIAL is not set
CONFIG_L4_MK_CPU_X86="586"
# CONFIG_L4_IRQ_OMEGA0 is not set
# CONFIG_L4_NEED_DSI is not set
# CONFIG_L4_NEED_INET_NTOA is not set
# CONFIG_L4_DEBUG is not set
#
#
#
CONFIG_X86=y
CONFIG_MMU=y
CONFIG_UID16=y
CONFIG_GENERIC_ISA_DMA=y
CONFIG_GENERIC_IOMAP=y
#
# Code maturity level options
#
# CONFIG_EXPERIMENTAL is not set
CONFIG_CLEAN_COMPILE=y
CONFIG_BROKEN_ON_SMP=y
CONFIG_INIT_ENV_ARG_LIMIT=32
#
# General setup
#
CONFIG_LOCALVERSION=""
CONFIG_SWAP=y
CONFIG_SYSVIPC=y
# CONFIG_BSD_PROCESS_ACCT is not set
CONFIG_SYSCTL=y
# CONFIG_AUDIT is not set
# CONFIG_HOTPLUG is not set
CONFIG_KOBJECT_UEVENT=y
# CONFIG_IKCONFIG is not set
CONFIG_EMBEDDED=y
CONFIG_KALLSYMS=y
# CONFIG_KALLSYMS_ALL is not set
# CONFIG_KALLSYMS_EXTRA_PASS is not set
CONFIG_PRINTK=y
CONFIG_BUG=y
CONFIG_BASE_FULL=y
CONFIG_FUTEX=y
CONFIG_EPOLL=y
# CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
CONFIG_SHMEM=y
CONFIG_CC_ALIGN_FUNCTIONS=0
CONFIG_CC_ALIGN_LABELS=0
CONFIG_CC_ALIGN_LOOPS=0
CONFIG_CC_ALIGN_JUMPS=0
# CONFIG_TINY_SHMEM is not set
CONFIG_BASE_SMALL=0
#
# Loadable module support
#
CONFIG_MODULES=y
# CONFIG_MODULE_UNLOAD is not set
CONFIG_OBSOLETE_MODPARM=y
# CONFIG_MODULE_SRCVERSION_ALL is not set
CONFIG_KMOD=y
#
# Processor type and features
#
CONFIG_X86_PC=y
# CONFIG_X86_ELAN is not set
# CONFIG_X86_VOYAGER is not set
# CONFIG_X86_NUMAQ is not set
# CONFIG_X86_SUMMIT is not set
# CONFIG_X86_BIGSMP is not set
# CONFIG_X86_VISWS is not set
# CONFIG_X86_GENERICARCH is not set
# CONFIG_X86_ES7000 is not set
# CONFIG_M386 is not set
# CONFIG_M486 is not set
# CONFIG_M586 is not set
# CONFIG_M586TSC is not set
# 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=y
# 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_MCYRIXIII is not set
# CONFIG_MVIAC3_2 is not set
# CONFIG_X86_GENERIC is not set
CONFIG_X86_CMPXCHG=y
CONFIG_X86_XADD=y
CONFIG_X86_L1_CACHE_SHIFT=7
CONFIG_RWSEM_XCHGADD_ALGORITHM=y
CONFIG_GENERIC_CALIBRATE_DELAY=y
CONFIG_X86_WP_WORKS_OK=y
CONFIG_X86_INVLPG=y
CONFIG_X86_BSWAP=y
CONFIG_X86_POPAD_OK=y
CONFIG_X86_GOOD_APIC=y
CONFIG_X86_INTEL_USERCOPY=y
CONFIG_X86_USE_PPRO_CHECKSUM=y
# CONFIG_HPET_TIMER is not set
# CONFIG_SMP is not set
# CONFIG_PREEMPT is not set
# CONFIG_X86_UP_APIC is not set
CONFIG_X86_TSC=y
# CONFIG_X86_MCE is not set
# CONFIG_TOSHIBA is not set
# CONFIG_I8K is not set
# CONFIG_X86_REBOOTFIXUPS is not set
# CONFIG_MICROCODE is not set
# CONFIG_X86_MSR is not set
# CONFIG_X86_CPUID is not set
#
# Firmware Drivers
#
CONFIG_NOHIGHMEM=y
# CONFIG_HIGHMEM4G is not set
# CONFIG_HIGHMEM64G is not set
# CONFIG_MATH_EMULATION is not set
# CONFIG_MTRR is not set
CONFIG_SECCOMP=y
#
# Power management options (ACPI, APM)
#
# CONFIG_PM is not set
#
# ACPI (Advanced Configuration and Power Interface) Support
#
# CONFIG_ACPI is not set
#
# CPU Frequency scaling
#
# CONFIG_CPU_FREQ is not set
#
# Bus options (PCI, PCMCIA, EISA, MCA, ISA)
#
CONFIG_PCI=y
# CONFIG_PCI_GOBIOS is not set
# CONFIG_PCI_GOMMCONFIG is not set
# CONFIG_PCI_GODIRECT is not set
CONFIG_PCI_GOANY=y
CONFIG_PCI_BIOS=y
CONFIG_PCI_DIRECT=y
# CONFIG_PCIEPORTBUS is not set
# CONFIG_PCI_LEGACY_PROC is not set
# CONFIG_PCI_NAMES is not set
# CONFIG_PCI_DEBUG is not set
CONFIG_ISA_DMA_API=y
CONFIG_ISA=y
# CONFIG_EISA is not set
# CONFIG_MCA is not set
# CONFIG_SCx200 is not set
#
# PCCARD (PCMCIA/CardBus) support
#
# CONFIG_PCCARD is not set
#
# PCI Hotplug Support
#
#
# Executable file formats
#
CONFIG_BINFMT_ELF=y
CONFIG_BINFMT_AOUT=y
CONFIG_BINFMT_MISC=y
#
# Device Drivers
#
#
# Generic Driver Options
#
CONFIG_STANDALONE=y
CONFIG_PREVENT_FIRMWARE_BUILD=y
# CONFIG_FW_LOADER is not set
# CONFIG_DEBUG_DRIVER is not set
#
# Memory Technology Devices (MTD)
#
# CONFIG_MTD is not set
#
# Parallel port support
#
# CONFIG_PARPORT is not set
#
# Plug and Play support
#
# CONFIG_PNP is not set
#
# Block devices
#
# 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_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_INITRD=y
CONFIG_INITRAMFS_SOURCE=""
# CONFIG_LBD is not set
# CONFIG_CDROM_PKTCDVD is not set
#
# IO Schedulers
#
CONFIG_IOSCHED_NOOP=y
CONFIG_IOSCHED_AS=y
CONFIG_IOSCHED_DEADLINE=y
CONFIG_IOSCHED_CFQ=y
# CONFIG_ATA_OVER_ETH is not set
#
# ATA/ATAPI/MFM/RLL support
#
CONFIG_IDE=y
# CONFIG_BLK_DEV_IDE is not set
# CONFIG_BLK_DEV_HD_ONLY is not set
# CONFIG_BLK_DEV_HD is not set
#
# SCSI device support
#
# CONFIG_SCSI is not set
#
# Old CD-ROM drivers (not SCSI, not IDE)
#
# CONFIG_CD_NO_IDESCSI is not set
#
# Multi-device support (RAID and LVM)
#
# CONFIG_MD is not set
#
# Fusion MPT device support
#
#
# IEEE 1394 (FireWire) support
#
# CONFIG_IEEE1394 is not set
#
# I2O device support
#
# CONFIG_I2O is not set
#
# Networking support
#
CONFIG_NET=y
#
# Networking options
#
CONFIG_PACKET=y
# CONFIG_PACKET_MMAP is not set
CONFIG_UNIX=y
# CONFIG_NET_KEY is not set
CONFIG_INET=y
# CONFIG_IP_MULTICAST is not set
# CONFIG_IP_ADVANCED_ROUTER is not set
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_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_TUNNEL is not set
CONFIG_IP_TCPDIAG=y
# CONFIG_IP_TCPDIAG_IPV6 is not set
# CONFIG_IPV6 is not set
# CONFIG_NETFILTER 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
#
# QoS and/or fair queueing
#
# CONFIG_NET_SCHED is not set
# CONFIG_NET_CLS_ROUTE is not set
#
# Network testing
#
# CONFIG_NET_PKTGEN is not set
# CONFIG_NETPOLL is not set
# CONFIG_NET_POLL_CONTROLLER is not set
# CONFIG_HAMRADIO is not set
# CONFIG_IRDA is not set
# CONFIG_BT is not set
CONFIG_NETDEVICES=y
# CONFIG_DUMMY is not set
# CONFIG_BONDING is not set
# CONFIG_EQUALIZER is not set
# CONFIG_TUN is not set
#
# ARCnet devices
#
# CONFIG_ARCNET is not set
#
# Ethernet (10 or 100Mbit)
#
CONFIG_NET_ETHERNET=y
CONFIG_MII=y
# CONFIG_HAPPYMEAL is not set
# CONFIG_SUNGEM is not set
CONFIG_NET_VENDOR_3COM=y
# CONFIG_EL1 is not set
# CONFIG_EL2 is not set
# CONFIG_ELPLUS 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
#
# Tulip family network device support
#
CONFIG_NET_TULIP=y
CONFIG_TULIP=y
# 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_DEPCA is not set
# CONFIG_HP100 is not set
# CONFIG_NET_ISA is not set
CONFIG_NET_PCI=y
CONFIG_PCNET32=y
# CONFIG_AMD8111_ETH is not set
# CONFIG_ADAPTEC_STARFIRE is not set
# CONFIG_APRICOT is not set
# CONFIG_CS89x0 is not set
# CONFIG_DGRS 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_8139TOO 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_NET_POCKET is not set
#
# Ethernet (1000 Mbit)
#
# CONFIG_ACENIC is not set
# CONFIG_DL2K is not set
CONFIG_E1000=y
# CONFIG_E1000_NAPI is not set
# CONFIG_NS83820 is not set
# CONFIG_HAMACHI is not set
# CONFIG_R8169 is not set
# CONFIG_SK98LIN is not set
# CONFIG_VIA_VELOCITY is not set
CONFIG_TIGON3=y
# CONFIG_BNX2 is not set
#
# Ethernet (10000 Mbit)
#
# CONFIG_IXGB is not set
# CONFIG_S2IO is not set
#
# Token Ring devices
#
# CONFIG_TR is not set
#
# Wireless LAN (non-hamradio)
#
# CONFIG_NET_RADIO is not set
#
# Wan interfaces
#
# CONFIG_WAN is not set
# CONFIG_FDDI is not set
# CONFIG_PPP is not set
# CONFIG_SLIP is not set
#
# ISDN subsystem
#
# CONFIG_ISDN is not set
#
# Telephony Support
#
# CONFIG_PHONE is not set
#
# Input device support
#
CONFIG_INPUT=y
#
# Userland interfaces
#
CONFIG_INPUT_MOUSEDEV=y
CONFIG_INPUT_MOUSEDEV_PSAUX=y
CONFIG_INPUT_MOUSEDEV_SCREEN_X=800
CONFIG_INPUT_MOUSEDEV_SCREEN_Y=600
# CONFIG_INPUT_JOYDEV is not set
# CONFIG_INPUT_TSDEV is not set
CONFIG_INPUT_EVDEV=y
# CONFIG_INPUT_EVBUG is not set
#
# Input Device Drivers
#
CONFIG_INPUT_KEYBOARD=y
# CONFIG_KEYBOARD_ATKBD is not set
# CONFIG_KEYBOARD_SUNKBD is not set
# CONFIG_KEYBOARD_LKKBD is not set
# CONFIG_KEYBOARD_XTKBD is not set
# CONFIG_KEYBOARD_NEWTON is not set
CONFIG_INPUT_MOUSE=y
# CONFIG_MOUSE_PS2 is not set
# CONFIG_MOUSE_SERIAL is not set
# CONFIG_MOUSE_INPORT is not set
# CONFIG_MOUSE_LOGIBM is not set
# CONFIG_MOUSE_PC110PAD is not set
# CONFIG_MOUSE_VSXXXAA is not set
# CONFIG_INPUT_JOYSTICK 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_SERIAL_NONSTANDARD is not set
#
# Serial drivers
#
# CONFIG_SERIAL_8250 is not set
#
# Non-8250 serial port support
#
# CONFIG_SERIAL_JSM is not set
CONFIG_UNIX98_PTYS=y
CONFIG_LEGACY_PTYS=y
CONFIG_LEGACY_PTY_COUNT=256
#
# IPMI
#
# CONFIG_IPMI_HANDLER is not set
#
# Watchdog Cards
#
# CONFIG_WATCHDOG 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
#
# Ftape, the floppy tape device driver
#
# CONFIG_FTAPE is not set
# CONFIG_AGP is not set
# CONFIG_DRM is not set
# CONFIG_MWAVE is not set
# CONFIG_RAW_DRIVER is not set
# CONFIG_HANGCHECK_TIMER is not set
#
# TPM devices
#
#
# I2C support
#
# CONFIG_I2C is not set
#
# Dallas's 1-wire bus
#
# CONFIG_W1 is not set
#
# Misc devices
#
#
# Multimedia devices
#
# CONFIG_VIDEO_DEV is not set
#
# Digital Video Broadcasting Devices
#
# CONFIG_DVB is not set
#
# Graphics support
#
CONFIG_FB=y
CONFIG_FB_CFB_FILLRECT=y
CONFIG_FB_CFB_COPYAREA=y
CONFIG_FB_CFB_IMAGEBLIT=y
CONFIG_FB_SOFT_CURSOR=y
# CONFIG_FB_MACMODES is not set
# CONFIG_FB_MODE_HELPERS is not set
# CONFIG_FB_TILEBLITTING is not set
# CONFIG_FB_CIRRUS is not set
# CONFIG_FB_PM2 is not set
# CONFIG_FB_CYBER2000 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_VIDEO_SELECT=y
# CONFIG_FB_HGA is not set
# CONFIG_FB_NVIDIA is not set
# CONFIG_FB_RIVA is not set
# CONFIG_FB_MATROX is not set
# CONFIG_FB_RADEON_OLD is not set
# CONFIG_FB_RADEON is not set
# CONFIG_FB_ATY128 is not set
# CONFIG_FB_ATY 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_TRIDENT is not set
# CONFIG_FB_S1D13XXX is not set
# CONFIG_FB_VIRTUAL is not set
#
# Console display driver support
#
# CONFIG_VGA_CONSOLE is not set
# CONFIG_MDA_CONSOLE is not set
CONFIG_DUMMY_CONSOLE=y
CONFIG_FRAMEBUFFER_CONSOLE=y
CONFIG_FONTS=y
CONFIG_FONT_8x8=y
CONFIG_FONT_8x16=y
# CONFIG_FONT_6x11 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
#
# Logo configuration
#
CONFIG_LOGO=y
CONFIG_LOGO_LINUX_MONO=y
CONFIG_LOGO_LINUX_VGA16=y
CONFIG_LOGO_LINUX_CLUT224=y
# CONFIG_BACKLIGHT_LCD_SUPPORT is not set
#
# Sound
#
# CONFIG_SOUND is not set
#
# USB support
#
CONFIG_USB_ARCH_HAS_HCD=y
CONFIG_USB_ARCH_HAS_OHCI=y
# CONFIG_USB is not set
#
# USB Gadget Support
#
# CONFIG_USB_GADGET is not set
#
# MMC/SD Card support
#
# CONFIG_MMC is not set
#
# InfiniBand support
#
# CONFIG_INFINIBAND is not set
#
# File systems
#
CONFIG_EXT2_FS=y
CONFIG_EXT2_FS_XATTR=y
# CONFIG_EXT2_FS_POSIX_ACL is not set
# CONFIG_EXT2_FS_SECURITY 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_JBD=y
# CONFIG_JBD_DEBUG is not set
CONFIG_FS_MBCACHE=y
# CONFIG_REISERFS_FS is not set
# CONFIG_JFS_FS is not set
#
# XFS support
#
# CONFIG_XFS_FS is not set
# CONFIG_MINIX_FS is not set
# CONFIG_ROMFS_FS is not set
# CONFIG_QUOTA is not set
CONFIG_DNOTIFY=y
# CONFIG_AUTOFS_FS is not set
# CONFIG_AUTOFS4_FS is not set
#
# CD-ROM/DVD Filesystems
#
CONFIG_ISO9660_FS=y
CONFIG_JOLIET=y
CONFIG_ZISOFS=y
CONFIG_ZISOFS_FS=y
# 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_SYSFS=y
# CONFIG_DEVPTS_FS_XATTR is not set
CONFIG_TMPFS=y
# CONFIG_TMPFS_XATTR is not set
# CONFIG_HUGETLBFS is not set
# CONFIG_HUGETLB_PAGE is not set
CONFIG_RAMFS=y
#
# Miscellaneous filesystems
#
# CONFIG_HFSPLUS_FS is not set
# CONFIG_CRAMFS is not set
# CONFIG_VXFS_FS is not set
# CONFIG_HPFS_FS is not set
# CONFIG_QNX4FS_FS is not set
# CONFIG_SYSV_FS is not set
# CONFIG_UFS_FS is not set
#
# Network File Systems
#
CONFIG_NFS_FS=y
CONFIG_NFS_V3=y
# CONFIG_NFSD is not set
CONFIG_ROOT_NFS=y
CONFIG_LOCKD=y
CONFIG_LOCKD_V4=y
CONFIG_SUNRPC=y
# CONFIG_SMB_FS is not set
# CONFIG_CIFS is not set
# CONFIG_NCP_FS is not set
# CONFIG_CODA_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_EFI_PARTITION is not set
#
# Native Language Support
#
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_PRINTK_TIME is not set
CONFIG_DEBUG_KERNEL=y
CONFIG_MAGIC_SYSRQ=y
CONFIG_LOG_BUF_SHIFT=15
# CONFIG_SCHEDSTATS is not set
# CONFIG_DEBUG_SLAB is not set
# CONFIG_DEBUG_SPINLOCK is not set
# CONFIG_DEBUG_SPINLOCK_SLEEP is not set
# CONFIG_DEBUG_KOBJECT is not set
# CONFIG_DEBUG_BUGVERBOSE is not set
CONFIG_DEBUG_INFO=y
# CONFIG_DEBUG_FS is not set
CONFIG_FRAME_POINTER=y
# CONFIG_EARLY_PRINTK is not set
# CONFIG_DEBUG_STACKOVERFLOW is not set
# CONFIG_KPROBES is not set
# CONFIG_DEBUG_STACK_USAGE is not set
# CONFIG_DEBUG_PAGEALLOC is not set
# CONFIG_4KSTACKS is not set
#
# Security options
#
# CONFIG_KEYS is not set
# CONFIG_SECURITY is not set
#
# Cryptographic options
#
CONFIG_CRYPTO=y
# CONFIG_CRYPTO_HMAC is not set
# CONFIG_CRYPTO_NULL is not set
# CONFIG_CRYPTO_MD4 is not set
CONFIG_CRYPTO_MD5=y
# CONFIG_CRYPTO_SHA1 is not set
# CONFIG_CRYPTO_SHA256 is not set
# CONFIG_CRYPTO_SHA512 is not set
# CONFIG_CRYPTO_WP512 is not set
# CONFIG_CRYPTO_TGR192 is not set
CONFIG_CRYPTO_DES=y
# CONFIG_CRYPTO_BLOWFISH is not set
# CONFIG_CRYPTO_TWOFISH is not set
# CONFIG_CRYPTO_SERPENT is not set
# CONFIG_CRYPTO_AES_586 is not set
# CONFIG_CRYPTO_CAST5 is not set
# CONFIG_CRYPTO_CAST6 is not set
# CONFIG_CRYPTO_TEA is not set
# CONFIG_CRYPTO_ARC4 is not set
# CONFIG_CRYPTO_KHAZAD is not set
# CONFIG_CRYPTO_ANUBIS is not set
# CONFIG_CRYPTO_DEFLATE is not set
# CONFIG_CRYPTO_MICHAEL_MIC is not set
# CONFIG_CRYPTO_CRC32C is not set
# CONFIG_CRYPTO_TEST is not set
#
# Hardware crypto devices
#
# CONFIG_CRYPTO_DEV_PADLOCK is not set
#
# Library routines
#
# CONFIG_CRC_CCITT is not set
CONFIG_CRC32=y
# CONFIG_LIBCRC32C is not set
CONFIG_ZLIB_INFLATE=y
CONFIG_GENERIC_HARDIRQS=y
CONFIG_GENERIC_IRQ_PROBE=y
CONFIG_X86_BIOS_REBOOT=y
The information contained in this e-mail message is PRIVATE. It may contain confidential information and may be legally privileged. It is intended for the exclusive use of the addressee(s). If you are not the intended recipient, you are hereby notified that any dissemination, distribution or reproduction of this communication is strictly prohibited. If the intended recipient(s) cannot be reached or if a transmission problem has occurred, please notify the sender immediately by return e-mail and destroy all copies of this message.
Thank you.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20050719/ffecb665/attachment.html>
More information about the l4-hackers
mailing list