headers
Christian Helmuth | 8 Aug 13:10
Favicon
Gravatar

Genode Operating System Framework

The initial version of the Genode OS Framework is available for
download from http://genode.org/download/latest-release.

Genode is an operating-system architecture, which addresses the root
of the complexity problem, which is the lack of organization and
overly permissive security policies. By applying a strict
organizational structure to all system components including classical
operating-system services, Genode is able to dramatically reduce the
critical system complexity. The targeted application domains include
high-security computing, dependable systems, automotive applications,
and mobile devices. Even though we mainly address specialized
applications in the mid-term, we believe that the implemented
mechanisms scale well towards the needs of a general-purpose operating
system.

The Genode OS Framework (http://genode.org) is the reference
implementation of the architecture and developed as an open-source
community effort coordinated by the original creators of the project.
Genode is an offspring of the L4 community. Until spring 2008, it was
conducted internally within the TU Dresden OS research group. The
foundation of Genode Labs by the original creators of Genode marks the
transition of Genode to a community project. At present, the
implementation is not complete but it is a solid starting point for a
community effort.

The initial version contains all base components, services, and device
drivers to execute a provided interactive demonstration scenario on
both Linux via libSDL and bare PC hardware via the L4/Fiasco
microkernel and our custom device drivers.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Christian Helmuth | 8 Aug 12:44
Favicon
Gravatar

Genode Operating System Framework

The initial version of the Genode OS Framework is available for
download from http://genode.org/download/latest-release.

Genode is an operating-system architecture, which addresses the root
of the complexity problem, which is the lack of organization and
overly permissive security policies. By applying a strict
organizational structure to all system components including classical
operating-system services, Genode is able to dramatically reduce the
critical system complexity. The targeted application domains include
high-security computing, dependable systems, automotive applications,
and mobile devices. Even though we mainly address specialized
applications in the mid-term, we believe that the implemented
mechanisms scale well towards the needs of a general-purpose operating
system.

The Genode OS Framework (http://genode.org) is the reference
implementation of the architecture and developed as an open-source
community effort coordinated by the original creators of the project.
Genode is an offspring of the L4 community. Until spring 2008, it was
conducted internally within the TU Dresden OS research group. The
foundation of Genode Labs by the original creators of Genode marks the
transition of Genode to a community project. At present, the
implementation is not complete but it is a solid starting point for a
community effort.

The initial version contains all base components, services, and device
drivers to execute a provided interactive demonstration scenario on
both Linux via libSDL and bare PC hardware via the L4/Fiasco
microkernel and our custom device drivers.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Steffen Schulz | 10 Aug 04:11
Picon

Fiasco on Intel Macbooks?

Hi all,

Did anyone manage to start the Fiasco kernel on the Intel MacBooks?

I have a MacBook Pro and get an error about the memory region beeing
used by a BIOS.

The reason is probably the BIOS emulation:

For booting legacy BIOS-based operating systems, Apple takes a
completely non-standard approach. The CSM (compatibility support
module) is not loaded at all by default. When the decision is made to
boot a BIOS-based operating system, a special EFI application is loaded
from the firmware ROM to kick off the BIOS boot process. When the user
chooses Windows as the default operating system in the “Startup Disk”
pane, the NVRAM variables are actually set to point at this special
loader, plus a parameter that tells it which device to boot from. 
	- http://refit.sourceforge.net/info/boot_process.html

If that is an unknown problem, maybe there's some memory offset
somewhere that I can try to adjust?

thanks,
Steffen

_______________________________________________
l4-hackers mailing list
l4-hackers <at> os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
(Continue reading)

Permalink | Reply | 1 comment |
headers
Michael Roitzsch | 10 Aug 10:17
Picon
Favicon

Re: Fiasco on Intel Macbooks?

Hi Steffen,

> Did anyone manage to start the Fiasco kernel on the Intel MacBooks?

Yes, it's running fine on mine.

> I have a MacBook Pro and get an error about the memory region beeing
> used by a BIOS.

I know this error. I'm currently on vacation, but I'll get back to you  
with more details once I return. It would be nice to get some more  
testing for my patches.

Michael
Permalink | Reply | 0 comments |
headers
Derek Peschel | 22 Aug 18:45
Favicon

Building self-debuggable system on L4?

Someone in Russia was working on a source-level debugger for L4,
I noticed, but I didn't see much else in the list archives relating
to my question.  (I searched for "[Dd]ebug" in the subject lines.)

Has anyone investigated L4 as a foundation for interactive application
and OS debugging?  On UNIX (which I am most familiar with) program
debugging is easy enough but kernel debugging is very disruptive.
It would be interesting to see a system allowing most of itself to be
changed while, in some sense e.g. for other tasks, it continues to run.
Is L4 suited to building a system like that?  What if portability was
also a goal?

L4 has jdb/kdb, but they stop the microkernel as I recall.  However,
that may not be a problem in my case.  Ideally L4 would be small enough,
and bug-free, so that my hypothetical new OS would never need to affect
L4 proper.

-- Derek
Permalink | Reply | 0 comments |
headers
fei li | 27 Aug 06:21
Picon

ORe communication problems

Hi, all:

   These days I tried to boot ORe in my machine and start the l4linux at the same time, my menu.lst is:
  
   title ORe

   kernel /bootstrap -serial -modaddr 0x2000000
   module /fiasco -serial_esc -comport 1  
   module /sigma0
   module /roottask task modname "bmodfs" attached 5 modules
   module /names
   module /log
   module /l4io
   module /events
   module /dm_phys  --isa=0x00800000 -v --events
   module /simple_ts
   module /rtc
   module /ore
   module /mini_http_uip
   module /con --vbemode 0x11
   module /loader --fprov=BMODFS l4linux.cfg
   module /bmodfs
   module /vmlinuz
   module /l4linux.cfg
   module /libloader.s.so
   module /libld-l4.s.so
   module /drops-rd.rd

In qemu I can start the l4linux correctly. I set the ip address and it can access the internet, then in another qemu I started a second l4linux, but when I finished setting the ip addr, the previous one suspend accidently,

ore     | L4RM: [PF] read at 0x0000b014, ip 01802401, src C.04
ore     | [C.0] l4rm/lib/src/pagefault.c:81:__unknown_pf():
ore     |  unhandled page fault

    --PANIC, 'g' for exit------------------------------------IP: 018267a5     
[ore.rm] (c.00) jdb: t

maybe this is helpless, but it told me that the l4linux is down, how can I start two l4linux with ORe modules installed and they can communicate with each other, I added "ORe instances" in the kernel command line, but it is helpless. I wish your help and thanks a lot.
_______________________________________________
l4-hackers mailing list
l4-hackers <at> os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
Permalink | Reply | 3 comments |
headers
Björn Döbel | 27 Aug 09:05
Picon
Favicon

Re: ORe communication problems


Hi,

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

Many questions... ;)

* Does this error _always_ occur?

* What do you mean by "it told me that the l4linux is down"?

* Do I understand correctly, that you run the 2 L4Linuxes in 2 different
instances of Qemu? If so, communication between these instances does not
need any special ORe configuration, because this is just like having to
real computers with Linux running in a network and you should be able to
 one machine from the other e.g. by using SSH.

* Can you please post
  * Your L4Linux configuration
  * Your L4Linux loader script (l4linux.cfg)
  * The Qemu command line used to start your setup
  * The _full_ log output

Kind regards,
Bjoern
Permalink | Reply | 2 comments |
headers
fei li | 27 Aug 09:49
Picon

Re: ORe communication problems

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 <at> 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 <at> 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 <at> 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 <at> 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 <at> 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 <at> 16, bpl:2048, gmode:0x35, evprt:11.07 save:0
l4lx    | l4fb:con: 1024x750 <at> 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. 
_______________________________________________
l4-hackers mailing list
l4-hackers <at> os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
Permalink | Reply | 1 comment |
headers
Hendrik Tews | 29 Aug 10:19
Picon
Favicon

2nd CFP: JAR Special Issue on OS Verification


[apologies for crossposting, here is a CFP that might be
 interesting for those that are into formal methods -- Hendrik]

                             2nd Call for Papers

                Special Issue On Operating Systems Verification

                        Journal of Automated Reasoning

Industrial-strength software analysis and verification has advanced in recent
years through the introduction of model checking, automated and interactive
theorem proving, static analysis techniques, as well as correctness by
design. However, many techniques are working under restrictive assumptions
which are invalidated by complex (embedded) system software such as operating
system kernels, low-level device drivers or microcontroller code.

This special issue will be devoted to the formal verification of operating
systems and similar low-level systems code. The emphasis is on techniques and
methods that provide real solutions to real software problems. A real
solution is one that is applicable to the problem in industry and not one
that only applies to an abstract, academic toy version of it. Submissions are
encouraged, but not limited to, the following topics and their application to
operating systems or low-level systems code:

     * model checking
     * automated and interactive theorem proving
     * embedded systems development
     * programming languages
     * verifying compilers
     * software certification

Manuscripts should be unpublished works and not submitted elsewhere. Revised
and enhanced versions of papers published in conference proceedings that have
not appeared in archival journals are eligible for submission. All
submissions will be reviewed according to the usual standards of scholarship
and originality.

Papers should be in pdf format, following the JAR guidelines for authors, and
be submitted via EasyChair at:
             http://www.easychair.org/conferences/?conf=jarosv08

Please do not use the Springer online submission system for the special issue
at this stage, but EasyChair instead. To encourage a speedy review cycle, it
will be expected that authors of submissions also serve as referees.

For more information, please see
                 http://www.cse.unsw.edu.au/~kleing/JAR-OSV-08/

Guest Editors
Gerwin Klein, NICTA, Australia, gerwin.klein at nicta.com.au
Ralf Huuck, NICTA, Australia, ralf.huuck at nicta.com.au
Bastian Schlich, RWTH Aachen, Germany, schlich at cs.rwth-aachen.de

Important Dates
Sep 15 2008    Submission Deadline
Dec 15 2008    Notification of accepted papers
Jan 15 2009    Final version
Permalink | Reply | 0 comments |
headers
Björn Döbel | 29 Aug 11:11
Picon
Favicon

Re: ORe communication problems


Hello,

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

Can you please tell me, what exactly are you doing in order to set up
the IP addresses?

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

I'm trying to understand your test setup in order to repeat your steps
here. What are you doing on your host machine and in the L4Linux
instances? What kind of network communication are you doing?

>    4> Ok, I'll post all the things

Are you sure your L4Linux configuration is the right one? In the one you
sent, CONFIG_INET is turned off and when I build an L4Linux kernel with
it, I'm not able to setup any IP address.

> 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

You can leave out the l4ore.instances kernel parameters as you don't
need this feature in your setup.

> 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 <at> 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 <at> 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 <at> 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 <at> 16, bpl:2048, gmode:0x35, evprt:11.07 save:0
> l4lx    | l4fb:con: 1024x750 <at> 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)

The output looks good so far.

> Another question is you know there several binaries in disk/ which are in
> relation with ore, as ore_test, ore_send and something like that, but I
> don't know how to start them, I can't get more info from README,  can you
> give some advice, please?

You can safely ignore the ore_test, ore_send and mini_http_uip examples
for your setup.

Bjoern
Permalink | Reply | 0 comments |

Gmane