Hi,
   Thanks, I'm sorry that I didn't put enough useful information last time. Then I 'll explain what my question is.
   1> The error is not often, but when I started two l4linuxes in two qemu instances and after the setup of ip addr, it will be there.
   2> That means the qemu is out of response and I saw the error output through the serial port as I mentioned in my mail.
   3> Yes, you are right, "you should be able to one machine from the other e.g. by using SSH.", what does this mean? Can you tell me more?
   4> Ok, I'll post all the things

1) L4Linux configuration:
#
# Automatically generated make config: don't edit
# Linux kernel version: 2.6.23-l4
# Mon Aug 25 20:45:40 2008
#

#
# L4Linux configuration
#
CONFIG_L4=y
CONFIG_L4_LINUX=y
CONFIG_L4_OBJ_TREE="/home/licy/l4/l4sources/tudos/build"
CONFIG_L4_L4ENV=y
CONFIG_L4_ARCH_X86=y
# CONFIG_L4_ARCH_ARM is not set
CONFIG_L4_VMLINUZ_SUFFIX=""
CONFIG_HZ=100
CONFIG_PHYSICAL_START=0x0

#
# L4 build options
#
CONFIG_L4_MK_CPU_X86="586"

#
# IRQ Handling
#
# CONFIG_L4_IRQ_SINGLE is not set
CONFIG_L4_IRQ_OMEGA0=y
# CONFIG_L4_IRQ_MULTI is not set

#
# Stub drivers
#
CONFIG_L4_EXTERNAL_RTC=y
# CONFIG_L4_BLK_DRV is not set
# CONFIG_L4_PDSPBLK_DRV is not set
CONFIG_L4_FB_DRIVER=y
# CONFIG_L4_FB_DRIVER_XF86IF is not set
CONFIG_L4_ORE_DRV=y
# CONFIG_L4_SERIAL is not set

#
# Debugging options
#
# CONFIG_L4_DEBUG is not set

#
# Advanced options
#
CONFIG_L4_L4ENV_MEMSIZE=32
CONFIG_L4_TAMED=y

#
# Priority configuration
#
CONFIG_L4_PRIO_SERVER_PROC=64
CONFIG_L4_PRIO_IDLER=65
CONFIG_L4_PRIO_IRQ_BASE=66
CONFIG_L4_PRIO_TAMER=85
CONFIG_L4_PRIO_L4FB_INPUT=70
CONFIG_L4_PRIO_L4FB_REFRESH=70
CONFIG_L4_PRIO_L4ORE=70

#
# Monitoring options (ferret)
#
# CONFIG_L4_FERRET_USER is not set
# CONFIG_L4_FERRET_KERNEL is not set
# CONFIG_L4_FERRET_SYSCALL_COUNTER is not set
# CONFIG_L4_USE_L4VMM is not set
CONFIG_L4_CONFIG_CHECKS=y

#
#
#
CONFIG_X86_32=y
CONFIG_GENERIC_TIME=y
CONFIG_GENERIC_CMOS_UPDATE=y
CONFIG_CLOCKSOURCE_WATCHDOG=y
CONFIG_GENERIC_CLOCKEVENTS=y
CONFIG_LOCKDEP_SUPPORT=y
CONFIG_STACKTRACE_SUPPORT=y
CONFIG_SEMAPHORE_SLEEPERS=y
CONFIG_X86=y
CONFIG_MMU=y
CONFIG_ZONE_DMA=y
CONFIG_QUICKLIST=y
CONFIG_GENERIC_ISA_DMA=y
CONFIG_GENERIC_IOMAP=y
CONFIG_GENERIC_BUG=y
CONFIG_GENERIC_HWEIGHT=y
CONFIG_ARCH_MAY_HAVE_PC_FDC=y
CONFIG_DMI=y
CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"

#
# General setup
#
CONFIG_EXPERIMENTAL=y
CONFIG_BROKEN_ON_SMP=y
CONFIG_INIT_ENV_ARG_LIMIT=32
CONFIG_LOCALVERSION=""
CONFIG_LOCALVERSION_AUTO=y
CONFIG_SWAP=y
CONFIG_SYSVIPC=y
CONFIG_SYSVIPC_SYSCTL=y
# CONFIG_POSIX_MQUEUE is not set
# CONFIG_BSD_PROCESS_ACCT is not set
# CONFIG_TASKSTATS is not set
# CONFIG_USER_NS is not set
# CONFIG_AUDIT is not set
# CONFIG_IKCONFIG is not set
CONFIG_LOG_BUF_SHIFT=15
CONFIG_SYSFS_DEPRECATED=y
# CONFIG_RELAY is not set
CONFIG_BLK_DEV_INITRD=y
CONFIG_INITRAMFS_SOURCE=""
# CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
CONFIG_SYSCTL=y
CONFIG_EMBEDDED=y
CONFIG_UID16=y
CONFIG_SYSCTL_SYSCALL=y
CONFIG_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_ANON_INODES=y
CONFIG_EPOLL=y
CONFIG_SIGNALFD=y
CONFIG_EVENTFD=y
CONFIG_SHMEM=y
CONFIG_VM_EVENT_COUNTERS=y
CONFIG_SLAB=y
# CONFIG_SLUB is not set
# CONFIG_SLOB is not set
CONFIG_RT_MUTEXES=y
# CONFIG_TINY_SHMEM is not set
CONFIG_BASE_SMALL=0
CONFIG_MODULES=y
# CONFIG_MODULE_UNLOAD is not set
CONFIG_MODVERSIONS=y
# CONFIG_MODULE_SRCVERSION_ALL is not set
CONFIG_KMOD=y
CONFIG_BLOCK=y
# CONFIG_LBD is not set
# CONFIG_BLK_DEV_IO_TRACE is not set
# CONFIG_LSF is not set
# CONFIG_BLK_DEV_BSG is not set

#
# IO Schedulers
#
CONFIG_IOSCHED_NOOP=y
CONFIG_IOSCHED_AS=y
CONFIG_IOSCHED_DEADLINE=y
CONFIG_IOSCHED_CFQ=y
CONFIG_DEFAULT_AS=y
# CONFIG_DEFAULT_DEADLINE is not set
# CONFIG_DEFAULT_CFQ is not set
# CONFIG_DEFAULT_NOOP is not set
CONFIG_DEFAULT_IOSCHED="anticipatory"

#
# Processor type and features
#
# CONFIG_TICK_ONESHOT is not set
# CONFIG_NO_HZ is not set
# CONFIG_HIGH_RES_TIMERS is not set
# 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_PARAVIRT 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_MCORE2 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_MGEODE_LX is not set
# CONFIG_MCYRIXIII is not set
# CONFIG_MVIAC3_2 is not set
# CONFIG_MVIAC7 is not set
# CONFIG_X86_GENERIC is not set
CONFIG_X86_CMPXCHG=y
CONFIG_X86_L1_CACHE_SHIFT=7
CONFIG_X86_XADD=y
CONFIG_RWSEM_XCHGADD_ALGORITHM=y
# CONFIG_ARCH_HAS_ILOG2_U32 is not set
# CONFIG_ARCH_HAS_ILOG2_U64 is not set
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_X86_TSC=y
CONFIG_X86_CMOV=y
CONFIG_X86_MINIMUM_CPU_FAMILY=4
# 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_DMIID=y
CONFIG_NOHIGHMEM=y
# CONFIG_HIGHMEM4G is not set
# CONFIG_HIGHMEM64G is not set
CONFIG_VMSPLIT_3G=y
# CONFIG_VMSPLIT_3G_OPT is not set
# CONFIG_VMSPLIT_2G is not set
# CONFIG_VMSPLIT_2G_OPT is not set
# CONFIG_VMSPLIT_1G is not set
CONFIG_PAGE_OFFSET=0xC0000000
# CONFIG_X86_PAE is not set
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_ZONE_DMA_FLAG=1
CONFIG_BOUNCE=y
CONFIG_NR_QUICK=1
CONFIG_VIRT_TO_BUS=y
# CONFIG_MATH_EMULATION is not set
# CONFIG_MTRR is not set
CONFIG_SECCOMP=y
# CONFIG_HZ_100 is not set
CONFIG_HZ_250=y
# CONFIG_HZ_300 is not set
# CONFIG_HZ_1000 is not set
# CONFIG_KEXEC is not set
# CONFIG_RELOCATABLE is not set
CONFIG_PHYSICAL_ALIGN=0x100000
CONFIG_COMPAT_VDSO=y

#
# Power management options (ACPI, APM)
#
# CONFIG_PM is not set
CONFIG_SUSPEND_UP_POSSIBLE=y
CONFIG_HIBERNATION_UP_POSSIBLE=y

#
# 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=y
# CONFIG_PCI_GOANY is not set
CONFIG_PCI_DIRECT=y
# CONFIG_PCIEPORTBUS is not set
# CONFIG_ARCH_SUPPORTS_MSI 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
#

#
# Executable file formats
#
CONFIG_BINFMT_ELF=y
CONFIG_BINFMT_AOUT=y
CONFIG_BINFMT_MISC=y

#
# Networking
#
CONFIG_NET=y

#
# Networking options
#
# CONFIG_PACKET is not set
# CONFIG_UNIX is not set
# CONFIG_NET_KEY is not set
# CONFIG_INET is not set
# CONFIG_NETWORK_SECMARK is not set
# CONFIG_NETFILTER is not set
# CONFIG_ATM is not set
# CONFIG_BRIDGE is not set
# CONFIG_VLAN_8021Q is not set
# CONFIG_DECNET is not set
# CONFIG_LLC2 is not set
# CONFIG_IPX is not set
# CONFIG_ATALK is not set
# CONFIG_X25 is not set
# CONFIG_LAPB is not set
# CONFIG_WAN_ROUTER is not set

#
# 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

#
# Wireless
#
# CONFIG_CFG80211 is not set
# CONFIG_WIRELESS_EXT is not set
# CONFIG_MAC80211 is not set
# CONFIG_IEEE80211 is not set
# CONFIG_RFKILL is not set
# CONFIG_NET_9P is not set

#
# Device Drivers
#

#
# Generic Driver Options
#
CONFIG_STANDALONE=y
CONFIG_PREVENT_FIRMWARE_BUILD=y
# CONFIG_DEBUG_DRIVER is not set
# CONFIG_DEBUG_DEVRES is not set
# CONFIG_SYS_HYPERVISOR is not set
# CONFIG_CONNECTOR is not set
# CONFIG_MTD is not set
# CONFIG_PARPORT is not set
# CONFIG_PNP is not set
CONFIG_BLK_DEV=y
# CONFIG_BLK_DEV_FD is not set
# CONFIG_BLK_DEV_XD is not set
# CONFIG_BLK_CPQ_DA is not set
# CONFIG_BLK_CPQ_CISS_DA is not set
# CONFIG_BLK_DEV_DAC960 is not set
# CONFIG_BLK_DEV_UMEM is not set
# CONFIG_BLK_DEV_COW_COMMON is not set
# CONFIG_BLK_DEV_LOOP is not set
# CONFIG_BLK_DEV_NBD is not set
# CONFIG_BLK_DEV_SX8 is not set
CONFIG_BLK_DEV_RAM=y
CONFIG_BLK_DEV_RAM_COUNT=16
CONFIG_BLK_DEV_RAM_SIZE=4096
CONFIG_BLK_DEV_RAM_BLOCKSIZE=1024
# CONFIG_CDROM_PKTCDVD is not set
# CONFIG_ATA_OVER_ETH is not set
CONFIG_MISC_DEVICES=y
# CONFIG_IBM_ASM is not set
# CONFIG_PHANTOM is not set
# CONFIG_EEPROM_93CX6 is not set
# CONFIG_SGI_IOC4 is not set
# CONFIG_TIFM_CORE is not set
CONFIG_IDE=y
CONFIG_IDE_MAX_HWIFS=4
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 is not set
CONFIG_BLK_DEV_IDECD=y
# CONFIG_BLK_DEV_IDETAPE is not set
# CONFIG_BLK_DEV_IDEFLOPPY is not set
# CONFIG_BLK_DEV_IDESCSI is not set
# CONFIG_IDE_TASK_IOCTL is not set
CONFIG_IDE_PROC_FS=y

#
# IDE chipset support/bugfixes
#
CONFIG_IDE_GENERIC=y
# CONFIG_BLK_DEV_CMD640 is not set
CONFIG_BLK_DEV_IDEPCI=y
# CONFIG_IDEPCI_SHARE_IRQ is not set
CONFIG_IDEPCI_PCIBUS_ORDER=y
# CONFIG_BLK_DEV_OFFBOARD is not set
CONFIG_BLK_DEV_GENERIC=y
# CONFIG_BLK_DEV_OPTI621 is not set
# CONFIG_BLK_DEV_RZ1000 is not set
CONFIG_BLK_DEV_IDEDMA_PCI=y
# CONFIG_BLK_DEV_IDEDMA_FORCED is not set
# CONFIG_IDEDMA_ONLYDISK is not set
# CONFIG_BLK_DEV_AEC62XX is not set
# CONFIG_BLK_DEV_ALI15X3 is not set
# CONFIG_BLK_DEV_AMD74XX is not set
# CONFIG_BLK_DEV_ATIIXP is not set
# CONFIG_BLK_DEV_CMD64X is not set
# CONFIG_BLK_DEV_TRIFLEX is not set
# CONFIG_BLK_DEV_CY82C693 is not set
# CONFIG_BLK_DEV_CS5520 is not set
# CONFIG_BLK_DEV_CS5530 is not set
# CONFIG_BLK_DEV_CS5535 is not set
# CONFIG_BLK_DEV_HPT34X is not set
# CONFIG_BLK_DEV_HPT366 is not set
# CONFIG_BLK_DEV_JMICRON is not set
# CONFIG_BLK_DEV_SC1200 is not set
CONFIG_BLK_DEV_PIIX=y
# CONFIG_BLK_DEV_IT8213 is not set
# CONFIG_BLK_DEV_IT821X is not set
# CONFIG_BLK_DEV_NS87415 is not set
# CONFIG_BLK_DEV_PDC202XX_OLD is not set
# CONFIG_BLK_DEV_PDC202XX_NEW is not set
# CONFIG_BLK_DEV_SVWKS is not set
# CONFIG_BLK_DEV_SIIMAGE is not set
# CONFIG_BLK_DEV_SIS5513 is not set
# CONFIG_BLK_DEV_SLC90E66 is not set
# CONFIG_BLK_DEV_TRM290 is not set
CONFIG_BLK_DEV_VIA82CXXX=y
# CONFIG_BLK_DEV_TC86C001 is not set
# CONFIG_IDE_ARM is not set
# CONFIG_IDE_CHIPSETS is not set
CONFIG_BLK_DEV_IDEDMA=y
# CONFIG_IDEDMA_IVB is not set
# CONFIG_BLK_DEV_HD is not set

#
# SCSI device support
#
# CONFIG_RAID_ATTRS is not set
CONFIG_SCSI=y
CONFIG_SCSI_DMA=y
# CONFIG_SCSI_TGT is not set
# CONFIG_SCSI_NETLINK is not set
CONFIG_SCSI_PROC_FS=y

#
# SCSI support type (disk, tape, CD-ROM)
#
# CONFIG_BLK_DEV_SD is not set
# CONFIG_CHR_DEV_ST is not set
# CONFIG_CHR_DEV_OSST is not set
# CONFIG_BLK_DEV_SR is not set
# CONFIG_CHR_DEV_SG is not set
# CONFIG_CHR_DEV_SCH is not set

#
# Some SCSI devices (e.g. CD jukebox) support multiple LUNs
#
# CONFIG_SCSI_MULTI_LUN is not set
# CONFIG_SCSI_CONSTANTS is not set
# CONFIG_SCSI_LOGGING is not set
# CONFIG_SCSI_SCAN_ASYNC is not set
CONFIG_SCSI_WAIT_SCAN=m

#
# SCSI Transports
#
# CONFIG_SCSI_SPI_ATTRS is not set
# CONFIG_SCSI_FC_ATTRS is not set
# CONFIG_SCSI_ISCSI_ATTRS is not set
# CONFIG_SCSI_SAS_LIBSAS is not set
CONFIG_SCSI_LOWLEVEL=y
# CONFIG_BLK_DEV_3W_XXXX_RAID is not set
# CONFIG_SCSI_3W_9XXX is not set
# CONFIG_SCSI_7000FASST is not set
# CONFIG_SCSI_ACARD is not set
# CONFIG_SCSI_AHA152X is not set
# CONFIG_SCSI_AHA1542 is not set
# CONFIG_SCSI_AACRAID is not set
# CONFIG_SCSI_AIC7XXX is not set
# CONFIG_SCSI_AIC7XXX_OLD is not set
# CONFIG_SCSI_AIC79XX is not set
# CONFIG_SCSI_AIC94XX is not set
# CONFIG_SCSI_DPT_I2O is not set
# CONFIG_SCSI_ADVANSYS is not set
# CONFIG_SCSI_IN2000 is not set
# CONFIG_SCSI_ARCMSR is not set
# CONFIG_MEGARAID_NEWGEN is not set
# CONFIG_MEGARAID_LEGACY is not set
# CONFIG_MEGARAID_SAS is not set
# CONFIG_SCSI_HPTIOP is not set
# CONFIG_SCSI_BUSLOGIC is not set
# CONFIG_SCSI_DMX3191D is not set
# CONFIG_SCSI_DTC3280 is not set
# CONFIG_SCSI_EATA is not set
# CONFIG_SCSI_FUTURE_DOMAIN is not set
# CONFIG_SCSI_GDTH is not set
# CONFIG_SCSI_GENERIC_NCR5380 is not set
# CONFIG_SCSI_GENERIC_NCR5380_MMIO is not set
# CONFIG_SCSI_IPS is not set
# CONFIG_SCSI_INITIO is not set
# CONFIG_SCSI_INIA100 is not set
# CONFIG_SCSI_NCR53C406A is not set
# CONFIG_SCSI_STEX is not set
# CONFIG_SCSI_SYM53C8XX_2 is not set
# CONFIG_SCSI_IPR is not set
# CONFIG_SCSI_PAS16 is not set
# CONFIG_SCSI_PSI240I is not set
# CONFIG_SCSI_QLOGIC_FAS is not set
# CONFIG_SCSI_QLOGIC_1280 is not set
# CONFIG_SCSI_QLA_FC is not set
# CONFIG_SCSI_QLA_ISCSI is not set
# CONFIG_SCSI_LPFC is not set
# CONFIG_SCSI_SEAGATE is not set
# CONFIG_SCSI_SYM53C416 is not set
# CONFIG_SCSI_DC395x is not set
# CONFIG_SCSI_DC390T is not set
# CONFIG_SCSI_T128 is not set
# CONFIG_SCSI_U14_34F is not set
# CONFIG_SCSI_ULTRASTOR is not set
# CONFIG_SCSI_NSP32 is not set
# CONFIG_SCSI_DEBUG is not set
# CONFIG_SCSI_SRP is not set
CONFIG_ATA=y
# CONFIG_ATA_NONSTANDARD is not set
CONFIG_SATA_AHCI=y
# CONFIG_SATA_SVW is not set
CONFIG_ATA_PIIX=y
CONFIG_SATA_MV=y
CONFIG_SATA_NV=y
CONFIG_PDC_ADMA=y
CONFIG_SATA_QSTOR=y
CONFIG_SATA_PROMISE=y
CONFIG_SATA_SX4=y
CONFIG_SATA_SIL=y
CONFIG_SATA_SIL24=y
# CONFIG_SATA_SIS is not set
# CONFIG_SATA_ULI is not set
# CONFIG_SATA_VIA is not set
# CONFIG_SATA_VITESSE is not set
# CONFIG_SATA_INIC162X is not set
# CONFIG_PATA_ALI is not set
# CONFIG_PATA_AMD is not set
# CONFIG_PATA_ARTOP is not set
# CONFIG_PATA_ATIIXP is not set
# CONFIG_PATA_CMD640_PCI is not set
# CONFIG_PATA_CMD64X is not set
# CONFIG_PATA_CS5520 is not set
# CONFIG_PATA_CS5530 is not set
# CONFIG_PATA_CS5535 is not set
# CONFIG_PATA_CYPRESS is not set
# CONFIG_PATA_EFAR is not set
# CONFIG_ATA_GENERIC is not set
# CONFIG_PATA_HPT366 is not set
# CONFIG_PATA_HPT37X is not set
# CONFIG_PATA_HPT3X2N is not set
# CONFIG_PATA_HPT3X3 is not set
# CONFIG_PATA_IT821X is not set
# CONFIG_PATA_IT8213 is not set
# CONFIG_PATA_JMICRON is not set
# CONFIG_PATA_LEGACY is not set
# CONFIG_PATA_TRIFLEX is not set
# CONFIG_PATA_MARVELL is not set
# CONFIG_PATA_MPIIX is not set
# CONFIG_PATA_OLDPIIX is not set
# CONFIG_PATA_NETCELL is not set
# CONFIG_PATA_NS87410 is not set
# CONFIG_PATA_OPTI is not set
# CONFIG_PATA_OPTIDMA is not set
# CONFIG_PATA_PDC_OLD is not set
# CONFIG_PATA_QDI is not set
# CONFIG_PATA_RADISYS is not set
# CONFIG_PATA_RZ1000 is not set
# CONFIG_PATA_SC1200 is not set
# CONFIG_PATA_SERVERWORKS is not set
# CONFIG_PATA_PDC2027X is not set
# CONFIG_PATA_SIL680 is not set
# CONFIG_PATA_SIS is not set
# CONFIG_PATA_VIA is not set
# CONFIG_PATA_WINBOND is not set
# CONFIG_PATA_WINBOND_VLB is not set
# CONFIG_PATA_PLATFORM is not set
# CONFIG_MD is not set

#
# Fusion MPT device support
#
# CONFIG_FUSION is not set
# CONFIG_FUSION_SPI is not set
# CONFIG_FUSION_FC is not set
# CONFIG_FUSION_SAS is not set

#
# IEEE 1394 (FireWire) support
#
# CONFIG_FIREWIRE is not set
# CONFIG_IEEE1394 is not set
# CONFIG_I2O is not set
# CONFIG_MACINTOSH_DRIVERS is not set
# CONFIG_NETDEVICES is not set
# CONFIG_ISDN is not set
# CONFIG_PHONE is not set

#
# Input device support
#
CONFIG_INPUT=y
# CONFIG_INPUT_FF_MEMLESS is not set
# CONFIG_INPUT_POLLDEV is not set

#
# Userland interfaces
#
CONFIG_INPUT_MOUSEDEV=y
CONFIG_INPUT_MOUSEDEV_PSAUX=y
CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
CONFIG_INPUT_JOYDEV=y
# CONFIG_INPUT_TSDEV is not set
CONFIG_INPUT_EVDEV=y
# CONFIG_INPUT_EVBUG is not set

#
# Input Device Drivers
#
# CONFIG_INPUT_KEYBOARD is not set
# CONFIG_INPUT_MOUSE is not set
# CONFIG_INPUT_JOYSTICK is not set
# CONFIG_INPUT_TABLET is not set
# CONFIG_INPUT_TOUCHSCREEN is not set
# CONFIG_INPUT_MISC is not set

#
# Hardware I/O ports
#
# CONFIG_SERIO is not set
# CONFIG_GAMEPORT is not set

#
# Character devices
#
CONFIG_VT=y
CONFIG_VT_CONSOLE=y
CONFIG_HW_CONSOLE=y
# CONFIG_VT_HW_CONSOLE_BINDING is not set
# CONFIG_SERIAL_NONSTANDARD is not set

#
# Serial drivers
#
# CONFIG_SERIAL_8250 is not set
CONFIG_FIX_EARLYCON_MEM=y

#
# Non-8250 serial port support
#
# CONFIG_SERIAL_JSM is not set
CONFIG_UNIX98_PTYS=y
CONFIG_LEGACY_PTYS=y
CONFIG_LEGACY_PTY_COUNT=256
# CONFIG_IPMI_HANDLER is not set
# CONFIG_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
# CONFIG_SONYPI is not set
# CONFIG_AGP is not set
# CONFIG_DRM is not set
# CONFIG_MWAVE is not set
# CONFIG_PC8736x_GPIO is not set
# CONFIG_NSC_GPIO is not set
# CONFIG_CS5535_GPIO is not set
# CONFIG_RAW_DRIVER is not set
# CONFIG_HANGCHECK_TIMER is not set
# CONFIG_TCG_TPM is not set
# CONFIG_TELCLOCK is not set
CONFIG_DEVPORT=y
# CONFIG_I2C is not set

#
# SPI support
#
# CONFIG_SPI is not set
# CONFIG_SPI_MASTER is not set
# CONFIG_W1 is not set
# CONFIG_POWER_SUPPLY is not set
# CONFIG_HWMON is not set

#
# Multifunction device drivers
#
# CONFIG_MFD_SM501 is not set

#
# Multimedia devices
#
# CONFIG_VIDEO_DEV is not set
CONFIG_DAB=y

#
# Graphics support
#
# CONFIG_BACKLIGHT_LCD_SUPPORT is not set

#
# Display device support
#
# CONFIG_DISPLAY_SUPPORT is not set
# CONFIG_VGASTATE is not set
# CONFIG_VIDEO_OUTPUT_CONTROL is not set
CONFIG_FB=y
CONFIG_FIRMWARE_EDID=y
# CONFIG_FB_DDC is not set
CONFIG_FB_CFB_FILLRECT=y
CONFIG_FB_CFB_COPYAREA=y
CONFIG_FB_CFB_IMAGEBLIT=y
# CONFIG_FB_SYS_FILLRECT is not set
# CONFIG_FB_SYS_COPYAREA is not set
# CONFIG_FB_SYS_IMAGEBLIT is not set
# CONFIG_FB_SYS_FOPS is not set
CONFIG_FB_DEFERRED_IO=y
# CONFIG_FB_SVGALIB is not set
# CONFIG_FB_MACMODES is not set
# CONFIG_FB_BACKLIGHT is not set
# CONFIG_FB_MODE_HELPERS is not set
# CONFIG_FB_TILEBLITTING is not set

#
# Frame buffer hardware drivers
#
# CONFIG_FB_CIRRUS is not set
# CONFIG_FB_PM2 is not set
# CONFIG_FB_CYBER2000 is not set
# CONFIG_FB_ARC is not set
# CONFIG_FB_ASILIANT is not set
# CONFIG_FB_IMSTT is not set
# CONFIG_FB_VGA16 is not set
# CONFIG_FB_VESA is not set
# CONFIG_FB_HECUBA is not set
# CONFIG_FB_HGA is not set
# CONFIG_FB_S1D13XXX is not set
# CONFIG_FB_NVIDIA is not set
# CONFIG_FB_RIVA is not set
# CONFIG_FB_I810 is not set
# CONFIG_FB_LE80578 is not set
# CONFIG_FB_INTEL is not set
# CONFIG_FB_MATROX is not set
# CONFIG_FB_RADEON is not set
# CONFIG_FB_ATY128 is not set
# CONFIG_FB_ATY is not set
# CONFIG_FB_S3 is not set
# CONFIG_FB_SAVAGE is not set
# CONFIG_FB_SIS is not set
# CONFIG_FB_NEOMAGIC is not set
# CONFIG_FB_KYRO is not set
# CONFIG_FB_3DFX is not set
# CONFIG_FB_VOODOO1 is not set
# CONFIG_FB_VT8623 is not set
# CONFIG_FB_CYBLA is not set
# CONFIG_FB_TRIDENT is not set
# CONFIG_FB_ARK is not set
# CONFIG_FB_PM3 is not set
# CONFIG_FB_GEODE is not set
# CONFIG_FB_VIRTUAL is not set

#
# 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_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY is not set
# CONFIG_FRAMEBUFFER_CONSOLE_ROTATION is not set
CONFIG_FONTS=y
CONFIG_FONT_8x8=y
CONFIG_FONT_8x16=y
# CONFIG_FONT_6x11 is not set
# CONFIG_FONT_7x14 is not set
# CONFIG_FONT_PEARL_8x8 is not set
# CONFIG_FONT_ACORN_8x8 is not set
CONFIG_FONT_MINI_4x6=y
# CONFIG_FONT_SUN8x16 is not set
# CONFIG_FONT_SUN12x22 is not set
# CONFIG_FONT_10x18 is not set
CONFIG_LOGO=y
CONFIG_LOGO_LINUX_MONO=y
CONFIG_LOGO_LINUX_VGA16=y
CONFIG_LOGO_LINUX_CLUT224=y

#
# Sound
#
# CONFIG_SOUND is not set
CONFIG_HID_SUPPORT=y
CONFIG_HID=y
# CONFIG_HID_DEBUG is not set
# CONFIG_USB_SUPPORT is not set
# CONFIG_MMC is not set
# CONFIG_NEW_LEDS is not set
# CONFIG_INFINIBAND is not set
# CONFIG_EDAC is not set
# CONFIG_RTC_CLASS is not set

#
# DMA Engine support
#
# CONFIG_DMA_ENGINE is not set

#
# DMA Clients
#

#
# DMA Devices
#
# CONFIG_VIRTUALIZATION is not set

#
# Userspace I/O
#
# CONFIG_UIO is not set

#
# File systems
#
CONFIG_EXT2_FS=y
# CONFIG_EXT2_FS_XATTR is not set
# CONFIG_EXT2_FS_XIP is not set
CONFIG_EXT3_FS=y
CONFIG_EXT3_FS_XATTR=y
# CONFIG_EXT3_FS_POSIX_ACL is not set
# CONFIG_EXT3_FS_SECURITY is not set
# CONFIG_EXT4DEV_FS is not set
CONFIG_JBD=y
# CONFIG_JBD_DEBUG is not set
CONFIG_FS_MBCACHE=y
# CONFIG_REISERFS_FS is not set
# CONFIG_JFS_FS is not set
# CONFIG_FS_POSIX_ACL is not set
# CONFIG_XFS_FS is not set
# CONFIG_GFS2_FS is not set
# CONFIG_OCFS2_FS is not set
# CONFIG_MINIX_FS is not set
# CONFIG_ROMFS_FS is not set
CONFIG_INOTIFY=y
CONFIG_INOTIFY_USER=y
# CONFIG_QUOTA is not set
CONFIG_DNOTIFY=y
# CONFIG_AUTOFS_FS is not set
# CONFIG_AUTOFS4_FS is not set
# CONFIG_FUSE_FS is not set

#
# CD-ROM/DVD Filesystems
#
CONFIG_ISO9660_FS=y
CONFIG_JOLIET=y
# CONFIG_ZISOFS is not set
# CONFIG_UDF_FS is not set

#
# DOS/FAT/NT Filesystems
#
# CONFIG_MSDOS_FS is not set
# CONFIG_VFAT_FS is not set
# CONFIG_NTFS_FS is not set

#
# Pseudo filesystems
#
CONFIG_PROC_FS=y
CONFIG_PROC_KCORE=y
CONFIG_PROC_SYSCTL=y
CONFIG_SYSFS=y
CONFIG_TMPFS=y
# CONFIG_TMPFS_POSIX_ACL is not set
# CONFIG_HUGETLBFS is not set
# CONFIG_HUGETLB_PAGE is not set
CONFIG_RAMFS=y
# CONFIG_CONFIGFS_FS is not set

#
# Miscellaneous filesystems
#
# CONFIG_ADFS_FS is not set
# CONFIG_AFFS_FS is not set
# CONFIG_HFS_FS is not set
# CONFIG_HFSPLUS_FS is not set
# CONFIG_BEFS_FS is not set
# CONFIG_BFS_FS is not set
# CONFIG_EFS_FS is not set
# CONFIG_CRAMFS is not set
# CONFIG_VXFS_FS is not set
# CONFIG_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
#

#
# Partition Types
#
CONFIG_PARTITION_ADVANCED=y
# CONFIG_ACORN_PARTITION is not set
# CONFIG_OSF_PARTITION is not set
# CONFIG_AMIGA_PARTITION is not set
# CONFIG_ATARI_PARTITION is not set
# CONFIG_MAC_PARTITION is not set
CONFIG_MSDOS_PARTITION=y
# CONFIG_BSD_DISKLABEL is not set
# CONFIG_MINIX_SUBPARTITION is not set
# CONFIG_SOLARIS_X86_PARTITION is not set
# CONFIG_UNIXWARE_DISKLABEL is not set
# CONFIG_LDM_PARTITION is not set
# CONFIG_SGI_PARTITION is not set
# CONFIG_ULTRIX_PARTITION is not set
# CONFIG_SUN_PARTITION is not set
# CONFIG_KARMA_PARTITION is not set
# CONFIG_EFI_PARTITION is not set
# CONFIG_SYSV68_PARTITION is not set

#
# 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
CONFIG_INSTRUMENTATION=y
# 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=y
CONFIG_MAGIC_SYSRQ=y
CONFIG_UNUSED_SYMBOLS=y
# CONFIG_DEBUG_FS is not set
# CONFIG_HEADERS_CHECK is not set
CONFIG_DEBUG_KERNEL=y
# CONFIG_DEBUG_SHIRQ is not set
CONFIG_DETECT_SOFTLOCKUP=y
CONFIG_SCHED_DEBUG=y
# CONFIG_SCHEDSTATS is not set
# CONFIG_TIMER_STATS is not set
# CONFIG_DEBUG_SLAB is not set
# CONFIG_DEBUG_RT_MUTEXES is not set
# CONFIG_RT_MUTEX_TESTER is not set
# CONFIG_DEBUG_SPINLOCK is not set
CONFIG_DEBUG_MUTEXES=y
# CONFIG_DEBUG_LOCK_ALLOC is not set
# CONFIG_PROVE_LOCKING is not set
# CONFIG_LOCK_STAT is not set
# CONFIG_DEBUG_SPINLOCK_SLEEP is not set
# CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
# CONFIG_DEBUG_KOBJECT is not set
CONFIG_DEBUG_BUGVERBOSE=y
CONFIG_DEBUG_INFO=y
# CONFIG_DEBUG_VM is not set
# CONFIG_DEBUG_LIST is not set
CONFIG_FRAME_POINTER=y
CONFIG_FORCED_INLINING=y
# CONFIG_RCU_TORTURE_TEST is not set
# CONFIG_FAULT_INJECTION is not set
# CONFIG_EARLY_PRINTK is not set
# CONFIG_DEBUG_STACKOVERFLOW is not set
# CONFIG_DEBUG_STACK_USAGE is not set
# CONFIG_DEBUG_PAGEALLOC is not set
# CONFIG_DEBUG_RODATA is not set
# CONFIG_4KSTACKS is not set
CONFIG_DOUBLEFAULT=y

#
# Security options
#
# CONFIG_KEYS is not set
# CONFIG_SECURITY is not set
CONFIG_CRYPTO=y
CONFIG_CRYPTO_ALGAPI=y
CONFIG_CRYPTO_BLKCIPHER=y
CONFIG_CRYPTO_MANAGER=y
# CONFIG_CRYPTO_HMAC is not set
# CONFIG_CRYPTO_XCBC 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_GF128MUL is not set
CONFIG_CRYPTO_ECB=m
CONFIG_CRYPTO_CBC=y
CONFIG_CRYPTO_PCBC=m
# CONFIG_CRYPTO_LRW is not set
# CONFIG_CRYPTO_CRYPTD is not set
CONFIG_CRYPTO_DES=y
# CONFIG_CRYPTO_FCRYPT is not set
# CONFIG_CRYPTO_BLOWFISH is not set
# CONFIG_CRYPTO_TWOFISH is not set
# CONFIG_CRYPTO_TWOFISH_586 is not set
# CONFIG_CRYPTO_SERPENT is not set
# CONFIG_CRYPTO_AES 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_CAMELLIA is not set
# CONFIG_CRYPTO_TEST is not set
# CONFIG_CRYPTO_HW is not set

#
# Library routines
#
CONFIG_BITREVERSE=y
# CONFIG_CRC_CCITT is not set
# CONFIG_CRC16 is not set
# CONFIG_CRC_ITU_T is not set
CONFIG_CRC32=y
# CONFIG_CRC7 is not set
# CONFIG_LIBCRC32C is not set
CONFIG_PLIST=y
CONFIG_HAS_IOMEM=y
CONFIG_HAS_IOPORT=y
CONFIG_HAS_DMA=y
CONFIG_GENERIC_HARDIRQS=y
CONFIG_GENERIC_IRQ_PROBE=y
CONFIG_X86_BIOS_REBOOT=y
CONFIG_KTIME_SCALAR=y

2) L4Linux.cfg
sleep 1
task "vmlinuz" "mem=64M load_ramdisk=1 ramdisk_size=16384 root=/dev/ram l4env_rd=drops-rd.rd l4ORe.instances=OReInst1:eth0,OReInst2:lo,OReInst3:eth1"
    all_sects_writable

3) Qemu command
qemu -serial stdio -net nic,model=rtl8139 -net tap -cdrom image2.iso -m 200

4) The full logout

L4 Bootstrapper
  move modules to 2000000 with offset 1d22000
  move module 20 start 1225000 -> 2f47000
  move module 19 start 11ac000 -> 2ece000
  move module 18 start 110d000 -> 2e2f000
  move module 17 start 110c000 -> 2e2e000
  move module 16 start e42000 -> 2b64000
  move module 15 start d9c000 -> 2abe000
  move module 14 start cc0000 -> 29e2000
  move module 13 start b37000 -> 2859000
  move module 12 start a91000 -> 27b3000
  move module 11 start 84c000 -> 256e000
  move module 10 start 81d000 -> 253f000
  move module 9 start 7d0000 -> 24f2000
  move module 8 start 736000 -> 2458000
  move module 7 start 6f6000 -> 2418000
  move module 6 start 487000 -> 21a9000
  move module 5 start 44a000 -> 216c000
  move module 4 start 409000 -> 212b000
  move module 3 start 36e000 -> 2090000
  move module 2 start 337000 -> 2059000
  move module 1 start 2de000 -> 2000000
  Scanning /fiasco -serial_esc -comport 1  
  Scanning /sigma0
  Scanning /roottask task modname "bmodfs" attached 5 modules
  Bootloader MMAP:
    [        0,     9fc00) RAM (1)
    [    9fc00,     a0000) reserved (2)
    [    e8000,    100000) reserved (2)
    [   100000,   c7f0000) RAM (1)
    [  c7f0000,   c800000) ACPI (3)
    [ fffc0000, 100000000) reserved (2)
  Relocated mbi to [0x61000-0x612dd]
  Loading /fiasco
  Loading /sigma0
  Loading /roottask
  find kernel info page...
  found kernel info page at 0x1000
    [     1000,     60fff] Kern   /fiasco
    [    61000,     613da] Root   Multiboot info
    [    9fc00,     9ffff] Arch   BIOS
    [    e8000,     fffff] Arch   BIOS
    [   100000,    10937f] Sigma0 /sigma0
    [   110000,    2adfff] Root   /roottask
    [   2d0000,    2dab7f] Boot   bootstrap
    [   300000,    38fd5f] Kern   /fiasco
    [  212b000,   3f46fff] Root   Modules Memory
    [  c7f0000,   c7fffff] Arch   BIOS
    [ fffc0000,  ffffffff] Arch   BIOS
  API Version: (87) experimental
  Sigma0 config    ip:001047b8 sp:002da740
  Roottask config  ip:00110000 sp:00000000
  Starting kernel /fiasco at 003008b8

Welcome to Fiasco(ia32)!
DD-L4(v2)/ia32 microkernel (C) 1998-2008 TU Dresden
Rev: rUNKNOWN compiled with gcc 4.1.3 for Intel Pentium    []
Performance-critical config option(s) detected:
  CONFIG_NDEBUG is off

Enabling special fully nested mode for PIC
Using the PIT (i8254) on IRQ 0 for scheduling
SERIAL ESC: allocated IRQ 4 for serial uart
SERIAL ESC: allocated IRQ 4 for serial uart
Not using serial hack in slow timer handler.
Absolute KIP Syscalls using: Sysenter
CPU: GenuineIntel (6:3:3:0) Model: Pentium II (Klamath) at 2200 MHz

  32 KB L1 I Cache (8-way associative, 64 bytes per line)
  32 KB L1 D Cache (8-way associative, 64 bytes per line)
2048 KB L2 U Cache (8-way associative, 64 bytes per line)

Freeing init code/data: 20480 bytes (5 pages)

Calibrating timer loop... done.
SIGMA0: Hello!
  KIP @ 1000
  Found Fiasco: KIP syscalls: yes
  allocated 4KB for maintenance structures


Roottask.
  Command line found: "/roottask task modname "bmodfs" attached 5 modules "

  204351kB ( 199MB) total RAM (reported by bootloader)
  179644kB ( 176MB) received RAM from Sigma0
   32484kB (  32MB) reserved RAM for RMGR
  Received I/O ports 0000-ffff
  Attached irqs = [ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 A B C D E F 10 11 ]

Roottask: Parsing command line config.
  configured task 0x00 (bmodfs):
    vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:5

Roottask: Loading 17 modules.
#05: loading "/names"
     from [0212b000-0216b0ef] to [002d0000-002d67d7][002d7000-002e2000]
     entry at 0005c060 via trampoline page code
     symbols at [0b7ef000-0b7f1000] (8kB), lines at [0b7e9000-0b7ef000] (24kB)
#06: loading "/log"
     from [0216c000-021a8add] to [00400000-00406fca][00407000-00439848]
     entry at 0005d060 via trampoline page code
     symbols at [0b7e7000-0b7e9000] (8kB), lines at [0b7e1000-0b7e7000] (24kB)
#07: loading "/l4io"
     from [021a9000-02417b56] to [00c20000-00c44a25][00c45000-00cb3000]
     entry at 0005e060 via trampoline page code
     symbols at [0b78b000-0b7e1000] (344kB), lines at [0b771000-0b78b000] (104kB)
#08: loading "/events"
     from [02418000-02457320] to [01540000-01548d50][01549000-0155e5b0]
     entry at 0005f060 via trampoline page code
     symbols at [0b76f000-0b771000] (8kB), lines at [0b768000-0b76f000] (28kB)
#09: loading "/dm_phys  --isa=0x00800000 -v --events"
     from [02458000-024f16a8] to [01500000-01513ad7][01514000-0151e000]
     entry at 00060080 via trampoline page code
     symbols at [0b763000-0b768000] (20kB), lines at [0b755000-0b763000] (56kB)
#0a: loading "/simple_ts"
     from [024f2000-0253e2f6] to [01400000-01408bca][01409000-01418608]
     entry at 00062064 via trampoline page code
     symbols at [0b753000-0b755000] (8kB), lines at [0b74b000-0b753000] (32kB)
#0b: loading "/rtc"
     from [0253f000-0256d623] to [01080000-01084660][01085000-0108a000]
     entry at 00063060 via trampoline page code
     symbols at [0b749000-0b74b000] (8kB), lines at [0b744000-0b749000] (20kB)
#0c: loading "/ore"
     from [0256e000-027b2749] to [01800000-01841fb2][01842000-0186f000]
     entry at 00064060 via trampoline page code
     symbols at [0b737000-0b744000] (52kB), lines at [0b704000-0b737000] (204kB)
#0d: loading "/mini_http_uip"
     from [027b3000-028580ae] to [01ad0000-01aea321][01aeb000-01b03000]
     entry at 00065068 via trampoline page code
     symbols at [0b6ff000-0b704000] (20kB), lines at [0b6eb000-0b6ff000] (80kB)
#0e: loading "/con --vbemode 0x117"
     from [02859000-029e176b] to [00b00000-00b51791][00b52000-00b72000]
     entry at 00066070 via trampoline page code
     symbols at [0b6de000-0b6eb000] (52kB), lines at [0b6ab000-0b6de000] (204kB)
#0f: loading "/loader --fprov=BMODFS l4linux.cfg"
     from [029e2000-02abd6f1] to [01300000-01327fb1][01328000-01347000]
     entry at 0006707c via trampoline page code
     symbols at [0b6a4000-0b6ab000] (28kB), lines at [0b68a000-0b6a4000] (104kB)
#10: loading "/bmodfs"
     from [02abe000-02b63d12] to [01220000-01238551][01239000-01250000]
     passing module /vmlinuz                              [ 02b64000-02e2d960 ]
     passing module /l4linux.cfg                          [ 02e2e000-02e2e0b2 ]
     passing module /libloader.s.so                       [ 02e2f000-02ecdcb8 ]
     passing module /libld-l4.s.so                        [ 02ece000-02f46cdd ]
     passing module /drops-rd.rd                          [ 02f47000-03f47000 ]
     entry at 000680fc via trampoline page code
     symbols at [0b685000-0b68a000] (20kB), lines at [0b672000-0b685000] (76kB)

simplets| Configured for 64 tasks.
rtc     | Date:27.08.2008 Time:15:32:19
DMphys  | DMphys memory map:
DMphys  |   phys. memory 0x00000000-0x0c7f0000 (from L4 kernel info page)
DMphys  |   using 0x00100000-0x0c7f0000
DMphys  |        Memory area      Pool  PS  Flags
DMphys  |   0x00000000-0x0009f000  --   --  RESERVED
DMphys  |   0x00100000-0x00161000  --   --  RESERVED
DMphys  |   0x00161000-0x001aa000  --   --  DENIED
DMphys  |   0x001aa000-0x002ad000   7   12  MAPPED
DMphys  |   0x002ad000-0x002ae000  --   --  DENIED
DMphys  |   0x002ae000-0x002d0000   7   12  MAPPED
DMphys  |   0x002d0000-0x002e2000  --   --  DENIED
DMphys  |   0x002e2000-0x00400000   7   12  MAPPED
DMphys  |   0x00400000-0x0043a000  --   --  DENIED
DMphys  |   0x0043a000-0x009f7000   7   12  MAPPED
DMphys  |   0x009f7000-0x00b00000   0   12  MAPPED
DMphys  |   0x00b00000-0x00b72000  --   --  DENIED
DMphys  |   0x00b72000-0x00c20000   0   12  MAPPED
DMphys  |   0x00c20000-0x00cb3000  --   --  DENIED
DMphys  |   0x00cb3000-0x01080000   0   12  MAPPED
DMphys  |   0x01080000-0x0108a000  --   --  DENIED
DMphys  |   0x0108a000-0x01220000   0   12  MAPPED
DMphys  |   0x01220000-0x01250000  --   --  DENIED
DMphys  |   0x01250000-0x01300000   0   12  MAPPED
DMphys  |   0x01300000-0x01347000  --   --  DENIED
DMphys  |   0x01347000-0x01400000   0   12  MAPPED
DMphys  |   0x01400000-0x01419000  --   --  DENIED
DMphys  |   0x01419000-0x01500000   0   12  MAPPED
DMphys  |   0x01500000-0x0151e000  --   --  RESERVED
DMphys  |   0x0151e000-0x01540000   0   12  MAPPED
DMphys  |   0x01540000-0x0155f000  --   --  DENIED
DMphys  |   0x0155f000-0x01800000   0   12  MAPPED
DMphys  |   0x01800000-0x0186f000  --   --  DENIED
DMphys  |   0x0186f000-0x01ad0000   0   12  MAPPED
DMphys  |   0x01ad0000-0x01b03000  --   --  DENIED
DMphys  |   0x01b03000-0x01c00000   0   12  MAPPED
DMphys  |   0x01c00000-0x02800000   0   22  MAPPED
DMphys  |   0x02800000-0x02b64000   0   12  MAPPED
DMphys  |   0x02b64000-0x03f47000  --   --  DENIED
DMphys  |   0x03f47000-0x04000000   0   12  MAPPED
DMphys  |   0x04000000-0x0b400000   0   22  MAPPED
DMphys  |   0x0b400000-0x0b672000   0   12  MAPPED
DMphys  |   0x0b672000-0x0c7f0000  --   --  DENIED
DMphys  |
DMphys  | DMphys memory pools:
DMphys  |  pool 0 (Default memory pool):
DMphys  |  size: 153704KB total, 153704KB free,  32KB reserved
DMphys  |   0x009f7000-0x00b00000 (  1060KB,    1MB) free DS:
DMphys  |   0x00b72000-0x00c20000 (   696KB,    1MB) free DS:
DMphys  |   0x00cb3000-0x01080000 (  3892KB,    4MB) free DS:
DMphys  |   0x0108a000-0x01220000 (  1624KB,    2MB) free DS:
DMphys  |   0x01250000-0x01300000 (   704KB,    1MB) free DS:
DMphys  |   0x01347000-0x01400000 (   740KB,    1MB) free DS:
DMphys  |   0x01419000-0x01500000 (   924KB,    1MB) free DS:
DMphys  |   0x0151e000-0x01540000 (   136KB,    0MB) free DS:
DMphys  |   0x0155f000-0x01800000 (  2692KB,    3MB) free DS:
DMphys  |   0x0186f000-0x01ad0000 (  2436KB,    2MB) free DS:
DMphys  |   0x01b03000-0x02b64000 ( 16772KB,   16MB) free DS:
DMphys  |   0x03f47000-0x0b672000 (122028KB,  119MB) free DS:
DMphys  |  pool 7 (ISA DMA memory pool):
DMphys  |  size:   8192KB total,   8192KB free,   0KB reserved
DMphys  |   0x001aa000-0x002ad000 (  1036KB,    1MB) free DS:
DMphys  |   0x002ae000-0x002d0000 (   136KB,    0MB) free DS:
DMphys  |   0x002e2000-0x00400000 (  1144KB,    1MB) free DS:
DMphys  |   0x0043a000-0x009f7000 (  5876KB,    6MB) free DS:
httpserv| l4ore_open(): called
httpserv| l4ore_open(): descriptor: 0
con     | Using fast memcpy.
bmodfs  | Passed the following modules:
bmodfs  |   module "/vmlinuz" (2855kB)
bmodfs  |   module "/l4linux.cfg" (1kB)
bmodfs  |   module "/libloader.s.so" (636kB)
bmodfs  |   module "/libld-l4.s.so" (484kB)
bmodfs  |   module "/drops-rd.rd" (16384kB)
io      | Using platform configuration 'x86'
io      | PCI: Using configuration type 1
io      | PCI: Probing PCI hardware
io      | PCI: Probing PCI hardware (bus 00)
loader  | sleeping for 1000 ms
io      | PCI: PIIX3: Enabling Passive Release on 00:01.0
io      | Limiting direct PCI/PCI transfers.
io      | Activating ISA DMA hang workarounds.
io      | 00000000-ffffffff : PCI mem
io      |   f0000000-f1ffffff : Cirrus Logic GD 5446
io      |   f2000000-f2000fff : Cirrus Logic GD 5446
io      |   f2001000-f20010ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/
io      : 8139C+
io      | 0000-ffff : PCI IO
io      |   0cf8-0cff : PCI conf1
io      |   b000-b03f : Intel Corporation 82371AB/EB/MB PIIX4 ACPI
io      |   b100-b11f : Intel Corporation 82371AB/EB/MB PIIX4 ACPI
io      |   c000-c00f : Intel Corporation 82371SB PIIX3 IDE [Natoma/Triton II]
io      |   c100-c1ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/8139C+
io      | Available IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f 10 11 ]
con     | Character size is 8x14, font has 256 characters
con     | Trying execution of ``set VBE mode'' using x86emu
con     | Found VESA BIOS version 2.0
con     | OEM VGABIOS Cirrus extension
ore     | Softirq daemon starting
ore     | Initializing DDE page cache
ore     | unimplemented: pci_fixup_device
ore     | unimplemented: pci_fixup_device
ore     | _add_ddekit_device: Detected device: 8086:7000
ore     | unimplemented: pci_fixup_device
ore     | unimplemented: pci_fixup_device
ore     | _add_ddekit_device: Detected device: 8086:7010
ore     | unimplemented: pci_fixup_device
ore     | unimplemented: pci_fixup_device
ore     | _add_ddekit_device: Detected device: 8086:7113
ore     | unimplemented: pci_fixup_device
ore     | unimplemented: pci_fixup_device
ore     | _add_ddekit_device: Detected device: 1013:b8
ore     | unimplemented: pci_fixup_device
ore     | unimplemented: pci_fixup_device
ore     | _add_ddekit_device: Detected device: 10ec:8139
ore     | <6>e100: Intel(R) PRO/100 Network Driver, 3.5.17-k2-NAPI
ore     | <6>e100: Copyright(c) 1999-2006 Intel Corporation
ore     | <6>8139too Fast Ethernet driver 0.9.28
ore     | <6>8139too 0000:00:04.0: This (id 10ec:8139 rev 20) is an enhanced 81
ore     : 39C+ chip
ore     | <6>8139too 0000:00:04.0: Use the "8139cp" driver for improved perform
ore     : ance and stability.
ROOT: Sending ports c100-c1ff to task #07
io      | PCI: Setting latency timer of device 00:03.0 to 64
ore     | <7>8139too 0000:00:04.0: unknown chip version, assuming RTL-8139
ore     | <7>8139too 0000:00:04.0: TxConfig = 0x74800000
ore     | <6>eth0: RealTek RTL8139 at 0xa000, 52:54:00:12:34:56, IRQ 11
ore     | <7>eth0:  Identified 8139 chip type 'RTL-8139'
ore     | unimplemented: pci_fixup_device
ore     | unimplemented: pci_fixup_device
ore     | unimplemented: pci_fixup_device
ore     | unimplemented: pci_fixup_device
ore     | unimplemented: pci_fixup_device
ore     | l4dde26_register_rx_callback: New rx callback @ 0x018012f0.
ore     | main(): initialized DDELinux2.6
ore     | main(): loopback: 0
ore     | <6>device lo entered promiscuous mode
ore     | <6>device eth0 entered promiscuous mode
ore     | <6>eth0: link up, 100Mbps, full-duplex, lpa 0x05E1
ore     | main(): Initialized 2 network devices.
ore     | Device =   lo, IRQ =  0, MAC = 00:00:00:00:00:00
ore     | Device = eth0, IRQ = 11, MAC = 52:54:00:12:34:56
ore     | main(): Registering 'ORe' at names...
ore     | main(): Ready for service.
httpserv| ore_lookup_server(): ORe server ORe = C.02
httpserv| ore_do_open(): called
ore     | __init_mac(): MAC =  04:EA:43:01:96:09
httpserv| ore_do_open(): opened. worker = C.08
httpserv| oredev_init(): MAC =  04:EA:43:01:96:09
httpserv| http_init(): Setting my IP address to 127.0.0.1
httpserv| main(): HTTP server is up and accepting...
con     | VBE mode 0x117 successfully set.
con     | VESA reports 1024x768@16 2048bpl (00bb) [4096kB]
con     | Color mapping: red=11:5 green=5:6 blue=0:5 res=0:0
con     | No supported accelerated graphics card detected
con     | Mapped I/O video mem  f0000000 => 00400000 [4096kB] via l4io
con     | Using MMXEXT for colorspace transform
con     | L4INPUT native mode activated
con     | L4INPUT:                !!! W A R N I N G !!!
con     | L4INPUT:  Please, do not use Fiasco's "-esc" with L4INPUT.
con     | L4INPUT:                !!! W A R N I N G !!!
con     | L4INPUT: Registered 0xb03d90 for callbacks.
ROOT: Sending ports 0060-006f to task #07
con     | Failed to disable AUX port, but continuing anyway... Is this a SiS?
con     | If AUX port is really absent please use the 'i8042.noaux' option.
con     | serio: i8042 KBD port at 0x60,0x64 irq 1
con     | input: AT Raw 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 "AT Raw Set 2 keyboard", isa0060/serio0/input0
con     | connect "PC Speaker", isa0061/input0
con     | connect "L4 input event injector", l4/sys
con     | Running as E.02. Video mode is 1024x768@16.
loader  | vmlinuz: Starting application using libld-l4.s.so
loader  | vmlinuz,#11: Loading binary
loader  | vmlinuz,#11: Loading ldso
loader  | vmlinuz,#11: Starting libld-l4.s.so at 000138b0 via 0000cf04
l4lx    | ======> L4Linux 2.6 starting... <========
l4lx    | Linux version 2.6.23-l4 (licy@licy) (gcc version 4.1.3 20070929 (prer
l4lx    : elease) (Ubuntu 4.1.2-16ubuntu2)) #2 Mon Aug 25 17:42:16 CST 2008
l4lx    | Binary name: vmlinuz
l4lx    | Kernel command line (6 args): mem=64M load_ramdisk=1 ramdisk_size=163
l4lx    : 84 root=/dev/ram l4env_rd=drops-rd.rd l4ORe.instances=OReInst1:eth0,O
l4lx    : ReInst2:lo,OReInst3:eth1
l4lx    | Image: 00400000 - 0076b000 [3500 KiB].
l4lx    | Areas: Text:     00400000 - 0067a000 [2536kB] (a bit longer)
l4lx    |        Data:     0067a000 - 0069607c [112kB]
l4lx    |        Initdata: 0069a000 - 006c9000 [188kB]
l4lx    |        BSS:      006ca000 - 00768fc0 [635kB]
l4lx    | l4lx_thread_create: Created thread 11.03 (tamer0)
l4lx    | Tamer0 is 11.03
l4lx    | Using tamed mode.
l4lx    | Connecting to l4io server.
l4lx    | l4env_linux_startup thread 4.
l4lx    | l4lx_thread_create: Created thread 11.04 (cpu0)
l4lx    | main thread will be 11.04
l4lx    | l4env_register_pointer_section: addr = 00698000 size = 864256
l4lx    |      sec-w-init: virt: 0x00698000 to 0x0076afff [844 KiB]
l4lx    | Noncontiguous region for sec-w-init
l4lx    |      sec-w-init: Number of physical regions: 2, 864256 Bytes
l4lx    |      sec-w-init: 1: Phys: 0x01419000 to 0x01436000, Size:   118784
l4lx    |      sec-w-init: 2: Phys: 0x0134a000 to 0x01400000, Size:   745472
l4lx    | main thread: received startup message.
l4lx    | Main thread running, waiting...
l4lx    | setup_l4env_memory: Forcing superpages for main memory
l4lx    | Main memory size: 64MB
l4lx    | Got 2048kB of ISA DMA memory.
l4lx    |  ISA DMA memory: virt: 0x00800000 to 0x009fffff [2048 KiB]
l4lx    |  ISA DMA memory: Number of physical regions: 1, 2097152 Bytes
l4lx    |  ISA DMA memory: 1: Phys: 0x0043a000 to 0x0063a000, Size:  2097152
l4lx    |     Main memory: virt: 0x00c00000 to 0x04bfffff [65536 KiB]
l4lx    |     Main memory: Number of physical regions: 1, 67108864 Bytes
l4lx    |     Main memory: 1: Phys: 0x04000000 to 0x08000000, Size: 67108864
l4lx    | Filling lower ptabs...
l4lx    | Done (1649 entries).
l4lx    | l4env_register_pointer_section: addr = 00698000 size = 864256
l4lx    |             end: virt: 0x00698000 to 0x0076afff [844 KiB]
l4lx    | Noncontiguous region for end
l4lx    |             end: Number of physical regions: 2, 864256 Bytes
l4lx    |             end: 1: Phys: 0x01419000 to 0x01436000, Size:   118784
l4lx    |             end: 2: Phys: 0x0134a000 to 0x01400000, Size:   745472
l4lx    | l4env_rd_path: drops-rd.rd
l4lx    | Loading: drops-rd.rd
l4lx    | INITRD: Size of RAMdisk is 16384KiB
l4lx    | RAMdisk from 04c00000 to 05c00000 [16384KiB]
l4lx    | l4lx_thread_create: Created thread 11.05 (timer.i0)
l4lx    | Jumping over 4x 'hlt' at 0x6a37e0
l4lx    | idler0: utcb=0xbff00400 11.04
l4lx    | l4lx_thread_create: Created thread 11.06 (idler0)
l4lx    | Starting L4FB via CON
con     | vc_loop(): vc[1] running as E.07
l4lx    | l4lx_thread_create: Created thread 11.07 (L4ConInput)
con     | vc[1] 1024x768@16, bpl:2048, gmode:0x35, evprt:11.07 save:0
l4lx    | l4fb:con: 1024x750@16 2bypp, size: 1540096
l4lx    | l4fb:con 5:6:5 11:5:0 linelen=2048 visual=2
con     | Mapped client FB to 00800000 size 00178000
l4lx    | l4lx_thread_create: Created thread 11.08 (CON refresher)
l4lx    | Creating 1 ORe device(s).
l4lx    | Opening device eth0 at ORe instance ORe
l4lx    | l4ore_open(): called
l4lx    | l4ore_open(): descriptor: 0
l4lx    | ore_lookup_server(): ORe server ORe = C.02
l4lx    | ore_do_open(): called
ore     | __init_mac(): Allocating physical MAC address to client.
ore     | __init_mac(): MAC =  52:54:00:12:34:56
l4lx    | ore_do_open(): opened. worker = C.09
l4lx    | l4lx_irq_dev_startup_hw: Starting IRQ thread for IRQ 15.
l4lx    | l4lx_thread_create: Created thread 11.09 (IRQ15)
l4lx    | l4x_ore_irq_startup
l4lx    | l4lx_thread_create: Created thread 11.0a (L4OreRcv)
l4lx    | l4x_ore_irq_startup
l4lx    | l4lx_thread_create: Created thread 11.0a (L4OreRcv)


All the things are here and the error output is at the bottom of the logout when the qemu is of no response.