March 2007 - l4-hackers - example.com Site

Re: How can i know the meaning of options when I configure the Fiasco kernel
by chenggh 24 Mar '07

24 Mar '07

> Most configuration options in the kernel configurator have a help text > which is displayed when pressing '?'. How does it not work for you? If I press '?' it displays this sentence "Search symbols for regular expression: " not a help text. Thank you. cheng

1 0

How can i know the meaning of options when I configure the Fiasco kernel
by chenggh 23 Mar '07

23 Mar '07

Hi: Now I could boot the fiasco, l4linux and l4dope. In other words I could start to use drops system. But I want to know deep about the system especially the meanings of configuration options. In the menuconfig of fiasco kernel the help command says I could input the symbol of "?" to get the description of options. But it seems that it can't work well. Thank you. cheng

1 0

Re: How can i know the meaning of options when I configure the Fiasco kernel
by Adam Lackorzynski 23 Mar '07

23 Mar '07

On Fri Mar 23, 2007 at 13:20:13 +0000, chenggh wrote: > Hi: > Now I could boot the fiasco, l4linux and l4dope. In other words I could start > to use drops system. But I want to know deep about the system especially the > meanings of configuration options. > In the menuconfig of fiasco kernel the help command says I could input the > symbol of "?" to get the description of options. But it seems that it can't > work well. Most configuration options in the kernel configurator have a help text which is displayed when pressing '?'. How does it not work for you? Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

L4Linux 2.6.19, L4Dope, and L4io and IRQs
by SwiftBoo 19 Mar '07

19 Mar '07

I am able to boot L4Dope successfully with mouse and keyboard working fine. When I try to subsequently load L4Linux, however, it seems to attach to the mouse and keyboard, after which, the mouse disappears and neither mouse and keyboard work at all. L4Linux does boot all the way to login prompt. I have tried various combinations of l4io with and without --noirq and L4Linux configured (and not) to use L4IO for interrupt handling. I thought i had disabled mouse and keyboard properly in L4Linux, however, there must be a setting I am missing. Pasted below are the boot menu.lst and l4linux .config files. Any help in spotting my erroneous l4linux setting(s) would be appreciated. /boot/grub/menu.lst : title X-Verse: Linux Console Mode root (hd0,0) kernel /l4/v2/bootstrap modaddr 0x06000000 module /l4/v2/fiasco -noserial -nowait -nokdb module /l4/v2/sigma0 module /l4/v2/roottask task modname "bmodfs" attached 4 modules module /l4/v2/events module /l4/v2/names --events module /l4/v2/log --events module /l4/v2/dm_phys --isa=0x00800000 -v --events module /l4/v2/simple_ts -t 300 --events module /l4/v2/rtc --events module /l4/v2/l4io --events module /l4/v2/l4dope --l4io -f module /l4/v2/loader --fprov=BMODFS l4linux26.cfg module /l4/v2/bmodfs module /l4/v2/libloader.s.so module /l4/v2/libld-l4.s.so module /l4/v2/vmlinuz26 module /l4/v2/l4linux26.cfg vbeset 0x117 I have also used the above with the following modification: module /l4/v2/l4io --noirq --events L4Linux Config: # # Automatically generated make config: don't edit # Linux kernel version: 2.6.19-l4 # Sun Mar 18 12:22:10 2007 # # # L4Linux configuration # CONFIG_L4=y CONFIG_L4_LINUX=y CONFIG_L4_OBJ_TREE="/home/memswiler/dev/drops/bld" CONFIG_L4_L4ENV=y CONFIG_L4_ARCH_X86=y # CONFIG_L4_ARCH_ARM is not set CONFIG_HZ=100 CONFIG_PHYSICAL_START=0x0 # CONFIG_L4_USERPRIV_ONLY is not set CONFIG_L4_L4ENV_MEMSIZE=32 CONFIG_L4_TAMED=y # # L4 build options # CONFIG_L4_MK_CPU_X86="586" # # IRQ Handling # # CONFIG_L4_IRQ_SINGLE 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=y # CONFIG_L4_OSHKOSH_DRV is not set # CONFIG_L4_ORE_DRV is not set # CONFIG_L4_SERIAL is not set # CONFIG_L4_NEED_DSI is not set # CONFIG_L4_NEED_INET_NTOA is not set # CONFIG_L4_DROPSCON is not set # # Priority configuration # CONFIG_L4_PRIO_USER_PROCESS=10 CONFIG_L4_PRIO_IRQ_OFFSET=129 CONFIG_L4_PRIO_SERVER=100 # # Debugging options # CONFIG_L4_DEBUG=y # CONFIG_L4_DEBUG_REGISTER_NAMES is not set # CONFIG_L4_DEBUG_SEGFAULTS is not set # CONFIG_L4_DEBUG_STATS is not set # CONFIG_L4_DEBUG_IRQ_WHEELS is not set # CONFIG_L4_DEBUG_TAMED_COUNT_INTERRUPT_DISABLE is not set # # Monitoring options (ferret) # # CONFIG_L4_FERRET_USER is not set # CONFIG_L4_FERRET_KERNEL is not set # CONFIG_L4_FERRET_SYSCALL_COUNTER is not set # # # CONFIG_X86_32=y CONFIG_GENERIC_TIME=y CONFIG_LOCKDEP_SUPPORT=y CONFIG_STACKTRACE_SUPPORT=y CONFIG_SEMAPHORE_SLEEPERS=y CONFIG_X86=y CONFIG_MMU=y CONFIG_GENERIC_ISA_DMA=y CONFIG_GENERIC_IOMAP=y CONFIG_GENERIC_HWEIGHT=y CONFIG_ARCH_MAY_HAVE_PC_FDC=y CONFIG_DMI=y CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config" # # Code maturity level options # CONFIG_EXPERIMENTAL=y CONFIG_BROKEN_ON_SMP=y CONFIG_INIT_ENV_ARG_LIMIT=32 # # General setup # CONFIG_LOCALVERSION="" CONFIG_LOCALVERSION_AUTO=y CONFIG_SWAP=y CONFIG_SYSVIPC=y # CONFIG_IPC_NS is not set # CONFIG_POSIX_MQUEUE is not set CONFIG_BSD_PROCESS_ACCT=y # CONFIG_BSD_PROCESS_ACCT_V3 is not set CONFIG_TASKSTATS=y CONFIG_TASK_DELAY_ACCT=y # CONFIG_UTS_NS is not set CONFIG_AUDIT=y CONFIG_AUDITSYSCALL=y CONFIG_IKCONFIG=m CONFIG_IKCONFIG_PROC=y # CONFIG_RELAY is not set CONFIG_INITRAMFS_SOURCE="" CONFIG_CC_OPTIMIZE_FOR_SIZE=y # CONFIG_TASK_XACCT is not set CONFIG_SYSCTL=y # CONFIG_EMBEDDED is not set CONFIG_UID16=y CONFIG_SYSCTL_SYSCALL=y CONFIG_KALLSYMS=y # CONFIG_KALLSYMS_EXTRA_PASS is not set CONFIG_HOTPLUG=y CONFIG_PRINTK=y CONFIG_BUG=y CONFIG_ELF_CORE=y CONFIG_BASE_FULL=y CONFIG_FUTEX=y CONFIG_EPOLL=y CONFIG_SHMEM=y CONFIG_SLAB=y CONFIG_VM_EVENT_COUNTERS=y CONFIG_RT_MUTEXES=y # CONFIG_TINY_SHMEM is not set CONFIG_BASE_SMALL=0 # CONFIG_SLOB is not set # # Loadable module support # CONFIG_MODULES=y CONFIG_MODULE_UNLOAD=y CONFIG_MODULE_FORCE_UNLOAD=y # CONFIG_MODVERSIONS is not set # CONFIG_MODULE_SRCVERSION_ALL is not set CONFIG_KMOD=y # # Block layer # CONFIG_BLOCK=y CONFIG_LBD=y # CONFIG_BLK_DEV_IO_TRACE is not set # CONFIG_LSF is not set # # IO Schedulers # CONFIG_IOSCHED_NOOP=y CONFIG_IOSCHED_AS=y CONFIG_IOSCHED_DEADLINE=y CONFIG_IOSCHED_CFQ=y # CONFIG_DEFAULT_AS is not set # CONFIG_DEFAULT_DEADLINE is not set CONFIG_DEFAULT_CFQ=y # CONFIG_DEFAULT_NOOP is not set CONFIG_DEFAULT_IOSCHED="cfq" # # Processor type and features # # CONFIG_SMP is not set CONFIG_X86_PC=y # CONFIG_X86_ELAN is not set # CONFIG_X86_VOYAGER is not set # CONFIG_X86_NUMAQ is not set # CONFIG_X86_SUMMIT is not set # CONFIG_X86_BIGSMP is not set # CONFIG_X86_VISWS is not set # CONFIG_X86_GENERICARCH is not set # CONFIG_X86_ES7000 is not set # CONFIG_M386 is not set # CONFIG_M486 is not set CONFIG_M586=y # 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 is not set # CONFIG_MK6 is not set # CONFIG_MK7 is not set # CONFIG_MK8 is not set # CONFIG_MCRUSOE is not set # CONFIG_MEFFICEON is not set # CONFIG_MWINCHIPC6 is not set # CONFIG_MWINCHIP2 is not set # CONFIG_MWINCHIP3D is not set # CONFIG_MGEODEGX1 is not set # CONFIG_MGEODE_LX is not set # CONFIG_MCYRIXIII is not set # CONFIG_MVIAC3_2 is not set CONFIG_X86_GENERIC=y 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_PPRO_FENCE=y CONFIG_X86_F00F_BUG=y CONFIG_X86_WP_WORKS_OK=y CONFIG_X86_INVLPG=y CONFIG_X86_BSWAP=y CONFIG_X86_POPAD_OK=y CONFIG_X86_CMPXCHG64=y CONFIG_X86_ALIGNMENT_16=y CONFIG_X86_INTEL_USERCOPY=y # CONFIG_HPET_TIMER is not set CONFIG_PREEMPT_NONE=y # CONFIG_PREEMPT_VOLUNTARY is not set # CONFIG_PREEMPT is not set # CONFIG_X86_UP_APIC is not set # CONFIG_X86_MCE is not set CONFIG_VM86=y # CONFIG_TOSHIBA is not set # CONFIG_I8K is not set # CONFIG_X86_REBOOTFIXUPS is not set # CONFIG_MICROCODE is not set # CONFIG_X86_MSR is not set # CONFIG_X86_CPUID is not set # # Firmware Drivers # # CONFIG_EDD is not set # CONFIG_DELL_RBU is not set # CONFIG_DCDBAS is not set CONFIG_NOHIGHMEM=y # CONFIG_HIGHMEM4G is not set # CONFIG_HIGHMEM64G is not set CONFIG_PAGE_OFFSET=0xC0000000 CONFIG_ARCH_FLATMEM_ENABLE=y CONFIG_ARCH_SPARSEMEM_ENABLE=y CONFIG_ARCH_SELECT_MEMORY_MODEL=y CONFIG_ARCH_POPULATES_NODE_MAP=y CONFIG_SELECT_MEMORY_MODEL=y CONFIG_FLATMEM_MANUAL=y # CONFIG_DISCONTIGMEM_MANUAL is not set # CONFIG_SPARSEMEM_MANUAL is not set CONFIG_FLATMEM=y CONFIG_FLAT_NODE_MEM_MAP=y CONFIG_SPARSEMEM_STATIC=y CONFIG_SPLIT_PTLOCK_CPUS=4 # CONFIG_RESOURCES_64BIT is not set # CONFIG_MATH_EMULATION is not set # CONFIG_MTRR is not set # CONFIG_REGPARM is not set # CONFIG_SECCOMP is not set # CONFIG_HZ_100 is not set CONFIG_HZ_250=y # CONFIG_HZ_1000 is not set # CONFIG_KEXEC is not set CONFIG_COMPAT_VDSO=y # # Power management options (ACPI, APM) # CONFIG_PM=y CONFIG_PM_LEGACY=y # CONFIG_PM_DEBUG is not set # CONFIG_PM_SYSFS_DEPRECATED is not set # CONFIG_SOFTWARE_SUSPEND is not set # # ACPI (Advanced Configuration and Power Interface) Support # # # APM (Advanced Power Management) BIOS Support # # CONFIG_APM is not set # # CPU Frequency scaling # # CONFIG_CPU_FREQ is not set # # Bus options (PCI, PCMCIA, EISA, MCA, ISA) # # CONFIG_PCI is not set CONFIG_ISA_DMA_API=y # CONFIG_ISA is not set # CONFIG_MCA is not set # CONFIG_SCx200 is not set # # PCCARD (PCMCIA/CardBus) support # CONFIG_PCCARD=m # CONFIG_PCMCIA_DEBUG is not set CONFIG_PCMCIA=m CONFIG_PCMCIA_LOAD_CIS=y CONFIG_PCMCIA_IOCTL=y # # PC-card bridges # # # PCI Hotplug Support # # # Executable file formats # CONFIG_BINFMT_ELF=y CONFIG_BINFMT_AOUT=m CONFIG_BINFMT_MISC=m # # Networking # CONFIG_NET=y # # Networking options # CONFIG_NETDEBUG=y CONFIG_PACKET=m # CONFIG_PACKET_MMAP is not set CONFIG_UNIX=y CONFIG_XFRM=y # CONFIG_XFRM_USER is not set # CONFIG_XFRM_SUB_POLICY is not set CONFIG_NET_KEY=y CONFIG_INET=y CONFIG_IP_MULTICAST=y CONFIG_IP_ADVANCED_ROUTER=y CONFIG_ASK_IP_FIB_HASH=y # CONFIG_IP_FIB_TRIE is not set CONFIG_IP_FIB_HASH=y # CONFIG_IP_MULTIPLE_TABLES is not set # CONFIG_IP_ROUTE_MULTIPATH is not set # CONFIG_IP_ROUTE_VERBOSE 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=y # CONFIG_NET_IPGRE is not set CONFIG_IP_MROUTE=y CONFIG_IP_PIMSM_V1=y CONFIG_IP_PIMSM_V2=y # 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=y CONFIG_INET_XFRM_MODE_TRANSPORT=y CONFIG_INET_XFRM_MODE_TUNNEL=y CONFIG_INET_XFRM_MODE_BEET=y CONFIG_INET_DIAG=y CONFIG_INET_TCP_DIAG=y CONFIG_TCP_CONG_ADVANCED=y CONFIG_TCP_CONG_BIC=m CONFIG_TCP_CONG_CUBIC=y CONFIG_TCP_CONG_WESTWOOD=m CONFIG_TCP_CONG_HTCP=m CONFIG_TCP_CONG_HSTCP=m # CONFIG_TCP_CONG_HYBLA is not set # CONFIG_TCP_CONG_VEGAS is not set # CONFIG_TCP_CONG_SCALABLE is not set # CONFIG_TCP_CONG_LP is not set # CONFIG_TCP_CONG_VENO is not set # CONFIG_DEFAULT_BIC is not set CONFIG_DEFAULT_CUBIC=y # CONFIG_DEFAULT_HTCP is not set # CONFIG_DEFAULT_VEGAS is not set # CONFIG_DEFAULT_WESTWOOD is not set # CONFIG_DEFAULT_RENO is not set CONFIG_DEFAULT_TCP_CONG="cubic" # # IP: Virtual Server Configuration # # CONFIG_IP_VS is not set CONFIG_IPV6=m CONFIG_IPV6_PRIVACY=y # CONFIG_IPV6_ROUTER_PREF is not set # CONFIG_INET6_AH is not set # CONFIG_INET6_ESP is not set # CONFIG_INET6_IPCOMP is not set CONFIG_IPV6_MIP6=y # CONFIG_INET6_XFRM_TUNNEL is not set # CONFIG_INET6_TUNNEL is not set CONFIG_INET6_XFRM_MODE_TRANSPORT=m CONFIG_INET6_XFRM_MODE_TUNNEL=m CONFIG_INET6_XFRM_MODE_BEET=m # CONFIG_INET6_XFRM_MODE_ROUTEOPTIMIZATION is not set CONFIG_IPV6_SIT=m # CONFIG_IPV6_TUNNEL is not set # CONFIG_IPV6_MULTIPLE_TABLES is not set # CONFIG_NETLABEL is not set # CONFIG_NETWORK_SECMARK is not set CONFIG_NETFILTER=y # CONFIG_NETFILTER_DEBUG is not set # # Core Netfilter Configuration # CONFIG_NETFILTER_NETLINK=y # CONFIG_NETFILTER_NETLINK_QUEUE is not set # CONFIG_NETFILTER_NETLINK_LOG is not set # CONFIG_NF_CONNTRACK is not set CONFIG_NETFILTER_XTABLES=m # CONFIG_NETFILTER_XT_TARGET_CLASSIFY is not set # CONFIG_NETFILTER_XT_TARGET_MARK is not set # CONFIG_NETFILTER_XT_TARGET_NFQUEUE is not set # CONFIG_NETFILTER_XT_MATCH_COMMENT is not set # CONFIG_NETFILTER_XT_MATCH_DCCP is not set # CONFIG_NETFILTER_XT_MATCH_DSCP is not set # CONFIG_NETFILTER_XT_MATCH_ESP is not set # CONFIG_NETFILTER_XT_MATCH_LENGTH is not set # CONFIG_NETFILTER_XT_MATCH_LIMIT is not set # CONFIG_NETFILTER_XT_MATCH_MAC is not set # CONFIG_NETFILTER_XT_MATCH_MARK is not set # CONFIG_NETFILTER_XT_MATCH_POLICY is not set # CONFIG_NETFILTER_XT_MATCH_MULTIPORT is not set # CONFIG_NETFILTER_XT_MATCH_PKTTYPE is not set # CONFIG_NETFILTER_XT_MATCH_QUOTA is not set # CONFIG_NETFILTER_XT_MATCH_REALM is not set # CONFIG_NETFILTER_XT_MATCH_SCTP is not set # CONFIG_NETFILTER_XT_MATCH_STATISTIC is not set # CONFIG_NETFILTER_XT_MATCH_STRING is not set # CONFIG_NETFILTER_XT_MATCH_TCPMSS is not set # # IP: Netfilter Configuration # # CONFIG_IP_NF_CONNTRACK is not set # CONFIG_IP_NF_QUEUE is not set CONFIG_IP_NF_IPTABLES=m # CONFIG_IP_NF_MATCH_IPRANGE is not set # CONFIG_IP_NF_MATCH_TOS is not set # CONFIG_IP_NF_MATCH_RECENT is not set # CONFIG_IP_NF_MATCH_ECN is not set # CONFIG_IP_NF_MATCH_AH is not set # CONFIG_IP_NF_MATCH_TTL is not set # CONFIG_IP_NF_MATCH_OWNER is not set # CONFIG_IP_NF_MATCH_ADDRTYPE is not set # CONFIG_IP_NF_MATCH_HASHLIMIT is not set # CONFIG_IP_NF_FILTER is not set # CONFIG_IP_NF_TARGET_LOG is not set # CONFIG_IP_NF_TARGET_ULOG is not set # CONFIG_IP_NF_TARGET_TCPMSS is not set # CONFIG_IP_NF_MANGLE is not set # CONFIG_IP_NF_RAW is not set # CONFIG_IP_NF_ARPTABLES is not set # # IPv6: Netfilter Configuration (EXPERIMENTAL) # # CONFIG_IP6_NF_QUEUE is not set # CONFIG_IP6_NF_IPTABLES is not set # # DCCP Configuration (EXPERIMENTAL) # # CONFIG_IP_DCCP is not set # # SCTP Configuration (EXPERIMENTAL) # # CONFIG_IP_SCTP is not set # # TIPC Configuration (EXPERIMENTAL) # # CONFIG_TIPC is not set # CONFIG_ATM is not set # CONFIG_BRIDGE is not set # CONFIG_VLAN_8021Q is not set # CONFIG_DECNET is not set CONFIG_LLC=m # CONFIG_LLC2 is not set CONFIG_IPX=m CONFIG_IPX_INTERN=y # CONFIG_ATALK is not set # CONFIG_X25 is not set # CONFIG_LAPB is not set # CONFIG_ECONET is not set # CONFIG_WAN_ROUTER is not set # # QoS and/or fair queueing # # CONFIG_NET_SCHED is not set # # Network testing # # CONFIG_NET_PKTGEN is not set # CONFIG_HAMRADIO is not set CONFIG_IRDA=m # # IrDA protocols # # CONFIG_IRLAN is not set # CONFIG_IRNET is not set # CONFIG_IRCOMM is not set # CONFIG_IRDA_ULTRA is not set # # IrDA options # # CONFIG_IRDA_CACHE_LAST_LSAP is not set # CONFIG_IRDA_FAST_RR is not set # CONFIG_IRDA_DEBUG is not set # # Infrared-port device drivers # # # SIR device drivers # # CONFIG_IRTTY_SIR is not set # # Dongle support # # # Old SIR device drivers # # CONFIG_IRPORT_SIR is not set # # Old Serial dongle support # # # FIR device drivers # # CONFIG_NSC_FIR is not set # CONFIG_WINBOND_FIR is not set # CONFIG_SMC_IRCC_FIR is not set # CONFIG_ALI_FIR is not set # CONFIG_VIA_FIR is not set CONFIG_BT=m # CONFIG_BT_L2CAP is not set # CONFIG_BT_SCO is not set # # Bluetooth device drivers # # CONFIG_BT_HCIUART is not set # CONFIG_BT_HCIDTL1 is not set # CONFIG_BT_HCIBT3C is not set # CONFIG_BT_HCIBLUECARD is not set # CONFIG_BT_HCIBTUART is not set # CONFIG_BT_HCIVHCI is not set CONFIG_IEEE80211=m # CONFIG_IEEE80211_DEBUG is not set CONFIG_IEEE80211_CRYPT_WEP=m # CONFIG_IEEE80211_CRYPT_CCMP is not set # CONFIG_IEEE80211_CRYPT_TKIP is not set # CONFIG_IEEE80211_SOFTMAC is not set CONFIG_WIRELESS_EXT=y # # Device Drivers # # # Generic Driver Options # # CONFIG_STANDALONE is not set CONFIG_PREVENT_FIRMWARE_BUILD=y CONFIG_FW_LOADER=y # CONFIG_SYS_HYPERVISOR is not set # # Connector - unified userspace <-> kernelspace linker # # CONFIG_CONNECTOR is not set # # Memory Technology Devices (MTD) # CONFIG_MTD=m # CONFIG_MTD_DEBUG is not set # CONFIG_MTD_CONCAT is not set # CONFIG_MTD_PARTITIONS is not set # # User Modules And Translation Layers # # CONFIG_MTD_CHAR is not set # CONFIG_MTD_BLOCK is not set # CONFIG_MTD_BLOCK_RO is not set # CONFIG_FTL is not set # CONFIG_NFTL is not set # CONFIG_INFTL is not set # CONFIG_RFD_FTL is not set # CONFIG_SSFDC is not set # # RAM/ROM/Flash chip drivers # # CONFIG_MTD_CFI is not set # CONFIG_MTD_JEDECPROBE is not set CONFIG_MTD_MAP_BANK_WIDTH_1=y CONFIG_MTD_MAP_BANK_WIDTH_2=y CONFIG_MTD_MAP_BANK_WIDTH_4=y # CONFIG_MTD_MAP_BANK_WIDTH_8 is not set # CONFIG_MTD_MAP_BANK_WIDTH_16 is not set # CONFIG_MTD_MAP_BANK_WIDTH_32 is not set CONFIG_MTD_CFI_I1=y CONFIG_MTD_CFI_I2=y # CONFIG_MTD_CFI_I4 is not set # CONFIG_MTD_CFI_I8 is not set # CONFIG_MTD_RAM is not set # CONFIG_MTD_ROM is not set # CONFIG_MTD_ABSENT is not set # CONFIG_MTD_OBSOLETE_CHIPS is not set # # Mapping drivers for chip access # # CONFIG_MTD_COMPLEX_MAPPINGS is not set # CONFIG_MTD_TS5500 is not set # CONFIG_MTD_PLATRAM is not set # # Self-contained MTD device drivers # # CONFIG_MTD_SLRAM is not set # CONFIG_MTD_PHRAM is not set # CONFIG_MTD_MTDRAM is not set # CONFIG_MTD_BLOCK2MTD is not set # # Disk-On-Chip Device Drivers # # CONFIG_MTD_DOC2000 is not set # CONFIG_MTD_DOC2001 is not set # CONFIG_MTD_DOC2001PLUS is not set # # NAND Flash Device Drivers # # CONFIG_MTD_NAND is not set # # OneNAND Flash Device Drivers # # CONFIG_MTD_ONENAND is not set # # Parallel port support # CONFIG_PARPORT=m # CONFIG_PARPORT_PC is not set # CONFIG_PARPORT_GSC is not set # CONFIG_PARPORT_AX88796 is not set # CONFIG_PARPORT_1284 is not set # # Plug and Play support # # # Block devices # CONFIG_BLK_DEV_FD=m # CONFIG_BLK_DEV_COW_COMMON is not set CONFIG_BLK_DEV_LOOP=m CONFIG_BLK_DEV_CRYPTOLOOP=m CONFIG_BLK_DEV_NBD=m CONFIG_BLK_DEV_RAM=m CONFIG_BLK_DEV_RAM_COUNT=16 CONFIG_BLK_DEV_RAM_SIZE=4096 CONFIG_BLK_DEV_RAM_BLOCKSIZE=1024 CONFIG_BLK_DEV_INITRD=y CONFIG_CDROM_PKTCDVD=m CONFIG_CDROM_PKTCDVD_BUFFERS=8 CONFIG_CDROM_PKTCDVD_WCACHE=y CONFIG_ATA_OVER_ETH=m # # Misc devices # CONFIG_TIFM_CORE=m # # ATA/ATAPI/MFM/RLL support # CONFIG_IDE=y CONFIG_BLK_DEV_IDE=y # # Please see Documentation/ide.txt for help/info on IDE drives # # CONFIG_BLK_DEV_IDE_SATA is not set # CONFIG_BLK_DEV_HD_IDE is not set CONFIG_BLK_DEV_IDEDISK=y CONFIG_IDEDISK_MULTI_MODE=y # CONFIG_BLK_DEV_IDECS is not set CONFIG_BLK_DEV_IDECD=y CONFIG_BLK_DEV_IDETAPE=m CONFIG_BLK_DEV_IDEFLOPPY=m # CONFIG_BLK_DEV_IDESCSI is not set CONFIG_IDE_TASK_IOCTL=y # # IDE chipset support/bugfixes # CONFIG_IDE_GENERIC=y CONFIG_BLK_DEV_CMD640=y # CONFIG_BLK_DEV_CMD640_ENHANCED is not set # CONFIG_IDE_ARM is not set # CONFIG_BLK_DEV_IDEDMA is not set # CONFIG_IDEDMA_AUTO is not set # CONFIG_BLK_DEV_HD is not set # # SCSI device support # # CONFIG_RAID_ATTRS is not set CONFIG_SCSI=y CONFIG_SCSI_NETLINK=y CONFIG_SCSI_PROC_FS=y # # SCSI support type (disk, tape, CD-ROM) # CONFIG_BLK_DEV_SD=m CONFIG_CHR_DEV_ST=m CONFIG_CHR_DEV_OSST=m CONFIG_BLK_DEV_SR=y CONFIG_BLK_DEV_SR_VENDOR=y CONFIG_CHR_DEV_SG=m CONFIG_CHR_DEV_SCH=m # # 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 # # SCSI Transports # CONFIG_SCSI_SPI_ATTRS=y CONFIG_SCSI_FC_ATTRS=m CONFIG_SCSI_ISCSI_ATTRS=m # CONFIG_SCSI_SAS_ATTRS is not set # CONFIG_SCSI_SAS_LIBSAS is not set # # SCSI low-level drivers # # CONFIG_ISCSI_TCP is not set CONFIG_SCSI_DEBUG=m # # PCMCIA SCSI adapter support # # CONFIG_PCMCIA_AHA152X is not set # CONFIG_PCMCIA_FDOMAIN is not set # CONFIG_PCMCIA_NINJA_SCSI is not set # CONFIG_PCMCIA_QLOGIC is not set # CONFIG_PCMCIA_SYM53C500 is not set # # Serial ATA (prod) and Parallel ATA (experimental) drivers # CONFIG_ATA=m # CONFIG_PATA_PCMCIA is not set # # Multi-device support (RAID and LVM) # CONFIG_MD=y CONFIG_BLK_DEV_MD=m # CONFIG_MD_LINEAR is not set # CONFIG_MD_RAID0 is not set # CONFIG_MD_RAID1 is not set # CONFIG_MD_RAID10 is not set # CONFIG_MD_RAID456 is not set # CONFIG_MD_MULTIPATH is not set # CONFIG_MD_FAULTY is not set CONFIG_BLK_DEV_DM=m # CONFIG_DM_DEBUG is not set # CONFIG_DM_CRYPT is not set # CONFIG_DM_SNAPSHOT is not set # CONFIG_DM_MIRROR is not set # CONFIG_DM_ZERO is not set # CONFIG_DM_MULTIPATH is not set # # Fusion MPT device support # # CONFIG_FUSION is not set # # IEEE 1394 (FireWire) support # # # I2O device support # # # Network device support # CONFIG_NETDEVICES=y CONFIG_DUMMY=m # CONFIG_BONDING is not set CONFIG_EQUALIZER=m CONFIG_TUN=m # # PHY device support # # CONFIG_PHYLIB is not set # # Ethernet (10 or 100Mbit) # CONFIG_NET_ETHERNET=y CONFIG_MII=y # CONFIG_NET_POCKET is not set # # Ethernet (1000 Mbit) # # # Ethernet (10000 Mbit) # # # Token Ring devices # # # Wireless LAN (non-hamradio) # CONFIG_NET_RADIO=y # CONFIG_NET_WIRELESS_RTNETLINK is not set # # Obsolete Wireless cards support (pre-802.11) # # CONFIG_STRIP is not set # CONFIG_PCMCIA_WAVELAN is not set # CONFIG_PCMCIA_NETWAVE is not set # # Wireless 802.11 Frequency Hopping cards support # # CONFIG_PCMCIA_RAYCS is not set # # Wireless 802.11b ISA/PCI cards support # # CONFIG_HERMES is not set # CONFIG_ATMEL is not set # # Wireless 802.11b Pcmcia/Cardbus cards support # # CONFIG_AIRO_CS is not set # CONFIG_PCMCIA_WL3501 is not set # CONFIG_HOSTAP is not set CONFIG_NET_WIRELESS=y # # PCMCIA network device support # CONFIG_NET_PCMCIA=y # CONFIG_PCMCIA_3C589 is not set # CONFIG_PCMCIA_3C574 is not set # CONFIG_PCMCIA_FMVJ18X is not set # CONFIG_PCMCIA_PCNET is not set # CONFIG_PCMCIA_NMCLAN is not set # CONFIG_PCMCIA_SMC91C92 is not set # CONFIG_PCMCIA_XIRC2PS is not set # CONFIG_PCMCIA_AXNET is not set # # Wan interfaces # CONFIG_WAN=y CONFIG_HDLC=m CONFIG_HDLC_RAW=m CONFIG_HDLC_RAW_ETH=m CONFIG_HDLC_CISCO=m CONFIG_HDLC_FR=m CONFIG_HDLC_PPP=m # # X.25/LAPB support is disabled # CONFIG_DLCI=m CONFIG_DLCI_COUNT=24 CONFIG_DLCI_MAX=8 CONFIG_SBNI=m CONFIG_SBNI_MULTILINE=y # CONFIG_PLIP is not set CONFIG_PPP=m CONFIG_PPP_MULTILINK=y CONFIG_PPP_FILTER=y CONFIG_PPP_ASYNC=m CONFIG_PPP_SYNC_TTY=m CONFIG_PPP_DEFLATE=m CONFIG_PPP_BSDCOMP=m CONFIG_PPP_MPPE=m CONFIG_PPPOE=m CONFIG_SLIP=m CONFIG_SLIP_COMPRESSED=y CONFIG_SLHC=m CONFIG_SLIP_SMART=y CONFIG_SLIP_MODE_SLIP6=y CONFIG_SHAPER=m CONFIG_NETCONSOLE=m CONFIG_NETPOLL=y # CONFIG_NETPOLL_RX is not set # CONFIG_NETPOLL_TRAP is not set CONFIG_NET_POLL_CONTROLLER=y # # ISDN subsystem # CONFIG_ISDN=m # # Old ISDN4Linux # # CONFIG_ISDN_I4L is not set # # CAPI subsystem # CONFIG_ISDN_CAPI=m # CONFIG_ISDN_DRV_AVMB1_VERBOSE_REASON is not set CONFIG_ISDN_CAPI_MIDDLEWARE=y CONFIG_ISDN_CAPI_CAPI20=m CONFIG_ISDN_CAPI_CAPIFS_BOOL=y CONFIG_ISDN_CAPI_CAPIFS=m # # CAPI hardware drivers # # # Active AVM cards # CONFIG_CAPI_AVM=y CONFIG_ISDN_DRV_AVMB1_B1PCMCIA=m # CONFIG_ISDN_DRV_AVMB1_AVM_CS is not set # # Active Eicon DIVA Server cards # CONFIG_CAPI_EICON=y # # Telephony Support # CONFIG_PHONE=m CONFIG_PHONE_IXJ=m CONFIG_PHONE_IXJ_PCMCIA=m # # Input device support # CONFIG_INPUT=y # CONFIG_INPUT_FF_MEMLESS is not set # # Userland interfaces # CONFIG_INPUT_MOUSEDEV=y # CONFIG_INPUT_MOUSEDEV_PSAUX is not set CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768 # CONFIG_INPUT_JOYDEV is not set # CONFIG_INPUT_TSDEV is not set # CONFIG_INPUT_EVDEV is not set # CONFIG_INPUT_EVBUG is not set # # Input Device Drivers # CONFIG_INPUT_KEYBOARD=y CONFIG_KEYBOARD_ATKBD=y # 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_KEYBOARD_STOWAWAY is not set # CONFIG_INPUT_MOUSE 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=y CONFIG_SERIO_I8042=y # CONFIG_SERIO_SERPORT is not set # CONFIG_SERIO_CT82C710 is not set # CONFIG_SERIO_PARKBD is not set CONFIG_SERIO_LIBPS2=y # CONFIG_SERIO_RAW 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=y # CONFIG_SERIAL_NONSTANDARD is not set # # Serial drivers # CONFIG_SERIAL_8250=m # CONFIG_SERIAL_8250_CS is not set CONFIG_SERIAL_8250_NR_UARTS=4 CONFIG_SERIAL_8250_RUNTIME_UARTS=4 # CONFIG_SERIAL_8250_EXTENDED is not set # # Non-8250 serial port support # CONFIG_SERIAL_CORE=m CONFIG_UNIX98_PTYS=y # CONFIG_LEGACY_PTYS is not set # CONFIG_PRINTER is not set # CONFIG_PPDEV is not set # CONFIG_TIPAR is not set # # IPMI # CONFIG_IPMI_HANDLER=m # CONFIG_IPMI_PANIC_EVENT is not set CONFIG_IPMI_DEVICE_INTERFACE=m CONFIG_IPMI_SI=m CONFIG_IPMI_WATCHDOG=m CONFIG_IPMI_POWEROFF=m # # Watchdog Cards # CONFIG_WATCHDOG=y # CONFIG_WATCHDOG_NOWAYOUT is not set # # Watchdog Device Drivers # CONFIG_SOFT_WATCHDOG=m CONFIG_ACQUIRE_WDT=m CONFIG_ADVANTECH_WDT=m CONFIG_SC520_WDT=m CONFIG_EUROTECH_WDT=m CONFIG_IB700_WDT=m # CONFIG_IBMASR is not set CONFIG_WAFER_WDT=m CONFIG_SC1200_WDT=m CONFIG_60XX_WDT=m # CONFIG_SBC8360_WDT is not set CONFIG_CPU5_WDT=m # CONFIG_SMSC37B787_WDT is not set CONFIG_W83627HF_WDT=m # CONFIG_W83697HF_WDT is not set CONFIG_W83877F_WDT=m # CONFIG_W83977F_WDT is not set CONFIG_MACHZ_WDT=m # CONFIG_SBC_EPX_C3_WATCHDOG is not set CONFIG_HW_RANDOM=y CONFIG_HW_RANDOM_VIA=y CONFIG_NVRAM=y # CONFIG_RTC is not set # CONFIG_GEN_RTC is not set # CONFIG_DTLK is not set # CONFIG_R3964 is not set # # Ftape, the floppy tape device driver # # CONFIG_FTAPE is not set # # PCMCIA character devices # # CONFIG_SYNCLINK_CS is not set # CONFIG_CARDMAN_4000 is not set # CONFIG_CARDMAN_4040 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 # # TPM devices # CONFIG_TCG_TPM=m CONFIG_TCG_ATMEL=m # CONFIG_TELCLOCK is not set # # I2C support # # CONFIG_I2C is not set # # SPI support # # CONFIG_SPI is not set # CONFIG_SPI_MASTER is not set # # Dallas's 1-wire bus # # CONFIG_W1 is not set # # Hardware Monitoring support # # CONFIG_HWMON is not set # CONFIG_HWMON_VID is not set # # Multimedia devices # CONFIG_VIDEO_DEV=m # CONFIG_VIDEO_V4L1 is not set CONFIG_VIDEO_V4L1_COMPAT=y CONFIG_VIDEO_V4L2=y # # Video Capture Adapters # # # Video Capture Adapters # # CONFIG_VIDEO_ADV_DEBUG is not set CONFIG_VIDEO_HELPER_CHIPS_AUTO=y CONFIG_VIDEO_VIVI=m # # Radio Adapters # # # Digital Video Broadcasting Devices # # CONFIG_DVB is not set CONFIG_VIDEO_BUF=m # # Graphics support # # CONFIG_FIRMWARE_EDID is not set CONFIG_FB=y CONFIG_FB_CFB_FILLRECT=y CONFIG_FB_CFB_COPYAREA=y CONFIG_FB_CFB_IMAGEBLIT=y # 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 # CONFIG_FB_ARC is not set # CONFIG_FB_VGA16 is not set # CONFIG_FB_VESA is not set # CONFIG_FB_HGA is not set # CONFIG_FB_S1D13XXX is not set # CONFIG_FB_VIRTUAL 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_DUMMY_CONSOLE=y CONFIG_FRAMEBUFFER_CONSOLE=y CONFIG_FRAMEBUFFER_CONSOLE_ROTATION=y # CONFIG_FONTS is not set CONFIG_FONT_8x8=y CONFIG_FONT_8x16=y # # Logo configuration # # CONFIG_LOGO is not set # CONFIG_BACKLIGHT_LCD_SUPPORT is not set # # Sound # CONFIG_SOUND=m # # Advanced Linux Sound Architecture # CONFIG_SND=m CONFIG_SND_TIMER=m CONFIG_SND_PCM=m CONFIG_SND_RAWMIDI=m CONFIG_SND_SEQUENCER=m CONFIG_SND_SEQ_DUMMY=m CONFIG_SND_OSSEMUL=y CONFIG_SND_MIXER_OSS=m CONFIG_SND_PCM_OSS=m CONFIG_SND_PCM_OSS_PLUGINS=y CONFIG_SND_SEQUENCER_OSS=y CONFIG_SND_DYNAMIC_MINORS=y CONFIG_SND_SUPPORT_OLD_API=y CONFIG_SND_VERBOSE_PROCFS=y # CONFIG_SND_VERBOSE_PRINTK is not set # CONFIG_SND_DEBUG is not set # # Generic devices # CONFIG_SND_MPU401_UART=m # CONFIG_SND_DUMMY is not set # CONFIG_SND_VIRMIDI is not set # CONFIG_SND_MTPAV is not set # CONFIG_SND_MTS64 is not set # CONFIG_SND_SERIAL_U16550 is not set CONFIG_SND_MPU401=m # # PCMCIA devices # # CONFIG_SND_VXPOCKET is not set # CONFIG_SND_PDAUDIOCF is not set # # Open Sound System # # CONFIG_SOUND_PRIME is not set # # USB support # # CONFIG_USB_ARCH_HAS_HCD is not set # CONFIG_USB_ARCH_HAS_OHCI is not set # CONFIG_USB_ARCH_HAS_EHCI is not set # # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support' # # # USB Gadget Support # CONFIG_USB_GADGET=m # CONFIG_USB_GADGET_DEBUG_FILES is not set # CONFIG_USB_GADGET_NET2280 is not set # CONFIG_USB_GADGET_PXA2XX is not set # CONFIG_USB_GADGET_GOKU is not set # CONFIG_USB_GADGET_LH7A40X is not set # CONFIG_USB_GADGET_OMAP is not set # CONFIG_USB_GADGET_AT91 is not set # CONFIG_USB_GADGET_DUMMY_HCD is not set # CONFIG_USB_GADGET_DUALSPEED is not set # # MMC/SD Card support # CONFIG_MMC=m CONFIG_MMC_DEBUG=y CONFIG_MMC_BLOCK=m CONFIG_MMC_WBSD=m CONFIG_MMC_TIFM_SD=m # # LED devices # # CONFIG_NEW_LEDS is not set # # LED drivers # # # LED Triggers # # # InfiniBand support # # # EDAC - error detection and reporting (RAS) (EXPERIMENTAL) # # CONFIG_EDAC is not set # # Real Time Clock # # CONFIG_RTC_CLASS is not set # # DMA Engine support # # CONFIG_DMA_ENGINE is not set # # DMA Clients # # # DMA Devices # # # 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=y CONFIG_EXT3_FS_SECURITY=y # CONFIG_EXT4DEV_FS is not set CONFIG_JBD=y # CONFIG_JBD_DEBUG is not set CONFIG_FS_MBCACHE=y CONFIG_REISERFS_FS=y # CONFIG_REISERFS_CHECK is not set # CONFIG_REISERFS_PROC_INFO is not set # CONFIG_REISERFS_FS_XATTR is not set CONFIG_JFS_FS=m # CONFIG_JFS_POSIX_ACL is not set # CONFIG_JFS_SECURITY is not set # CONFIG_JFS_DEBUG is not set # CONFIG_JFS_STATISTICS is not set CONFIG_FS_POSIX_ACL=y CONFIG_XFS_FS=m CONFIG_XFS_QUOTA=y # CONFIG_XFS_SECURITY is not set CONFIG_XFS_POSIX_ACL=y CONFIG_XFS_RT=y # CONFIG_GFS2_FS is not set # CONFIG_OCFS2_FS is not set CONFIG_MINIX_FS=m CONFIG_ROMFS_FS=y CONFIG_INOTIFY=y CONFIG_INOTIFY_USER=y CONFIG_QUOTA=y CONFIG_QFMT_V1=m CONFIG_QFMT_V2=m CONFIG_QUOTACTL=y CONFIG_DNOTIFY=y # CONFIG_AUTOFS_FS is not set CONFIG_AUTOFS4_FS=m # CONFIG_FUSE_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=m CONFIG_UDF_NLS=y # # DOS/FAT/NT Filesystems # CONFIG_FAT_FS=y CONFIG_MSDOS_FS=y CONFIG_VFAT_FS=y CONFIG_FAT_DEFAULT_CODEPAGE=437 CONFIG_FAT_DEFAULT_IOCHARSET="iso8859-1" CONFIG_NTFS_FS=m # CONFIG_NTFS_DEBUG is not set CONFIG_NTFS_RW=y # # 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_RAMFS=y # CONFIG_CONFIGFS_FS is not set # # Miscellaneous filesystems # # CONFIG_ADFS_FS is not set # CONFIG_AFFS_FS is not set # CONFIG_ECRYPT_FS is not set CONFIG_HFS_FS=y CONFIG_HFSPLUS_FS=y # CONFIG_BEFS_FS is not set # CONFIG_BFS_FS is not set # CONFIG_EFS_FS is not set # CONFIG_JFFS_FS is not set # CONFIG_JFFS2_FS is not set CONFIG_CRAMFS=y CONFIG_VXFS_FS=m CONFIG_HPFS_FS=m CONFIG_QNX4FS_FS=m CONFIG_SYSV_FS=m CONFIG_UFS_FS=m # CONFIG_UFS_FS_WRITE is not set # CONFIG_UFS_DEBUG is not set # # Network File Systems # # CONFIG_NFS_FS is not set # CONFIG_NFSD 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 # CONFIG_9P_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=y CONFIG_MSDOS_PARTITION=y CONFIG_BSD_DISKLABEL=y # CONFIG_MINIX_SUBPARTITION is not set # CONFIG_SOLARIS_X86_PARTITION is not set # CONFIG_UNIXWARE_DISKLABEL is not set CONFIG_LDM_PARTITION=y # CONFIG_LDM_DEBUG 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 # # Native Language Support # CONFIG_NLS=y CONFIG_NLS_DEFAULT="iso8859-1" CONFIG_NLS_CODEPAGE_437=m CONFIG_NLS_CODEPAGE_737=m CONFIG_NLS_CODEPAGE_775=m CONFIG_NLS_CODEPAGE_850=m CONFIG_NLS_CODEPAGE_852=m CONFIG_NLS_CODEPAGE_855=m CONFIG_NLS_CODEPAGE_857=m CONFIG_NLS_CODEPAGE_860=m CONFIG_NLS_CODEPAGE_861=m CONFIG_NLS_CODEPAGE_862=m CONFIG_NLS_CODEPAGE_863=m CONFIG_NLS_CODEPAGE_864=m CONFIG_NLS_CODEPAGE_865=m CONFIG_NLS_CODEPAGE_866=m CONFIG_NLS_CODEPAGE_869=m CONFIG_NLS_CODEPAGE_936=m CONFIG_NLS_CODEPAGE_950=m CONFIG_NLS_CODEPAGE_932=m CONFIG_NLS_CODEPAGE_949=m CONFIG_NLS_CODEPAGE_874=m CONFIG_NLS_ISO8859_8=m CONFIG_NLS_CODEPAGE_1250=m CONFIG_NLS_CODEPAGE_1251=m CONFIG_NLS_ASCII=m CONFIG_NLS_ISO8859_1=m CONFIG_NLS_ISO8859_2=m CONFIG_NLS_ISO8859_3=m CONFIG_NLS_ISO8859_4=m CONFIG_NLS_ISO8859_5=m CONFIG_NLS_ISO8859_6=m CONFIG_NLS_ISO8859_7=m CONFIG_NLS_ISO8859_9=m CONFIG_NLS_ISO8859_13=m CONFIG_NLS_ISO8859_14=m CONFIG_NLS_ISO8859_15=m CONFIG_NLS_KOI8_R=m CONFIG_NLS_KOI8_U=m CONFIG_NLS_UTF8=y # # Instrumentation Support # # CONFIG_PROFILING is not set # CONFIG_KPROBES is not set # # Kernel hacking # CONFIG_TRACE_IRQFLAGS_SUPPORT=y # CONFIG_PRINTK_TIME is not set # CONFIG_ENABLE_MUST_CHECK is not set # CONFIG_MAGIC_SYSRQ is not set # CONFIG_UNUSED_SYMBOLS is not set # CONFIG_DEBUG_KERNEL is not set CONFIG_LOG_BUF_SHIFT=14 CONFIG_DEBUG_BUGVERBOSE=y # CONFIG_DEBUG_FS is not set # CONFIG_UNWIND_INFO is not set # CONFIG_HEADERS_CHECK is not set CONFIG_EARLY_PRINTK=y CONFIG_DOUBLEFAULT=y # # Security options # CONFIG_KEYS=y # CONFIG_KEYS_DEBUG_PROC_KEYS is not set CONFIG_SECURITY=y # CONFIG_SECURITY_NETWORK is not set CONFIG_SECURITY_CAPABILITIES=m # # Cryptographic options # CONFIG_CRYPTO=y CONFIG_CRYPTO_ALGAPI=y CONFIG_CRYPTO_BLKCIPHER=m CONFIG_CRYPTO_HASH=y CONFIG_CRYPTO_MANAGER=y CONFIG_CRYPTO_HMAC=y CONFIG_CRYPTO_NULL=m CONFIG_CRYPTO_MD4=m CONFIG_CRYPTO_MD5=y CONFIG_CRYPTO_SHA1=m CONFIG_CRYPTO_SHA256=y CONFIG_CRYPTO_SHA512=y CONFIG_CRYPTO_WP512=m CONFIG_CRYPTO_TGR192=m CONFIG_CRYPTO_ECB=m CONFIG_CRYPTO_CBC=m CONFIG_CRYPTO_DES=m CONFIG_CRYPTO_BLOWFISH=m CONFIG_CRYPTO_TWOFISH=m CONFIG_CRYPTO_TWOFISH_COMMON=m # CONFIG_CRYPTO_TWOFISH_586 is not set CONFIG_CRYPTO_SERPENT=m # CONFIG_CRYPTO_AES is not set CONFIG_CRYPTO_AES_586=y CONFIG_CRYPTO_CAST5=m CONFIG_CRYPTO_CAST6=m CONFIG_CRYPTO_TEA=m CONFIG_CRYPTO_ARC4=m CONFIG_CRYPTO_KHAZAD=m CONFIG_CRYPTO_ANUBIS=m CONFIG_CRYPTO_DEFLATE=m CONFIG_CRYPTO_MICHAEL_MIC=m CONFIG_CRYPTO_CRC32C=m CONFIG_CRYPTO_TEST=m # # Hardware crypto devices # CONFIG_CRYPTO_DEV_PADLOCK=m CONFIG_CRYPTO_DEV_PADLOCK_AES=m CONFIG_CRYPTO_DEV_PADLOCK_SHA=m # # Library routines # CONFIG_CRC_CCITT=m # CONFIG_CRC16 is not set CONFIG_CRC32=y CONFIG_LIBCRC32C=m CONFIG_AUDIT_GENERIC=y CONFIG_ZLIB_INFLATE=y CONFIG_ZLIB_DEFLATE=m CONFIG_PLIST=y CONFIG_GENERIC_HARDIRQS=y CONFIG_GENERIC_IRQ_PROBE=y CONFIG_X86_BIOS_REBOOT=y CONFIG_KTIME_SCALAR=y Thanks, MikeE

2 1

Re: L4linux Booting Problem
by Adam Lackorzynski 17 Mar '07

17 Mar '07

Hi, I fished this email out of the spam folder of l4-hackers and if you look below there's little doubt why it was put there. To all: Guys, please STOP sending HTML mails and use a proper email client. Thanks a lot. On Wed Mar 14, 2007 at 22:14:45 +0900, Yunju Na wrote: > I am trying to install L4/fiasco and L4linux on my computer. > > > I downloaded source files from CVS and compiled reffering document > "L4/Fiasco/L4Linux Kickstart" (written by Gheng Guanghui, Nicholas Mc > Guire). > > Source compile is OK. > > > But when I boot the machine, L4linux is shotdown in the middle of > booting. > > > I saw the message "Warning: unable to open an initial console." before > shotdown. I cannot tell you why it breaks but I can ask a couple of question to make the situation clearer for me. You are starting two instances of L4Linux. Looks like one is failing because it wants to request some device resource which was already requested by the other L4Linux. Did you use different configuration for both builds? Does only one L4Linux work? You may want to add 'console=ttyLv0' to the kernel command line to see more output of L4Linux on the serial console. What does it show? Please start with a simple configuration and make it more complicated step by step. > Roottask: Loading 19 modules. > #05: loading > "/boot/DDL4/l4v2/events" >      from [0212d000-021731cc] to > [01540000-015491e4][0154a000-0154c954] >      entry at > 0005b370 via trampoline page code >      symbols at > [7c3fe000-7c400000] (8kB), lines at [7c3f7000-7c3fe000] (28kB) > #06: loading > "/boot/DDL4/l4v2/names --events" >      from > [02174000-021b662e] to > [002d0000-002d616a][002d7000-002e3000] >      entry at > 0005c378 via trampoline page code >      symbols at > [7c3f5000-7c3f7000] (8kB), lines at [7c3ef000-7c3f5000] (24kB) > #07: loading > "/boot/DDL4/l4v2/log --prio 0xA1" >      from > [021b7000-021f6177] to > [00400000-00406c4a][00407000-004398b0] >      entry at > 0005d378 via trampoline page code >      symbols at > [7c3ed000-7c3ef000] (8kB), lines at [7c3e7000-7c3ed000] (24kB) > #08: loading > "/boot/DDL4/l4v2/dm_phys --events" >      from > [021f7000-02284e59] to > [01500000-015120ca][01513000-0151d000] >      entry at > 0005e37c via trampoline page code >      symbols at > [7c3e2000-7c3e7000] (20kB), lines at [7c3d5000-7c3e2000] (52kB) > #09: loading > "/boot/DDL4/l4v2/simple_ts -t 400 --events" >      from > [02285000-022d1ea9] to > [01400000-014086ca][01409000-0141b070] >      entry at > 0005f384 via trampoline page code >      symbols at > [7c3d3000-7c3d5000] (8kB), lines at [7c3cc000-7c3d3000] (28kB) > #0a: loading > "/boot/DDL4/l4v2/rtc" >      from [022d2000-02304842] to > [01080000-01084200][01085000-0108a000] >      entry at > 0006136c via trampoline page code >      symbols at > [7c3ca000-7c3cc000] (8kB), lines at [7c3c6000-7c3ca000] (16kB) > #0b: loading > "/boot/DDL4/l4v2/l4io --noirq" >      from > [02305000-02552c4e] to > [00b80000-00ba29e4][00ba3000-00c0e000] >      entry at > 00062378 via trampoline page code >      symbols at > [7c377000-7c3c6000] (316kB), lines at [7c35d000-7c377000] (104k) > #0c: loading > "/boot/DDL4/l4v2/bmodfs" >      from [02553000-025f4b22] to > [01220000-01235524][01236000-01256000] >      passing > module /boot/DDL4/l4v2/libloader.s.so        > [ 025f5000-026971bd ] >      passing module > /boot/DDL4/l4v2/libld-l4.s.so         [ > 02698000-02711019 ] >      passing module > /boot/DDL4/l4v2/run                   > [ 02712000-02759ef4 ] >      passing module > /boot/DDL4/cfg/run.bmodfs.cfg         [ > 0275a000-0275a078 ] >      passing module > /boot/DDL4/linux/vmlinuz26.ddosnet    [ 0275b000-035ad0e7 > ] >      passing module > /boot/DDL4/linux/vmlinuz26.vt         [ > 035ae000-043cb06e ] >      passing module > /boot/DDL4/cfg/l4linux26_net.cfg      [ > 043cc000-043cc0b0 ] >      passing module > /boot/DDL4/cfg/l4linux26_vt.cfg       [ > 043cd000-043cd05e ] >      passing module > /boot/DDL4/cfg/tty.rd                 > [ 043ce000-04dce000 ] >      entry at 00063514 via > trampoline page code >      symbols at [7c358000-7c35d000] > (20kB), lines at [7c347000-7c358000] (68kB) > #0d: loading "/boot/DDL4/l4v2/con > --l4io --events" >      from [04dce000-04f5df2b] to > [00b00000-00b4d0a0][00b4e000-00b79000] >      entry at > 0006437c via trampoline page code >      symbols at > [7c33a000-7c347000] (52kB), lines at [7c306000-7c33a000] (208kB) > #0e: loading > "/boot/DDL4/l4v2/loader --events --fprov=BMODFS run.bmodfs.cfg > l4l" >      from [04f5e000-050364fd] to > [01300000-01324f28][01325000-0134e000] >      entry at > 000653bc via trampoline page code >      symbols at > [7c300000-7c306000] (24kB), lines at [7c2e8000-7c300000] (96kB) > > > names   | Starting thread listening for `exit' events > simplets| > Configured for 400 tasks. > rtc     | Date:14.03.2007 > Time:16:15:02 > bmodfs  | Passed the following modules: > bmodfs  > |   module "/boot/DDL4/l4v2/libloader.s.so" (649kB) > bmodfs  > |   module "/boot/DDL4/l4v2/libld-l4.s.so" (485kB) > bmodfs  > |   module "/boot/DDL4/l4v2/run" (288kB) > bmodfs  |   > module "/boot/DDL4/cfg/run.bmodfs.cfg" (1kB) > bmodfs  |   > module "/boot/DDL4/linux/vmlinuz26.ddosnet" (14665kB) > bmodfs  > |   module "/boot/DDL4/linux/vmlinuz26.vt" (14453kB) > bmodfs  > |   module "/boot/DDL4/cfg/l4linux26_net.cfg" (1kB) > bmodfs  > |   module "/boot/DDL4/cfg/l4linux26_vt.cfg" (1kB) > bmodfs  > |   module "/boot/DDL4/cfg/tty.rd" > (10240kB) > io      | do_args(): Disabling internal > IRQ handling. > io      | CPU supports 8 MTRRs. > Allocated: > io      |   0: > 00000000-80000000 (2048MB) type WB > io      > |   1: 7ff80000-80000000 (   1MB) type > UC > con     | Using fast memcpy. > loader  | run: > Starting application using libld-l4.s.so > loader  | run,#f: Loading > binary > loader  | run,#f: Loading ldso > loader  | Capability > support not supported. > loader  | run,#f: Starting libld-l4.s.so at > 00013890 via 0000cc80 > loader  | sleeping for 1000 > ms > io      | PCI: Using configuration type > 1 > io      | PCI: Probing PCI > hardware > io      | PCI: Probing PCI hardware (bus > 00) > io      | PCI: Ignoring BAR0-3 of IDE controller > 00:1f.1 > io      | Transparent bridge - Intel > Corporation 82801 PCI Bridge > io      | PCI: Enabling > device 00:1f.1 (0005 -> 0007) > io      | PCI: No > IRQ known for interrupt pin B of device 00:1f.3. Please try > u > io      : sing > pci=biosirq. > io      | 00000000-ffffffff : PCI > mem > io      |   80000000-800003ff : Intel > Corporation 82801CA Ultra ATA Storage Con > io      : > troller > io      |   fc100000-fc2fffff : > PCI Bus #01 > io      |     > fc100000-fc100fff : Intel Corporation 82870P2 P64H2 > I/OxAPIC > io      |     > fc101000-fc101fff : Intel Corporation 82870P2 P64H2 I/OxAPIC > (#2) > io      |     > fc200000-fc2fffff : PCI Bus #03 > io      > |       fc200000-fc21ffff : Intel Corporation > 82546EB Gigabit Ethernet > io      : Controller > (Copper) > io      > |       fc220000-fc23ffff : Intel Corporation > 82546EB Gigabit Ethernet > io      : Controller > (Copper) (#2) > io      |   > fc300000-fc6fffff : PCI Bus #04 > io      > |     fc300000-fc300fff : Intel Corporation 82870P2 P64H2 > I/OxAPIC (#3) > io      |     > fc301000-fc301fff : Intel Corporation 82870P2 P64H2 I/OxAPIC > (#4) > io      |     > fc400000-fc5fffff : PCI Bus #05 > io      > |       fc400000-fc400fff : Intel Corporation > 82557/8/9 [Ethernet Pro 1 > io      : > 00] > io      |       > fc500000-fc5fffff : Intel Corporation 82557/8/9 [Ethernet Pro > 1 > io      : 00] > io      > |     fc600000-fc6fffff : PCI Bus > #06 > io      |       > fc600000-fc601fff : Adaptec AIC-7902B U320 > io      > |       fc602000-fc603fff : Adaptec AIC-7902B U320 > (#2) > io      |   fc700000-fc700fff : ATI > Technolog0000-ffff : PCI IO > io      |   > 0cf8-0cff : PCI conf1 > io      |   > 1100-111f : Intel Corporation 82801CA/CAM SMBus > Controller > io      |   2000-201f : Intel > Corporation 82801CA/CAM USB (Hub #1) > io      > |   2020-203f : Intel Corporation 82801CA/CAM USB (Hub > #2) > io      |   2040-205f : Intel > Corporation 82801CA/CAM USB (Hub #3) > io      > |   2060-206f : Intel Corporation 82801CA Ultra ATA Storage > Controller > io      |   3000-3fff : PCI Bus > #01 > io      |     3000-3fff : > PCI Bus #03 > io      > |       3000-303f : Intel Corporation 82546EB > Gigabit Ethernet Controll > io      : er > (Copper) > io      > |       3040-307f : Intel Corporation 82546EB > Gigabit Ethernet Controll > io      : er (Copper) > (#2) > io      |   4000-5fff : PCI Bus > #04 > io      |     4000-4fff : > PCI Bus #05 > io      > |       4000-40ff : PCI device > 177d:0001 > io      > |       4400-44ff : PCI device > 177d:0001 > io      > |       4800-483f : Intel Corporation 82557/8/9 > [Ethernet Pro 100] > io      |     > 5000-5fff : PCI Bus #06 > io      > |       5000-50ff : Adaptec AIC-7902B > U320 > io      |       > 5400-54ff : Adaptec AIC-7902B U320 > io      > |       5800-58ff : Adaptec AIC-7902B U320 > (#2) > io      |       > 5c00-5cff : Adaptec AIC-7902B U320 (#2) > io      > |   6000-60ff : ATI Technologies Inc Rage > XL > con     | Character size is 8x14, font has 256 > characters > con     | VESA reports > 1024x768@16 > 2048bpl (00bb) > [8128kB] > con     | Color mapping: red=11:5 green=5:6 > blue=0:5 res=0:0 > con     | Mapped I/O ctrl mem fc700000 > => 02300000+000000 [4kB] via l4io > con     | Found ATI > 3D RAGE (XL) [0x4752 rev 0x27] (PCI 07/08) > io      | > Remapping I/O memory fd000000-fd7f0000 > cached > io      | Setting MTRR 2 to fd000000-fd800000 > type WC > con     | Mapped I/O video mem fd000000 => > 03000000+000000 [8128kB] via l4io > con     | Backend > scaler: no, color keying: no > con     | Using MMXEXT for > colorspace transform > con     | > L4INPUT:                > !!! W A R N I N G !!! > con     | L4INPUT:  Please, do > not use Fiasco's "-esc" with L4INPUT. > con     | > L4INPUT:                > !!! W A R N I N G !!! > con     | L4INPUT: Registered > 0xb03c50 for callbacks. > con     | serio: i8042 AUX port > at 0x60,0x64 irq 12 > con     | serio: i8042 KBD port at > 0x60,0x64 irq 1 > con     | input: ImExPS/2 Generic > Explorer Mouse on isa0060/serio1 > con     | input: AT > Translated Set 2 keyboard on isa0060/serio0 > con     | > input: PC Speaker > con     | input: L4 input event > injector > con     | L4 input event injector: IRQ handler > up > con     | connect "ImExPS/2 Generic Explorer Mouse", > isa0060/serio1/input0 > con     | connect "AT Translated > Set 2 keyboard", isa0060/serio0/input0 > con     | connect > "PC Speaker", isa0061/input0 > con     | connect "L4 input > event injector", l4/sys > con     | Running as D.02. Video > mode is > 1024x768@16 > . > con     | > vc_loop(): vc[1] running as D.08 > con     | vc_open_out(): > vc[1] > 1024x768@16 > , > gmode:0x35 > run     | contxt_init(): 1024x750, cols:128, > lines:53, sb_lines:1053 > loader  | vmlinuz26.ddosnet: Starting > application using libld-l4.s.so > loader  | vmlinuz26.ddosnet,#10: Loading > binary > loader  | vmlinuz26.ddosnet,#10: Loading ldso > loader  | > Capability support not supported. > loader  | vmlinuz26.ddosnet,#10: > Starting libld-l4.s.so at 00013890 via 0000cc1 > loader  : > c > loader  | sleeping for 30000 ms > l4lx    | ======> > L4Linux 2.6 starting... <======== > l4lx    | Linux version > 2.6.19-l4 ( > root(a)dup.postech.ac.kr > ) > (gcc version 3.4.6) > l4lx    : #1 Thu Mar 8 15:30:29 KST > 2007 > l4lx    | Binary name: > vmlinuz26.ddosnet > l4lx    | Kernel command line (8 args): > mem=32M noreplacement root=1:0 load_ram > l4lx    : disk=1 > ramdisk_size=10240 l4env_rd=tty.rd panicblink=0 > lang=us > l4lx    | Image: 00400000 - 0072d000 [3252 > KiB]. > l4lx    | Areas: Text:     00400000 > - 00643000 [2316kB] (a bit longer) > l4lx    > |        Data:     > 00643000 - 0068808c [276kB] > l4lx    > |        Initdata: 0068c000 - 006c2000 > [216kB] > l4lx    |        > BSS:      006c4000 - 0072b7a0 > [413kB] > l4lx    | l4lx_thread_create: Created thread 10.03 > (server) > l4lx    | main thread will be > 10.03 > l4lx    | l4env_register_pointer_section: addr = > 0068a000 size = 233472 > l4lx    |      > sec-w-init: virt: 0x0068a000 to 0x006c2fff [228 KiB] > l4lx    > |      sec-w-init: Number of physical regions: 1, > 233472 Bytes > l4lx    |      > sec-w-init: 1: Phys: 0x0148c000 to 0x014c5000, Size:   > 233472 > l4lx    | l4env_linux_startup thread > 3. > l4lx    | main thread: received startup > message. > l4lx    | Main thread running, > waiting... > l4lx    | setup_l4env_memory: Forcing superpages > for main memory > l4lx    | Main memory size: > 32MB > l4lx    |     Main memory: virt: > 0x00800000 to 0x027fffff [32768 KiB] > l4lx    > |     Main memory: Number of physical regions: 1, 33554432 > Bytes > l4lx    |     Main memory: 1: Phys: > 0x7a000000 to 0x7c000000, Size: 33554432 > l4lx    | Filling > lower ptabs... > l4lx    | Done (1104 > entries). > l4lx    | l4env_rd_path: > tty.rd > l4lx    | Loading: tty.rd > l4lx    | > INITRD: Size of RAMdisk is 10240KiB > l4lx    | RAMdisk from > 02800000 to 03200000 [10240KiB] > l4lx    | l4lx_thread_create: > Created thread 10.04 (timer.i0) > l4lx    | l4lx_thread_create: > Created thread 10.05 (Idler) > l4lx    | Starting L4FB via > CON > con     | vc_loop(): vc[2] running as > D.09 > l4lx    | l4lx_thread_create: Created thread 10.06 > (L4ConInput) > con     | vc_open_out(): vc[2] > 1024x768@16 > , gmode:0x35 > l4lx    > | l4fbcon: 1024x750 2bypp, size: 1540096 > l4lx    | > l4lx_thread_create: Created thread 10.07 (CON > refresher) > l4lx    | DDOS : [eth0]  card found with > 00:30:48:27:E3:AC, IRQ 0 > l4lx    | l4lx_thread_create: Created > thread 10.08 (IRQ11) > l4lx    | l4lx_thread_create: Created > thread 10.09 (DDOSnetMain) > loader  | vmlinuz26.vt: Starting application > using libld-l4.s.so > loader  | vmlinuz26.vt,#1a: Loading > binary > loader  | vmlinuz26.vt,#1a: Loading ldso > loader  | > Capability support not supported. > loader  | vmlinuz26.vt,#1a: Starting > libld-l4.s.so at 00013890 via 0000cc6c > l4lx    | ======> > L4Linux 2.6 starting... <======== > l4lx    | Linux version > 2.6.19-l4 ( > root(a)dup.postech.ac.kr > ) > (gcc version 3.4.6) > l4lx    : #5 Thu Mar 8 19:38:18 KST > 2007 > l4lx    | Binary name: > vmlinuz26.vt > l4lx    | Kernel command line (2 args): mem=512M > root=/dev/hda1 > l4lx    | Image: 00400000 - 0071a000 [3176 > KiB]. > l4lx    | Areas: Text:     00400000 > - 00635000 [2260kB] (a bit longer) > l4lx    > |        Data:     > 00635000 - 0067908c [272kB] > l4lx    > |        Initdata: 0067c000 - 006ac000 > [192kB] > l4lx    |        > BSS:      006ae000 - 007184d0 > [425kB] > l4lx    | l4lx_thread_create: Created thread 1a.03 > (tamer) > l4lx    | Using tamed mode. > l4lx    > | l4lx_thread_create: Created thread 1a.04 (server) > l4lx    | > main thread will be 1a.04 > l4lx    | > l4env_register_pointer_section: addr = 00635000 size = > 491520 > l4lx    |      sec-w-init: > virt: 0x00635000 to 0x006acfff [480 KiB] > l4lx    > |      sec-w-init: Number of physical regions: 1, > 491520 Bytes > l4lx    |      > sec-w-init: 1: Phys: 0x00e63000 to 0x00edb000, Size:   > 491520 > l4lx    | l4env_linux_startup thread > 4. > l4lx    | main thread: received startup > message. > l4lx    | Main thread running, > waiting... > l4lx    | setup_l4env_memory: Forcing superpages > for main memory > l4lx    | Main memory size: > 512MB > l4lx    |     Main memory: virt: > 0x00800000 to 0x207fffff [524288 KiB] > l4lx    > |     Main memory: Number of physical regions: 1, 536870912 > Bytes > l4lx    |     Main memory: 1: Phys: > 0x5a000000 to 0x7a000000, Size: 536870912 > l4lx    | Filling > lower ptabs... > l4lx    | Done (1122 > entries). > l4lx    | l4lx_thread_create: Created thread 1a.05 > (timer.i0) > > >     --l4io_request_mem_region > error--------------------------IP: 0040f98b > (1a.04) jdb: > g > l4lx    | l4lx_thread_create: Created thread 1a.06 > (Idler) > l4lx    | Starting L4FB via > CON > con     | vc_loop(): vc[3] running as > D.0A > l4lx    | l4lx_thread_create: Created thread 1a.07 > (L4ConInput) > con     | vc_open_out(): vc[3] > 1024x768@16 > , gmode:0x35 > l4lx    > | l4fbcon: 1024x750 2bypp, size: 1540096 > l4lx    | > l4lx_thread_create: Created thread 1a.08 (CON > refresher) > l4lx    | l4lx_thread_create: Created thread 10.0a > (PosDDOSNetWorker) > l4lx    | DDOS : main thread sleep > forerver. > l4lx    | l4lx_thread_create: Created thread 1a.09 > (IRQ14) > l4lx    | l4lx_thread_create: Created thread 1a.0a > (IRQ15) > l4lx    | Terminating L4Linux. > simplets| Exit > 1A.02 > con     | switch_vc(): switch to vc 02 > > > Welcome to Fiasco(ia32)! > DD-L4(v2)/x86 microkernel (C) 1998-2006 TU > Dresden > Rev: Wed Mar 14 03:48:02 2007 compiled with gcc 3.4.6 for Intel > Pentium > Performance-critical config option(s) detected: >   > CONFIG_ASSEMBLER_IPC_SHORTCUT is off >   CONFIG_NDEBUG is off >   > CONFIG_NO_FRAME_PTR is off > > > Enabling special fully nested mode for PIC > Using the PIT (i8254) on IRQ 0 > for scheduling > Absolute KIP Syscalls using: Sysenter > CPU: GenuineIntel > (F:2:5:B) Model: Pentium 4 (Northwood/Prestonia) at 2799 MHz > > >   64 Entry I TLB (4K or 4M pages) >   64 Entry D TLB (4k or 4M > pages) >  12K ?ops T Cache (8-way associative) >    8 KB L1 D > Cache (4-way associative, 64 bytes per line) >  512 KB L2 U Cache (8-way > associative, 64 bytes per line) > > > Freeing init code/data: 20480 bytes (5 pages) > > > Calibrating timer loop... done. > SIGMA0: Hello! >   KIP @ > 1000 >   Found Fiasco: KIP syscalls: yes >   allocated 4KB for > maintenance structures > > > Roottask. >   Command line found: "/boot/OrgL4/l4v2/roottask task > modname "bmodfs" attached" > > >  2095677kB (2046MB) total RAM (reported by > bootloader) >  2028708kB (1982MB) received RAM from Sigma0 >    > 26692kB (  27MB) reserved RAM for RMGR >   Received I/O ports > 0000-ffff >   Attached irqs = [ <!0> 1 <!2> 3 4 5 6 7 8 9 A B > C D E F ] > > > Roottask: Parsing command line config. >   configured task 0x00 > (bmodfs): >     vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff > prio:10 small:ff mods:6 > > > Roottask: Loading 16 modules. > #05: loading > "/boot/OrgL4/l4v2/events" >      from [0212d000-02173281] > to [01540000-015491e4][0154a000-0154c954] >      entry at > 0005b370 via trampoline page code >      symbols at > [7c3fe000-7c400000] (8kB), lines at [7c3f7000-7c3fe000] (28kB) > #06: loading > "/boot/OrgL4/l4v2/names --events" >      from > [02174000-021b66db] to > [002d0000-002d616a][002d7000-002e3000] >      entry at > 0005c378 via trampoline page code >      symbols at > [7c3f5000-7c3f7000] (8kB), lines at [7c3ef000-7c3f5000] (24kB) > #07: loading > "/boot/OrgL4/l4v2/log --prio 0xA1" >      from > [021b7000-021f621c] to > [00400000-00406c4a][00407000-004398b0] >      entry at > 0005d37c via trampoline page code >      symbols at > [7c3ed000-7c3ef000] (8kB), lines at [7c3e7000-7c3ed000] (24kB) > #08: loading > "/boot/OrgL4/l4v2/dm_phys --events" >      from > [021f7000-02284f46] to > [01500000-015120ea][01513000-0151d000] >      entry at > 0005e37c via trampoline page code >      symbols at > [7c3e2000-7c3e7000] (20kB), lines at [7c3d5000-7c3e2000] (52kB) > #09: loading > "/boot/OrgL4/l4v2/simple_ts -t 300 --events" >      from > [02285000-022d1f5a] to > [01400000-014086ca][01409000-0141b070] >      entry at > 0005f384 via trampoline page code >      symbols at > [7c3d3000-7c3d5000] (8kB), lines at [7c3cc000-7c3d3000] (28kB) > #0a: loading > "/boot/OrgL4/l4v2/rtc" >      from [022d2000-023048c7] to > [01080000-01084200][01085000-0108a000] >      entry at > 00061370 via trampoline page code >      symbols at > [7c3ca000-7c3cc000] (8kB), lines at [7c3c6000-7c3ca000] (16kB) > #0b: loading > "/boot/OrgL4/l4v2/l4io --noirq" >      from > [02305000-02552e67] to > [00b80000-00ba2a08][00ba3000-00c0e000] >      entry at > 00062378 via trampoline page code >      symbols at > [7c377000-7c3c6000] (316kB), lines at [7c35d000-7c377000] (104k) > #0c: loading > "/boot/OrgL4/l4v2/bmodfs" >      from [02553000-025f4c5b] > to [01220000-01235544][01236000-01256000] >      passing > module /boot/OrgL4/l4v2/libloader.s.so       [ > 025f5000-026972c6 ] >      passing module > /boot/OrgL4/l4v2/libld-l4.s.so        [ > 02698000-027110ad ] >      passing module > /boot/OrgL4/l4v2/run                  > [ 02712000-02759f9a ] >      passing module > /boot/OrgL4/cfg/run.bmodfs.cfg        [ > 0275a000-0275a025 ] >      passing module > /boot/OrgL4/linux/vmlinuz26           > [ 0275b000-0373333e ] >      passing module > /boot/OrgL4/cfg/l4linux26.cfg         [ > 03734000-03734056 ] >      entry at 00063484 via trampoline > page code >      symbols at [7c358000-7c35d000] (20kB), > lines at [7c347000-7c358000] (68kB) > #0d: loading "/boot/OrgL4/l4v2/con --l4io > --events" >      from [03735000-038c5116] to > [00b00000-00b4d0e0][00b4e000-00b79000] >      entry at > 00064380 via trampoline page code >      symbols at > [7c33a000-7c347000] (52kB), lines at [7c306000-7c33a000] (208kB) > #0e: loading > "/boot/OrgL4/l4v2/loader --events --fprov=BMODFS run.bmodfs.cfg > l4" >      from [038c6000-0399e68a] to > [01300000-01324f28][01325000-0134e000] >      entry at > 000653a8 via trampoline page code >      symbols at > [7c300000-7c306000] (24kB), lines at [7c2e8000-7c300000] (96kB) > > > names   | Starting thread listening for `exit' events > simplets| > Configured for 300 tasks. > rtc     | Date:14.03.2007 > Time:16:17:09 > bmodfs  | Passed the following modules: > bmodfs  > |   module "/boot/OrgL4/l4v2/libloader.s.so" (649kB) > bmodfs  > |   module "/boot/OrgL4/l4v2/libld-l4.s.so" (485kB) > bmodfs  > |   module "/boot/OrgL4/l4v2/run" (288kB) > bmodfs  > |   module "/boot/OrgL4/cfg/run.bmodfs.cfg" (1kB) > bmodfs  > |   module "/boot/OrgL4/linux/vmlinuz26" (16225kB) > bmodfs  > |   module "/boot/OrgL4/cfg/l4linux26.cfg" > (1kB) > con     | Using fast > memcpy. > io      | do_args(): Disabling internal IRQ > handling. > io      | CPU supports 8 MTRRs. > Allocated: > io      |   0: > 00000000-80000000 (2048MB) type WB > io      > |   1: 7ff80000-80000000 (   1MB) type UC > loader  | > run: Starting application using libld-l4.s.so > loader  | run,#f: Loading > binary > loader  | run,#f: Loading ldso > loader  | Capability > support not supported. > loader  | run,#f: Starting libld-l4.s.so at > 00013890 via 0000cc80 > loader  | sleeping for 2000 > ms > io      | PCI: Using configuration type > 1 > io      | PCI: Probing PCI > hardware > io      | PCI: Probing PCI hardware (bus > 00) > io      | PCI: Ignoring BAR0-3 of IDE controller > 00:1f.1 > io      | Transparent bridge - Intel > Corporation 82801 PCI Bridge > io      | PCI: Enabling > device 00:1f.1 (0005 -> 0007) > io      | PCI: No > IRQ known for interrupt pin B of device 00:1f.3. Please try > u > io      : sing > pci=biosirq. > io      | 00000000-ffffffff : PCI > mem > io      |   80000000-800003ff : Intel > Corporation 82801CA Ultra ATA Storage Con > io      : > troller > io      |   fc100000-fc2fffff : > PCI Bus #01 > io      |     > fc100000-fc100fff : Intel Corporation 82870P2 P64H2 > I/OxAPIC > io      |     > fc101000-fc101fff : Intel Corporation 82870P2 P64H2 I/OxAPIC > (#2) > io      |     > fc200000-fc2fffff : PCI Bus #03 > io      > |       fc200000-fc21ffff : Intel Corporation > 82546EB Gigabit Ethernet > io      : Controller > (Copper) > io      > |       fc220000-fc23ffff : Intel Corporation > 82546EB Gigabit Ethernet > io      : Controller > (Copper) (#2) > io      |   > fc300000-fc6fffff : PCI Bus #04 > io      > |     fc300000-fc300fff : Intel Corporation 82870P2 P64H2 > I/OxAPIC (#3) > io      |     > fc301000-fc301fff : Intel Corporation 82870P2 P64H2 I/OxAPIC > (#4) > io      |     > fc400000-fc5fffff : PCI Bus #05 > io      > |       fc400000-fc400fff : Intel Corporation > 82557/8/9 [Ethernet Pro 1 > io      : > 00] > io      |       > fc500000-fc5fffff : Intel Corporation 82557/8/9 [Ethernet Pro > 1 > io      : 00] > io      > |     fc600000-fc6fffff : PCI Bus > #06 > io      |       > fc600000-fc601fff : Adaptec AIC-7902B U320 > io      > |       fc602000-fc603fff : Adaptec AIC-7902B U320 > (#2) > io      |   fc700000-fc700fff : ATI > Technolog0000-ffff : PCI IO > io      |   > 0cf8-0cff : PCI conf1 > io      |   > 1100-111f : Intel Corporation 82801CA/CAM SMBus > Controller > io      |   2000-201f : Intel > Corporation 82801CA/CAM USB (Hub #1) > io      > |   2020-203f : Intel Corporation 82801CA/CAM USB (Hub > #2) > io      |   2040-205f : Intel > Corporation 82801CA/CAM USB (Hub #3) > io      > |   2060-206f : Intel Corporation 82801CA Ultra ATA Storage > Controller > io      |   3000-3fff : PCI Bus > #01 > io      |     3000-3fff : > PCI Bus #03 > io      > |       3000-303f : Intel Corporation 82546EB > Gigabit Ethernet Controll > io      : er > (Copper) > io      > |       3040-307f : Intel Corporation 82546EB > Gigabit Ethernet Controll > io      : er (Copper) > (#2) > io      |   4000-5fff : PCI Bus > #04 > io      |     4000-4fff : > PCI Bus #05 > io      > |       4000-40ff : PCI device > 177d:0001 > io      > |       4400-44ff : PCI device > 177d:0001 > io      > |       4800-483f : Intel Corporation 82557/8/9 > [Ethernet Pro 100] > io      |     > 5000-5fff : PCI Bus #06 > io      > |       5000-50ff : Adaptec AIC-7902B > U320 > io      |       > 5400-54ff : Adaptec AIC-7902B U320 > io      > |       5800-58ff : Adaptec AIC-7902B U320 > (#2) > io      |       > 5c00-5cff : Adaptec AIC-7902B U320 (#2) > io      > |   6000-60ff : ATI Technologies Inc Rage > XL > con     | Character size is 8x14, font has 256 > characters > con     | VESA reports > 1024x768@16 > 2048bpl (00bb) > [8128kB] > con     | Color mapping: red=11:5 green=5:6 > blue=0:5 res=0:0 > con     | Mapped I/O ctrl mem fc700000 > => 02300000+000000 [4kB] via l4io > con     | Found ATI > 3D RAGE (XL) [0x4752 rev 0x27] (PCI 07/08) > io      | > Remapping I/O memory fd000000-fd7f0000 > cached > io      | Setting MTRR 2 to fd000000-fd800000 > type WC > con     | Mapped I/O video mem fd000000 => > 03000000+000000 [8128kB] via l4io > con     | Backend > scaler: no, color keying: no > con     | Using MMXEXT for > colorspace transform > con     | > L4INPUT:                > !!! W A R N I N G !!! > con     | L4INPUT:  Please, do > not use Fiasco's "-esc" with L4INPUT. > con     | > L4INPUT:                > !!! W A R N I N G !!! > con     | L4INPUT: Registered > 0xb03c50 for callbacks. > con     | serio: i8042 AUX port > at 0x60,0x64 irq 12 > con     | serio: i8042 KBD port at > 0x60,0x64 irq 1 > con     | input: ImExPS/2 Generic > Explorer Mouse on isa0060/serio1 > con     | input: AT > Translated Set 2 keyboard on isa0060/serio0 > con     | > input: PC Speaker > con     | input: L4 input event > injector > con     | L4 input event injector: IRQ handler > up > con     | connect "ImExPS/2 Generic Explorer Mouse", > isa0060/serio1/input0 > con     | connect "AT Translated > Set 2 keyboard", isa0060/serio0/input0 > con     | connect > "PC Speaker", isa0061/input0 > con     | connect "L4 input > event injector", l4/sys > con     | Running as D.02. Video > mode is > 1024x768@16 > . > con     | > vc_loop(): vc[1] running as D.08 > con     | vc_open_out(): > vc[1] > 1024x768@16 > , > gmode:0x35 > run     | contxt_init(): 1024x750, cols:128, > lines:53, sb_lines:1053 > loader  | vmlinuz26: Starting application using > libld-l4.s.so > loader  | vmlinuz26,#10: Loading binary > loader  | > vmlinuz26,#10: Loading ldso > loader  | Capability support not > supported. > loader  | vmlinuz26,#10: Starting libld-l4.s.so at 00013890 > via 0000cc70 > l4lx    | ======> L4Linux 2.6 starting... > <======== > l4lx    | Linux version 2.6.19-l4 ( > root(a)dup.postech.ac.kr > ) (gcc version > 3.4.6) > l4lx    : #1 Wed Mar 14 15:44:36 KST > 2007 > l4lx    | Binary name: > vmlinuz26 > l4lx    | Kernel command line (2 args): mem=128M > root=/dev/hda1 > l4lx    | Image: 00400000 - 0078e000 [3640 > KiB]. > l4lx    | Areas: Text:     00400000 > - 00695000 [2644kB] (a bit longer) > l4lx    > |        Data:     > 00695000 - 006e308c [312kB] > l4lx    > |        Initdata: 006e6000 - 00720000 > [232kB] > l4lx    |        > BSS:      00722000 - 0078c460 > [425kB] > l4lx    | l4lx_thread_create: Created thread 10.03 > (tamer) > l4lx    | Using tamed mode. > l4lx    > | l4lx_thread_create: Created thread 10.04 (server) > l4lx    | > main thread will be 10.04 > l4lx    | > l4env_register_pointer_section: addr = 00695000 size = > 573440 > l4lx    |      sec-w-init: > virt: 0x00695000 to 0x00720fff [560 KiB] > l4lx    | > Noncontiguous region for sec-w-init > l4lx    > |      sec-w-init: Number of physical regions: 2, > 573440 Bytes > l4lx    |      > sec-w-init: 1: Phys: 0x002e3000 to 0x00307000, Size:   > 147456 > l4lx    |      sec-w-init: 2: > Phys: 0x01498000 to 0x01500000, Size:   > 425984 > l4lx    | l4env_linux_startup thread > 4. > l4lx    | main thread: received startup > message. > l4lx    | Main thread running, > waiting... > l4lx    | setup_l4env_memory: Forcing superpages > for main memory > l4lx    | Main memory size: > 128MB > l4lx    |     Main memory: virt: > 0x00800000 to 0x087fffff [131072 KiB] > l4lx    > |     Main memory: Number of physical regions: 1, 134217728 > Bytes > l4lx    |     Main memory: 1: Phys: > 0x74000000 to 0x7c000000, Size: 134217728 > l4lx    | Filling > lower ptabs... > l4lx    | Done (1006 > entries). > l4lx    | l4lx_thread_create: Created thread 10.05 > (timer.i0) > l4lx    | l4lx_thread_create: Created thread 10.06 > (Idler) > l4lx    | Starting L4FB via > CON > con     | vc_loop(): vc[2] running as > D.09 > l4lx    | l4lx_thread_create: Created thread 10.07 > (L4ConInput) > con     | vc_open_out(): vc[2] > 1024x768@16 > , gmode:0x35 > l4lx    > | l4fbcon: 1024x750 2bypp, size: 1540096 > l4lx    | > l4lx_thread_create: Created thread 10.08 (CON > refresher) > l4lx    | l4lx_thread_create: Created thread 10.09 > (IRQ14) > l4lx    | l4lx_thread_create: Created thread 10.0a > (IRQ15) > l4lx    | Terminating L4Linux. > simplets| Exit > 10.02 > con     | switch_vc(): switch to vc 01 > > >   > > > ----------------------------------l4linux configuration > > > # > # Automatically generated make config: don't edit > # Linux kernel > version: 2.6.19-l4 > # Wed Mar 14 15:38:44 2007 > # > > > # > # L4Linux > configuration > # > CONFIG_L4=y > CONFIG_L4_LINUX=y > CONFIG_L4_OBJ_TREE="/home/OrgL4/build_l4" > CONFIG_L4_L4ENV=y > CONFIG_L4_ARCH_X86=y > # > CONFIG_L4_ARCH_ARM is not set > CONFIG_HZ=100 > CONFIG_PHYSICAL_START=0x0 > # > CONFIG_L4_USERPRIV_ONLY is not > set > CONFIG_L4_L4ENV_MEMSIZE=32 > CONFIG_L4_TAMED=y > > > # > # L4 build options > # > CONFIG_L4_MK_CPU_X86="586" > > > # > # IRQ Handling > # > CONFIG_L4_IRQ_SINGLE=y > # CONFIG_L4_IRQ_OMEGA0 > is not set > # CONFIG_L4_IRQ_MULTI is not set > > > # > # Stub drivers > # > CONFIG_L4_EXTERNAL_RTC=y > # CONFIG_L4_BLK_DRV > is not set > # CONFIG_L4_PDSPBLK_DRV is not > set > CONFIG_L4_FB_DRIVER=y > CONFIG_L4_FB_DRIVER_XF86IF=y > # > CONFIG_L4_OSHKOSH_DRV is not set > # CONFIG_L4_ORE_DRV is not > set > CONFIG_L4_SERIAL=y > CONFIG_L4_SERIAL_CONSOLE=y > # CONFIG_L4_NEED_DSI > is not set > # CONFIG_L4_NEED_INET_NTOA is not set > # CONFIG_L4_DROPSCON is > not set > > > # > # Priority > configuration > # > CONFIG_L4_PRIO_USER_PROCESS=10 > CONFIG_L4_PRIO_IRQ_OFFSET=129 > CONFIG_L4_PRIO_SERVER=100 > > > # > # Debugging options > # > # CONFIG_L4_DEBUG is not set > > > # > # Monitoring options (ferret) > # > # CONFIG_L4_FERRET_USER is not > set > # CONFIG_L4_FERRET_KERNEL is not set > # > CONFIG_L4_FERRET_SYSCALL_COUNTER is not set > > > # > # > > # > CONFIG_X86_32=y > CONFIG_GENERIC_TIME=y > CONFIG_LOCKDEP_SUPPORT=y > CONFIG_STACKTRACE_SUPPORT=y > CONFIG_SEMAPHORE_SLEEPERS=y > CONFIG_X86=y > CONFIG_MMU=y > CONFIG_GENERIC_ISA_DMA=y > CONFIG_GENERIC_IOMAP=y > CONFIG_GENERIC_HWEIGHT=y > CONFIG_ARCH_MAY_HAVE_PC_FDC=y > CONFIG_DMI=y > CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config" > > > # > # Code maturity level > options > # > CONFIG_EXPERIMENTAL=y > CONFIG_BROKEN_ON_SMP=y > CONFIG_INIT_ENV_ARG_LIMIT=32 > > > # > # General > setup > # > CONFIG_LOCALVERSION="" > CONFIG_LOCALVERSION_AUTO=y > CONFIG_SWAP=y > CONFIG_SYSVIPC=y > # > CONFIG_IPC_NS is not set > CONFIG_POSIX_MQUEUE=y > # CONFIG_BSD_PROCESS_ACCT > is not set > # CONFIG_TASKSTATS is not set > # CONFIG_UTS_NS is not set > # > CONFIG_AUDIT is not set > # CONFIG_IKCONFIG is not set > # CONFIG_RELAY is not > set > CONFIG_INITRAMFS_SOURCE="" > # CONFIG_CC_OPTIMIZE_FOR_SIZE is not > set > CONFIG_SYSCTL=y > CONFIG_EMBEDDED=y > CONFIG_UID16=y > CONFIG_SYSCTL_SYSCALL=y > CONFIG_KALLSYMS=y > # > CONFIG_KALLSYMS_ALL is not set > # CONFIG_KALLSYMS_EXTRA_PASS is not set > # > CONFIG_HOTPLUG is not > set > CONFIG_PRINTK=y > CONFIG_BUG=y > CONFIG_ELF_CORE=y > CONFIG_BASE_FULL=y > CONFIG_FUTEX=y > CONFIG_EPOLL=y > CONFIG_SHMEM=y > CONFIG_SLAB=y > CONFIG_VM_EVENT_COUNTERS=y > CONFIG_RT_MUTEXES=y > # > CONFIG_TINY_SHMEM is not set > CONFIG_BASE_SMALL=0 > # CONFIG_SLOB is not > set > > > # > # Loadable module support > # > CONFIG_MODULES=y > # > CONFIG_MODULE_UNLOAD is not set > CONFIG_MODVERSIONS=y > # > CONFIG_MODULE_SRCVERSION_ALL is not set > CONFIG_KMOD=y > > > # > # Block layer > # > CONFIG_BLOCK=y > # CONFIG_LBD is not set > # > CONFIG_BLK_DEV_IO_TRACE is not set > # CONFIG_LSF is not set > > > # > # IO > Schedulers > # > CONFIG_IOSCHED_NOOP=y > CONFIG_IOSCHED_AS=y > CONFIG_IOSCHED_DEADLINE=y > CONFIG_IOSCHED_CFQ=y > CONFIG_DEFAULT_AS=y > # > CONFIG_DEFAULT_DEADLINE is not set > # CONFIG_DEFAULT_CFQ is not set > # > CONFIG_DEFAULT_NOOP is not set > CONFIG_DEFAULT_IOSCHED="anticipatory" > > > # > # Processor type and features > # > # CONFIG_SMP is not > set > CONFIG_X86_PC=y > # CONFIG_X86_ELAN is not set > # CONFIG_X86_VOYAGER > is not set > # CONFIG_X86_NUMAQ is not set > # CONFIG_X86_SUMMIT is not > set > # CONFIG_X86_BIGSMP is not set > # CONFIG_X86_VISWS is not set > # > CONFIG_X86_GENERICARCH is not set > # CONFIG_X86_ES7000 is not set > # > CONFIG_M386 is not set > # CONFIG_M486 is not set > # CONFIG_M586 is not > set > CONFIG_M586TSC=y > # CONFIG_M586MMX is not set > # CONFIG_M686 is not > set > # CONFIG_MPENTIUMII is not set > # CONFIG_MPENTIUMIII is not set > # > CONFIG_MPENTIUMM is not set > # CONFIG_MPENTIUM4 is not set > # CONFIG_MK6 is > not set > # CONFIG_MK7 is not set > # CONFIG_MK8 is not set > # > CONFIG_MCRUSOE is not set > # CONFIG_MEFFICEON is not set > # > CONFIG_MWINCHIPC6 is not set > # CONFIG_MWINCHIP2 is not set > # > CONFIG_MWINCHIP3D is not set > # CONFIG_MGEODEGX1 is not set > # > CONFIG_MGEODE_LX is not set > # CONFIG_MCYRIXIII is not set > # > CONFIG_MVIAC3_2 is not set > # CONFIG_X86_GENERIC is not > set > CONFIG_X86_CMPXCHG=y > CONFIG_X86_XADD=y > CONFIG_X86_L1_CACHE_SHIFT=5 > CONFIG_RWSEM_XCHGADD_ALGORITHM=y > CONFIG_GENERIC_CALIBRATE_DELAY=y > CONFIG_X86_PPRO_FENCE=y > CONFIG_X86_F00F_BUG=y > CONFIG_X86_WP_WORKS_OK=y > CONFIG_X86_INVLPG=y > CONFIG_X86_BSWAP=y > CONFIG_X86_POPAD_OK=y > CONFIG_X86_CMPXCHG64=y > CONFIG_X86_ALIGNMENT_16=y > CONFIG_X86_TSC=y > # > CONFIG_HPET_TIMER is not set > CONFIG_PREEMPT_NONE=y > # > CONFIG_PREEMPT_VOLUNTARY is not set > # CONFIG_PREEMPT is not set > # > CONFIG_X86_UP_APIC is not set > # CONFIG_X86_MCE is not set > # CONFIG_VM86 is > not set > # CONFIG_TOSHIBA is not set > # CONFIG_I8K is not set > # > CONFIG_X86_REBOOTFIXUPS is not set > # CONFIG_MICROCODE is not set > # > CONFIG_X86_MSR is not set > # CONFIG_X86_CPUID is not set > > > # > # Firmware Drivers > # > # CONFIG_EDD is not set > # CONFIG_DELL_RBU > is not set > # CONFIG_DCDBAS is not set > CONFIG_NOHIGHMEM=y > # > CONFIG_HIGHMEM4G is not set > # CONFIG_HIGHMEM64G is not > set > CONFIG_VMSPLIT_3G=y > # CONFIG_VMSPLIT_3G_OPT is not set > # > CONFIG_VMSPLIT_2G is not set > # CONFIG_VMSPLIT_1G is not > set > CONFIG_PAGE_OFFSET=0xC0000000 > CONFIG_ARCH_FLATMEM_ENABLE=y > CONFIG_ARCH_SPARSEMEM_ENABLE=y > CONFIG_ARCH_SELECT_MEMORY_MODEL=y > CONFIG_ARCH_POPULATES_NODE_MAP=y > CONFIG_SELECT_MEMORY_MODEL=y > CONFIG_FLATMEM_MANUAL=y > # > CONFIG_DISCONTIGMEM_MANUAL is not set > # CONFIG_SPARSEMEM_MANUAL is not > set > CONFIG_FLATMEM=y > CONFIG_FLAT_NODE_MEM_MAP=y > CONFIG_SPARSEMEM_STATIC=y > CONFIG_SPLIT_PTLOCK_CPUS=4 > # > CONFIG_RESOURCES_64BIT is not set > # CONFIG_MATH_EMULATION is not set > # > CONFIG_MTRR is not set > # CONFIG_REGPARM is not set > CONFIG_SECCOMP=y > # > CONFIG_HZ_100 is not set > CONFIG_HZ_250=y > # CONFIG_HZ_1000 is not set > # > CONFIG_KEXEC is not set > CONFIG_COMPAT_VDSO=y > > > # > # Power management options (ACPI, APM) > # > # CONFIG_PM is not > set > > > # > # ACPI (Advanced Configuration and Power Interface) Support > # > # > CONFIG_ACPI is not set > > > # > # CPU Frequency scaling > # > # CONFIG_CPU_FREQ is not set > > > # > # Bus options (PCI, PCMCIA, EISA, MCA, ISA) > # > CONFIG_PCI=y > # > CONFIG_PCI_GOBIOS is not set > # CONFIG_PCI_GOMMCONFIG is not set > # > CONFIG_PCI_GODIRECT is not > set > CONFIG_PCI_GOANY=y > CONFIG_PCI_BIOS=y > CONFIG_PCI_DIRECT=y > # > CONFIG_PCIEPORTBUS is not set > # CONFIG_PCI_DEBUG is not > set > CONFIG_ISA_DMA_API=y > CONFIG_ISA=y > # CONFIG_EISA is not set > # > CONFIG_MCA is not set > # CONFIG_SCx200 is not set > > > # > # PCCARD (PCMCIA/CardBus) support > # > > > # > # PCI Hotplug Support > # > > > # > # Executable file > formats > # > CONFIG_BINFMT_ELF=y > CONFIG_BINFMT_AOUT=y > CONFIG_BINFMT_MISC=y > > > # > # Networking > # > CONFIG_NET=y > > > # > # Networking options > # > # CONFIG_NETDEBUG is not > set > CONFIG_PACKET=y > # CONFIG_PACKET_MMAP is not > set > CONFIG_UNIX=y > CONFIG_XFRM=y > # CONFIG_XFRM_USER is not set > # > CONFIG_XFRM_SUB_POLICY is not set > # CONFIG_NET_KEY is not > set > CONFIG_INET=y > # CONFIG_IP_MULTICAST is not set > # > CONFIG_IP_ADVANCED_ROUTER is not > set > CONFIG_IP_FIB_HASH=y > CONFIG_IP_PNP=y > CONFIG_IP_PNP_DHCP=y > # > CONFIG_IP_PNP_BOOTP is not set > # CONFIG_IP_PNP_RARP is not set > # > CONFIG_NET_IPIP is not set > # CONFIG_NET_IPGRE is not set > # CONFIG_ARPD is > not set > # CONFIG_SYN_COOKIES is not set > # CONFIG_INET_AH is not set > # > CONFIG_INET_ESP is not set > # CONFIG_INET_IPCOMP is not set > # > CONFIG_INET_XFRM_TUNNEL is not set > # CONFIG_INET_TUNNEL is not set > # > CONFIG_INET_XFRM_MODE_TRANSPORT is not set > # CONFIG_INET_XFRM_MODE_TUNNEL is > not > set > CONFIG_INET_XFRM_MODE_BEET=y > CONFIG_INET_DIAG=y > CONFIG_INET_TCP_DIAG=y > # > CONFIG_TCP_CONG_ADVANCED is not > set > CONFIG_TCP_CONG_CUBIC=y > CONFIG_DEFAULT_TCP_CONG="cubic" > # > CONFIG_IPV6 is not set > # CONFIG_INET6_XFRM_TUNNEL is not set > # > CONFIG_INET6_TUNNEL is not set > # CONFIG_NETWORK_SECMARK is not set > # > CONFIG_NETFILTER is not set > > > # > # DCCP Configuration (EXPERIMENTAL) > # > # CONFIG_IP_DCCP is not > set > > > # > # SCTP Configuration (EXPERIMENTAL) > # > # CONFIG_IP_SCTP is not > set > > > # > # TIPC Configuration (EXPERIMENTAL) > # > # CONFIG_TIPC is not > set > # CONFIG_ATM is not set > # CONFIG_BRIDGE is not set > # > CONFIG_VLAN_8021Q is not set > # CONFIG_DECNET is not set > # CONFIG_LLC2 is > not set > # CONFIG_IPX is not set > # CONFIG_ATALK is not set > # CONFIG_X25 > is not set > # CONFIG_LAPB is not set > # CONFIG_ECONET is not set > # > CONFIG_WAN_ROUTER is not set > > > # > # QoS and/or fair queueing > # > # CONFIG_NET_SCHED is not set > > > # > # Network testing > # > # CONFIG_NET_PKTGEN is not set > # > CONFIG_HAMRADIO is not set > # CONFIG_IRDA is not set > # CONFIG_BT is not > set > # CONFIG_IEEE80211 is not set > > > # > # Device Drivers > # > > > # > # Generic Driver > Options > # > CONFIG_STANDALONE=y > CONFIG_PREVENT_FIRMWARE_BUILD=y > # > CONFIG_DEBUG_DRIVER is not set > # CONFIG_SYS_HYPERVISOR is not set > > > # > # Connector - unified userspace <-> kernelspace linker > # > # > CONFIG_CONNECTOR is not set > Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

1 0

How many tasks can be started?
by Daniel Vandersee 15 Mar '07

15 Mar '07

Hi there, can you tell me how many Tasks can be started from L4? As the task id has 11 bit, the theoretical maximum seems to be 2048, but if I configure simple_ts to use 246 tasks, I can't create a new task without using simple_ts (I use rmgr_get_task and rmgr_task_new). In this case the first free task number is 256. The task creation via rmgr_task_new seems to work (a valid task id is returned), but it seems that I can't serve the first page fault. If I serve it with an fpage, I immediately get the same page fault again and again. With simple_ts configured to 245 tasks everything works fine. Regards, Daniel

2 2

Build problems (with automake version)
by Igor Shmukler 08 Mar '07

08 Mar '07

Hello, I am having problems with CVS version of L4 not building due automake version error. Please advise. Error pasted below: ./bootstrap: ERROR: `automake' is too old. automake (GNU automake) 1.10 Written by Tom Tromey <tromey(a)redhat.com> and Alexandre Duret-Lutz <adl(a)gnu.org>. Copyright 2006 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. (version 1.9 or newer is required) ./bootstrap: ERROR: `aclocal' is too old. aclocal (GNU automake) 1.10 Written by Tom Tromey <tromey(a)redhat.com> and Alexandre Duret-Lutz <adl(a)gnu.org>. Copyright (C) 2006 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. (version 1.9 or newer is required) make[2]: *** [GNUmakefile] Error 1 make[2]: Leaving directory `/home/ubuntu/l4-devel/l4/tool/dice' make[1]: *** [dice] Error 2 make[1]: Leaving directory `/home/ubuntu/l4-devel/l4/tool' make: *** [tool] Error 2 ubuntu@ubuntu:~/l4-devel/l4$

3 10

minor makefile error in examples
by Igor Shmukler 08 Mar '07

08 Mar '07

This one is minor, but i think it's nor imaginary - makefile does not make a symlink or something. I'll just copy the file. make[5]: Entering directory `/home/ubuntu/l4-devel/build/pkg/loader/examples/fprov-l4/OBJ-x86_586-l4v2' ... Compiling main.o LD_PRELOAD=/home/ubuntu/l4-devel/l4/tool/gendep/libgendep.so GENDEP_TARGET=main.o GENDEP_BINARY=cc1 gcc -c -DRAM_BASE=0x0 -DUSE_UCLIBC=y -DSYSTEM_x86_586_l4v2 -DARCH_x86 -DCPUTYPE_586 -DL4API_l4v2 -DCONFIG_L4_CALL_SYSCALLS -DCONFIG_L4_ABS_SYSCALLS -I/home/ubuntu/l4-devel/build/pkg/loader/idl/OBJ-x86-l4v2 -I/home/ubuntu/l4-devel/build/include/x86/l4v2 -I/home/drops/include/x86/l4v2 -I/home/ubuntu/l4-devel/build/include/l4v2 -I/home/drops/include/l4v2 -I/home/ubuntu/l4-devel/build/include/x86 -I/home/drops/include/x86 -I/home/ubuntu/l4-devel/l4/tool/dice/include -I/home/ubuntu/l4-devel/build/include -I/home/drops/include -I/usr/lib/gcc-lib/i486-linux-gnu/3.3.6/include -gstabs+ -g -O2 -fno-strict-aliasing -march=i586 -Wall -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -fno-common /home/ubuntu/l4-devel/l4/pkg/loader/examples/fprov-l4/main.c -o main.o /home/ubuntu/l4-devel/l4/pkg/loader/examples/fprov-l4/main.c:22:18: zlib.h: No such file or directory

2 1

and now linking problems
by Igor Shmukler 08 Mar '07

08 Mar '07

Hello, First, I would like to thank Ronald, Michael, Adam and everyone else for helping me to get started. I have another problem. This time it's linking issue. I was compiling with gcc 3.3. Please advise: --- -e ... Making gdb_copy.o -e ... Making gdb_pc_com_intr.o -e ==> Archiving into libkern.a -e ==> Linking kernel.image thread-log.o: In function `sys_ipc_log_wrapper': /home/ubuntu/l4-devel/l4/kernel/fiasco/src/kern/shared/thread-log.cpp:179: undefined reference to `__stack_chk_fail' /home/ubuntu/l4-devel/l4/kernel/fiasco/src/kern/shared/thread-log.cpp:65: undefined reference to `__stack_chk_fail' /home/ubuntu/l4-devel/l4/kernel/fiasco/src/kern/shared/thread-log.cpp:179: undefined reference to `__stack_chk_fail' main-ia32-amd64.o: In function `main_arch()': /home/ubuntu/l4-devel/l4/kernel/fiasco/src/kern/shared/main-ia32-amd64.cpp:112: undefined reference to `__stack_chk_fail' cpu-common.o: In function `Cpu::show_cache_tlb_info(char const*)': /home/ubuntu/l4-devel/l4/kernel/fiasco/src/kern/shared/cpu-common.cpp:(.initcall.text+0x381): undefined reference to `__stack_chk_fail' cpu-common.o:/home/ubuntu/l4-devel/l4/kernel/fiasco/src/kern/shared/cpu-common.cpp:892: more undefined references to `__stack_chk_fail' follow make[4]: *** [kernel.image] Error 1 make[4]: Leaving directory `/home/ubuntu/l4-devel/l4/kernel/fiasco/build' make[3]: *** [all] Error 2 make[3]: Leaving directory `/home/ubuntu/l4-devel/l4/kernel/fiasco/build' make[2]: *** [build] Error 2 make[2]: Leaving directory `/home/ubuntu/l4-devel/l4/kernel/fiasco' make[1]: *** [all] Error 2 make[1]: Leaving directory `/home/ubuntu/l4-devel/l4/kernel' make: *** [kernel] Error 2 ubuntu@ubuntu:~/l4-devel/l4$ ---

3 4

Can I use L4/Fiasco in Dual Core CPU ?
by chenggh 08 Mar '07

08 Mar '07

Hi: Now I have a machine with dual core cpu of Athlon. I want to know if I could boot L4/Fiasco in dual core cpu and if there is some optimization of L4/Fiasco for dual core cpu. Thanks. cheng

2 1