- l4-hackers - example.com Site

DROPS USB
by mcs082803＠cse.iitd.ernet.in 22 Mar '09

22 Mar '09

Hi List Is the current implementation of DROPS USB infrastructure updated to the work of Dirk Vogt? (USB for the L4 Environment) I need to get USB Stack working so I need to know this. Regards, Ashish

2 1

DEFAULT_RELOC and roottask
by Alexander Valitov 19 Mar '09

19 Mar '09

Hi, I try to run l4con examples with grub script given in ./l4/pkg/l4con/doc/menu.lst (slightly modified/updated). The menu.lst starts con_demo1, con_demo2 and con_demo3. Boot process gives me this error: #0d: loading "/boot/test/con_demo1" from [026ce000-0277262c] to [00800000-008250b5][00826000-0083d000] entry at 00068370 via trampoline page code symbols at [3a30e000-3a313000] (20kB), lines at [3a2fd000-3a30e000] (68kB) #0e: loading "/boot/test/con_demo2" from [02773000-02804e08] to [00800000-00815d11] Roottask: cannot load binary because address at 00800000 not free loaded module: [02773000-02804e08) /boot/test/con_demo2 overlaps with: [00800000-00826000) #0d con_demo1 I found that Makefile specifies DEFAULT_RELOC_x86 variable as: DEFAULT_RELOC_x86 = 0x00800000 As a result -Ttext=0x800000 option is added to 'ld' invocation options. I thought that is the root of problem and commented variable, but It didn't help. Build system started to use default DEFAULT_RELOC value 0x01000000 from ./l4/mk/binary.inc and roottask gives the same error with new 0x01000000 address. 1. I thought that DEFAULT_RELOC specifies virtual address not a physical one. Am I right? 2. If answer to my first question is 'yes'. Why in this case roottask relocates a code? It is strange as roottask operates with physical memory addresses. 3. When am I supposed to specify DEFAULT_RELOC variable? In which situation? 4. Why do we need the relocation performed by root task at all? Why can't we just use appropriate mapping to addresses where GRUB loaded ELF modules? Each server starts in its own virtual address space, so I think it's possible. Why was it done that way? What is the problem with described approach (without relocation)? 5. I've been playing around with L4Env,L4Linux and stuff for a while but have never faced with mentioned problem. Are there anything special about the way how con_demo1,2,3 are built? I mean Root task relocates another modules to the next free 4K aligned address but con_demo1,2,3 modules to some exact address. Why does it happened? 6. There is ./l4/pkg/l4con/examples/Makeconf file with link addresses specification. But according to "Building Infrastructure for DROPS (BID) Specification" only Makeconf.local file is included into generated Makefile from project directories. Why is it where? Best Regards, Alexander Valitov -- View this message in context: http://www.nabble.com/DEFAULT_RELOC-and-roottask-tp22556702p22556702.html Sent from the L4 mailing list archive at Nabble.com.

2 3

Build DROPS on 64bit Host for 32bit Target
by Alexander Valitov 19 Mar '09

19 Mar '09

Hi, Is it possible to build DROPS on 64bit HOST OS for 32bit TARGET (architecture there Fiasco will be executed) if corresponding cross-compiler is already available? I tried but it looks like DICE ignores TARGET architecture and generates IPC code for HOST architecture (64 bit). It seems that there are no problems with Fiasco, L4Env and L4Linux. Best Regards, Alexander Valitov -- View this message in context: http://www.nabble.com/Build-DROPS-on-64bit-Host-for-32bit-Target-tp22563295… Sent from the L4 mailing list archive at Nabble.com.

2 3

Patch for DICE that fix issue with AMD64 host
by Alexander Valitov 19 Mar '09

19 Mar '09

Hi, I would like to submit path that fix problem when you use DICE to produce code for i32 on 64bit OS. Please see this thread for details: http://www.nabble.com/Build-DROPS-on-64bit-Host-for-32bit-Target-td22563295… The root of problem was that DICE determines some data type's size as sizeof(type). This is obviously wrong if DICE is a 64bit application and a code is generated for 32bit system. I would like to thank Roman I Khimov for spending his time for locating the issue and kindly providing us with the following patch. Patch is attached to the letter and repeated in the message text below. Signed-off-by: Roman I Khimov, Altell Ltd. (http://www.altell-ltd.com/) By signing my contribution to the TUD:OS project, I certify/agree that: (a) The contribution may be distributed under the same licenses as the TUD:OS project, as detailed in the COPYRIGHT file (called the file from here on). (b) The contribution was created in whole or in part by me and I have the right to submit it under the open source licenses indicated in the file; or (c) The contribution is based upon previous work that, to the best of my knowledge, is covered under an appropriate open source license and I have the right under that license to submit that work with modifications, whether created in whole or in part by me, under the same open source licenses (unless I am permitted to submit under a different license), as indicated in the file; or (d) The contribution was provided directly to me by some other person who certified (a) and (b), (c) or (d) and I have not modified it. (e) In the case of each of (a) and (b), (c) or (d), I understand and agree that this project and the contribution are public and that a record of the contribution (including all personal information I submit with it, including my sign-off) is maintained indefinitely and may be redistributed consistent with this project or the open source license indicated in the file. Index: dice/src/be/l4/fiasco/Makefile.am =================================================================== --- dice.orig/src/be/l4/fiasco/Makefile.am 2009-03-10 15:26:43.000000000 +0300 +++ dice/src/be/l4/fiasco/Makefile.am 2009-03-19 09:31:47.669561915 +0300 @@ -1,6 +1,6 @@ ## Process this file with automake to produce Makefile.in -SUBDIRS = amd64 +SUBDIRS = amd64 ia32 noinst_LIBRARIES = libfiasco.a Index: dice/src/be/l4/fiasco/ia32/L4FiascoIA32ClassFactory.cpp =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++ dice/src/be/l4/fiasco/ia32/L4FiascoIA32ClassFactory.cpp 2009-03-19 09:31:47.669561915 +0300 @@ -0,0 +1,49 @@ +/** + * \file dice/src/be/l4/fiasco/ia32/L4FiascoIA32ClassFactory.cpp + * \brief contains the implementation of the class CL4FiascoIA32BEClassFactory + * + * \date 03/19/2009 + * \author Roman Khimov <khimov(a)altell.ru> + */ +/* + * Copyright (C) 2009 + * Dresden University of Technology, Operating Systems Research Group + * + * This file contains free software, you can redistribute it and/or modify + * it under the terms of the GNU General Public License, Version 2 as + * published by the Free Software Foundation (see the file COPYING). + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. + * + * For different licensing schemes please contact + * <contact(a)os.inf.tu-dresden.de>. + */ + +#include "L4FiascoIA32ClassFactory.h" +#include "L4FiascoIA32Sizes.h" +#include "Compiler.h" + +CL4FiascoIA32BEClassFactory::CL4FiascoIA32BEClassFactory() +: CL4FiascoBEClassFactory() +{ } + +/** \brief the destructor of this class */ +CL4FiascoIA32BEClassFactory::~CL4FiascoIA32BEClassFactory() +{ } + +/** \brief creates a new sizes class + * \return a reference to the new sizes object + */ +CBESizes * CL4FiascoIA32BEClassFactory::GetNewSizes() +{ + CCompiler::Verbose("CL4FiascoIA32BEClassFactory: created class CL4FiascoBESizes\n"); + return new CL4FiascoIA32BESizes(); +} + Index: dice/src/be/l4/fiasco/ia32/L4FiascoIA32ClassFactory.h =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++ dice/src/be/l4/fiasco/ia32/L4FiascoIA32ClassFactory.h 2009-03-19 09:31:47.670561788 +0300 @@ -0,0 +1,56 @@ +/** + * \file dice/src/be/l4/fiasco/ia32/L4FiascoIA32ClassFactory.h + * \brief contains the declaration of the class CL4FiascoIA32BEClassFactory + * + * \date 03/19/2009 + * \author Roman Khimov <khimov(a)altell.ru> + */ +/* + * Copyright (C) 2009 + * Dresden University of Technology, Operating Systems Research Group + * + * This file contains free software, you can redistribute it and/or modify + * it under the terms of the GNU General Public License, Version 2 as + * published by the Free Software Foundation (see the file COPYING). + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. + * + * For different licensing schemes please contact + * <contact(a)os.inf.tu-dresden.de>. + */ + +/** preprocessing symbol to check header file */ +#ifndef __DICE_L4FIASCOIA32CLASSFACTORY_H__ +#define __DICE_L4FIASCOIA32CLASSFACTORY_H__ + +#include "be/l4/fiasco/L4FiascoBEClassFactory.h" + +/** \class CL4FiascoIA32BEClassFactory + * \ingroup backend + * \brief the class factory for the back-end classes + * + * We use seperate functions for each class, because the alternative is to use + * some sort of identifier to find out which class to generate. This involves + * writing a big switch statement. + */ +class CL4FiascoIA32BEClassFactory : public CL4FiascoBEClassFactory +{ +// Constructor +public: + /** \brief constructor + */ + CL4FiascoIA32BEClassFactory(); + virtual ~CL4FiascoIA32BEClassFactory(); + +public: + virtual CBESizes * GetNewSizes(); +}; + +#endif // !__DICE_L4FIASCOIA32CLASSFACTORY_H__ Index: dice/src/be/l4/fiasco/ia32/L4FiascoIA32Sizes.cpp =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++ dice/src/be/l4/fiasco/ia32/L4FiascoIA32Sizes.cpp 2009-03-19 13:05:32.104520424 +0300 @@ -0,0 +1,58 @@ +/** + * \file dice/src/be/l4/fiasco/ia32/L4FiascoIA32Sizes.cpp + * \brief contains the implementation of the class CL4FiascoIA32BESizes + * + * \date 03/19/2009 + * \author Roman Khimov <khimov(a)altell.ru> + */ +/* + * Copyright (C) 2009 + * Dresden University of Technology, Operating Systems Research Group + * + * This file contains free software, you can redistribute it and/or modify + * it under the terms of the GNU General Public License, Version 2 as + * published by the Free Software Foundation (see the file COPYING). + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. + * + * For different licensing schemes please contact + * <contact(a)os.inf.tu-dresden.de>. + */ + +#include "L4FiascoIA32Sizes.h" +#include "TypeSpec-Type.h" + +CL4FiascoIA32BESizes::CL4FiascoIA32BESizes() +{ } + +/** \brief destroys object of this class */ +CL4FiascoIA32BESizes::~CL4FiascoIA32BESizes() +{ } + +/** \brief gets the size of a type + * \param nFEType the type to look up + * \param nFESize the size in the front-end + * \return the size of the type in bytes + */ +int CL4FiascoIA32BESizes::GetSizeOfType(int nFEType, int nFESize) +{ + int nSize = 0; + switch (nFEType) + { + case TYPE_MWORD: + nSize = 4; + break; + default: + nSize = CL4FiascoBESizes::GetSizeOfType(nFEType, nFESize); + break; + } + return nSize; +} + Index: dice/src/be/l4/fiasco/ia32/L4FiascoIA32Sizes.h =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++ dice/src/be/l4/fiasco/ia32/L4FiascoIA32Sizes.h 2009-03-19 09:31:47.671562080 +0300 @@ -0,0 +1,51 @@ +/** + * \file dice/src/be/l4/fiasco/ia32/L4FiascoIA32Sizes.h + * \brief contains the declaration of the class CL4FiascoIA32BESizes + * + * \date 03/19/2009 + * \author Roman Khimov <khimov(a)altell.ru> + */ +/* + * Copyright (C) 2009 + * Dresden University of Technology, Operating Systems Research Group + * + * This file contains free software, you can redistribute it and/or modify + * it under the terms of the GNU General Public License, Version 2 as + * published by the Free Software Foundation (see the file COPYING). + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. + * + * For different licensing schemes please contact + * <contact(a)os.inf.tu-dresden.de>. + */ + +/** preprocessing symbol to check header file */ + +#ifndef __DICE_L4FIASCOIA32SIZES_H__ +#define __DICE_L4FIASCOIA32SIZES_H__ + +#include <be/l4/fiasco/L4FiascoBESizes.h> + +/** \class CL4FiascoIA32BESizes + * \ingroup backend + * \brief contains the L4 version 2 specific sizes for IA32 + */ +class CL4FiascoIA32BESizes : public CL4FiascoBESizes +{ +public: + /** constructs a new object of this class */ + CL4FiascoIA32BESizes(); + virtual ~CL4FiascoIA32BESizes(); + +public: // Public methods + virtual int GetSizeOfType(int nFEType, int nFESize = 0); +}; + +#endif Index: dice/src/be/l4/fiasco/ia32/Makefile.am =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++ dice/src/be/l4/fiasco/ia32/Makefile.am 2009-03-19 13:10:43.300270769 +0300 @@ -0,0 +1,9 @@ +## Process this file with automake to produce Makefile.in + +noinst_LIBRARIES = libfiascoia32.a + +libfiascoia32_a_SOURCES = L4FiascoIA32ClassFactory.cpp L4FiascoIA32Sizes.cpp + +noinst_HEADERS = L4FiascoIA32ClassFactory.h L4FiascoIA32Sizes.h + +AM_CXXFLAGS = @DICE_CXXFLAGS@ Index: dice/configure.in =================================================================== --- dice.orig/configure.in 2009-03-10 15:26:55.000000000 +0300 +++ dice/configure.in 2009-03-19 09:31:47.672561882 +0300 @@ -172,6 +172,7 @@ src/be/l4/v4/ia32/Makefile src/be/l4/fiasco/Makefile src/be/l4/fiasco/amd64/Makefile +src/be/l4/fiasco/ia32/Makefile src/be/sock/Makefile include/Makefile include/dice/Makefile Index: dice/src/Makefile.am =================================================================== --- dice.orig/src/Makefile.am 2009-03-10 15:26:50.000000000 +0300 +++ dice/src/Makefile.am 2009-03-19 09:31:47.672561882 +0300 @@ -10,6 +10,7 @@ $(top_builddir)/src/be/l4/v4/ia32/libv4ia32.a \ $(top_builddir)/src/be/l4/fiasco/libfiasco.a \ $(top_builddir)/src/be/l4/fiasco/amd64/libfiascoamd64.a \ + $(top_builddir)/src/be/l4/fiasco/ia32/libfiascoia32.a \ $(top_builddir)/src/be/sock/libsock.a \ $(top_builddir)/src/be/libbe.a \ $(top_builddir)/src/fe/libfe.a \ @@ -33,6 +34,7 @@ -L$(top_builddir)/src/be/l4/v4/ia32 -lv4ia32 \ -L$(top_builddir)/src/be/l4/fiasco -lfiasco \ -L$(top_builddir)/src/be/l4/fiasco/amd64 -lfiascoamd64 \ + -L$(top_builddir)/src/be/l4/fiasco/ia32 -lfiascoia32 \ -L$(top_builddir)/src/be/l4 -ll4 \ -L$(top_builddir)/src/be/sock -lsock \ -L$(top_builddir)/src/be -lbe \ Index: dice/src/FactoryFactory.cpp =================================================================== --- dice.orig/src/FactoryFactory.cpp 2009-03-10 15:26:50.000000000 +0300 +++ dice/src/FactoryFactory.cpp 2009-03-19 13:11:53.111290914 +0300 @@ -44,6 +44,8 @@ // L4.Fiasco AMD64 #include "be/l4/fiasco/amd64/L4FiascoAMD64ClassFactory.h" #include "be/l4/fiasco/amd64/L4FiascoAMD64NameFactory.h" +// L4.Fiasco IA32 +#include "be/l4/fiasco/ia32/L4FiascoIA32ClassFactory.h" // L4V4 #include "be/l4/v4/L4V4BEClassFactory.h" #include "be/l4/v4/ia32/L4V4IA32ClassFactory.h" @@ -79,6 +81,8 @@ { if (CCompiler::IsBackEndPlatformSet(PROGRAM_BE_AMD64)) pCF = new CL4FiascoAMD64BEClassFactory(); + else if (CCompiler::IsBackEndPlatformSet(PROGRAM_BE_IA32)) + pCF = new CL4FiascoIA32BEClassFactory(); else pCF = new CL4FiascoBEClassFactory(); } Best Regards, Alexander Valitov on behalf of Roman I Khimov http://www.nabble.com/file/p22599858/dice-l4-fiasco-ia32-sizes.patch dice-l4-fiasco-ia32-sizes.patch -- View this message in context: http://www.nabble.com/Patch-for-DICE-that-fix-issue-with-AMD64-host-tp22599… Sent from the L4 mailing list archive at Nabble.com.

1 0

Problem with Fiasco under QEMU
by Alexander Valitov 18 Mar '09

18 Mar '09

Hi, I've encountered problems under QEMU. Problems occur in many different configs but this is the simplest way to reproduce: Build Fiasco with default config, only "Handle and preserve segments" shall be turned on. Configure ORe for RTL-8139 NIC only and build L4Env. Build L4Linux with x86-ux_defconfig, only "ORe stub driver" shall be turned on. Boot with following QEMU command: qemu /dev/sdb -no-kqemu -serial telnet:localhost:5555,server NOTES: 1. I use USB flash stick but image file could be used as well with the same result. 2. You may pass option -net nic,model=rtl8139 but result will be the same Error log (in second case uKernel crashes): If you don't load ORe module you should see: l4lx | setup_l4env_memory: Forcing superpages for main memory DMphys | [9.0] dm_phys/server/src/open.c:98:__create_ds(): DMphys | DMphys: memory allocation size 65536KB pool 0 failed! l4lx | [F.4] dm_mem/lib/clientlib/src/open.c:80:l4dm_mem_open(): l4lx | libdm_mem: open dataspace at 9.00 failed (ret -2, exc 0) l4lx | setup_l4env_memory: Can't get main memory of 64MB: out of memory(-2)! l4lx | Main thread running, waiting... DMphys | DMphys memory pools: ... <CUT: Here is long output from DMphys> ... DMphys | total size 00486000 (4632kB, 5MB) l4lx | Terminating L4Linux. If you do load ORe module you should see: l4lx | Using tamed mode. ROOT: Task #0f is not allowed to execute cli/sti loader | vmlinuz,#10: WARNING: Can't map I/O space, ROOT denies page (result=0 loader : 0004000) loader | vmlinuz,#10: Not allowed to perform any I/O l4lx | Got 0 out of 65536 I/O ports DOUBLE FAULT! EAX=c02c07d0 ESI=c02c0000 DS=0023 EBX=c0401000 EDI=00000000 ES=0023 ECX=07e77000 EBP=c02c06c8 GS=0043 EDX=00000000 ESP=c04017cc SS=0010 ESP0=c02c0800 EFL=00200083 EIP=f002f4c6 CS=0008 Return reboots, "k" tries to enter the L4 kernel debugger... GRUB script: title TEST L4LinuxUX + ORE kernel /boot/test/bootstrap modaddr 0x02000000 module /boot/test/main -nokdb -serial_esc -comspeed 115200 -comport 1 module /boot/test/sigma0 module /boot/test/roottask task modname "loader" allow_cli task modname "bmodfs" attached 5 modules module /boot/test/names module /boot/test/log module /boot/test/l4io module /boot/test/events module /boot/test/dm_phys --isa=0x00800000 -v --events module /boot/test/simple_ts -t 300 module /boot/test/rtc module /boot/test/ore module /boot/test/l4con module /boot/test/bmodfs module /boot/test/l4linux.cfg module /boot/test/libloader.s.so module /boot/test/libld-l4.s.so module /boot/test/vmlinuz module /boot/L4Linux/drops.rd module /boot/test/loader --fprov=BMODFS l4linux.cfg vbeset 0x117 l4linux.cfg: task "vmlinuz" "earlyprintk=yes mem=64M load_ramdisk=1 ramdisk_size=16384 root=/dev/ram l4env_rd=drops.rd" allow_vga all_sects_writable My toolchain: GCC (Debian 4.3.2-1.1) 4.3.2 GNU Binutils for Debian 2.18.0.20080103 QEMU version 0.9.1 Best Regards, Alexander Valitov -- View this message in context: http://www.nabble.com/Problem-with-Fiasco-under-QEMU-tp22558464p22558464.ht… Sent from the L4 mailing list archive at Nabble.com.

4 4

Need guide to run L4Linux + DOpE in Qemu
by Neohtm 13 Mar '09

13 Mar '09

I had successfully compile the L4Linux and i wish to test run it in Qemu. I had search through the mailing list and i find difficulty to look for it. Can i know what's the command to run it? Please advice...thanks. Regards, Neoh

2 1

build problem for Fiasco u-kernel.. urgent help needed
by mcs082016＠cse.iitd.ernet.in 13 Mar '09

13 Mar '09

Hi, I have tried to build Fiasco µ-Kernel using instructions found : http://os.inf.tu-dresden.de/fiasco/use.html I have downloaded whole repository using : $ svn co -N http://svn.tudos.org/repos/tudos/trunk tudos then i have run $cd l4 $make O=/my-user-build-dir config I have saved configuraion without changing anything. Then I have run make O=/my-user-build-dir But it gives me following error messages when building bootstrap : ... Generating bootstrap.ld cpp -P -DPLACE_MODULES_AT_MODADDR -DUSE_UCLIBC=y -DRAM_BASE=0x0 -DSYSTEM_x86_586 -DARCH_x86 -DCPUTYPE_586 -DL4API_ -DCONFIG_L4_CALL_SYSCALLS -DCONFIG_L4_ABS_SYSCALLS -I/usr/src/tudos/l4/pkg/bootstrap/server/src -I/usr/src/tudos/l4/pkg/bootstrap/server/src/ARCH-x86 -I/usr/src/tudos/l4/my-user-build-dir/pkg/bootstrap/idl/OBJ-x86- -I/usr/src/tudos/l4/my-user-build-dir/include/x86 -I/usr/src/tudos/l4/my-user-build-dir/include -I/usr/src/tudos/l4/../dice/include -I/home/drops/include/x86 -I/home/drops/include -nostdinc -I/usr/src/tudos/l4/my-user-build-dir/include/x86/uclibc -I/usr/src/tudos/l4/my-user-build-dir/include/uclibc -I/usr/src/tudos/l4/my-user-build-dir/include/uclibc++ -I/home/drops/include/x86/uclibc -I/home/drops/include/uclibc -I/home/drops/include/uclibc++ -I/usr/lib/gcc-lib/i486-linux-gnu/3.3.6/include -I/usr/lib/gcc-lib/i486-linux-gnu/3.3.6/include-fixed -DMODADDR=0x02000000 -DLINKADDR=0x002d0000 /usr/src/tudos/l4/pkg/bootstrap/server/src/ARCH-x86/bootstrap.ld.in bootstrap.ld; ==> Linking bootstrap LD_PRELOAD=/usr/src/tudos/l4/my-user-build-dir/tool/gendep/libgendep.so GENDEP_TARGET=bootstrap GENDEP_BINARY=ld GENDEP_BINARY_ALT1=ld ld -m elf_i386 -o bootstrap exec.o module.o patch.o crt0.o region.o startup.o init_kip_v2.o init_kip_v4.o libc_support+.o serial.o base_critical.o support_x86.o -Ttext=0x2d0000 --hash-style=sysv -L/usr/src/tudos/l4/my-user-build-dir/lib/x86_586 -L/usr/src/tudos/l4/my-user-build-dir/lib -L/home/drops/lib/x86_586 -L/home/drops/lib -Tbootstrap.ld -lcxx_base -lcxx_io -nostdlib -ll4util -luc_c /usr/lib/gcc-lib/i486-linux-gnu/3.3.6/libgcc.a -Ttext=0x2d0000 --warn-common ==> "bootstrap" built ==> Installing bootstrap to local build-tree install -d /usr/src/tudos/l4/my-user-build-dir/bin/x86_586/ install -m 755 bootstrap /usr/src/tudos/l4/my-user-build-dir/bin/x86_586/bootstrap ... Generating bootstrap.stripped objcopy -S bootstrap bootstrap.stripped BFD: bootstrap.stripped: section `.gnu.linkonce.r._ZTVN19_GLOBAL__N__Z4uartv18BootstrapIOBackendE' can't be allocated in segment 0 objcopy: bootstrap.stripped: Bad value BFD: bootstrap.stripped: section `.gnu.linkonce.r._ZTVN19_GLOBAL__N__Z4uartv18BootstrapIOBackendE' can't be allocated in segment 0 objcopy: bootstrap.stripped: Bad value make[5]: *** [bootstrap.stripped] Error 1 make[5]: Leaving directory `/usr/src/tudos/l4/my-user-build-dir/pkg/bootstrap/server/src/OBJ-x86_586' make[4]: *** [/usr/src/tudos/l4/my-user-build-dir/pkg/bootstrap/server/src/OBJ-x86_586] Error 2 make[4]: Leaving directory `/usr/src/tudos/l4/pkg/bootstrap/server/src' make[3]: *** [src] Error 2 make[3]: Leaving directory `/usr/src/tudos/l4/pkg/bootstrap/server' make[2]: *** [server] Error 2 make[2]: Leaving directory `/usr/src/tudos/l4/pkg/bootstrap' make[1]: *** [bootstrap.bin] Error 2 make[1]: Leaving directory `/usr/src/tudos/l4/pkg' make: *** [pkg] Error 2 root@sahyadri:/usr/src/tudos/l4# For your information i am using ubuntu , gcc 3.3.6 and binutils 2.18.1 Delete & Prev | Delete & Next Move to:

2 1

L4 Loader Problem: tftp server doesnt exist
by mcs082803＠cse.iitd.ernet.in 10 Mar '09

10 Mar '09

hi I am a student at IIT Delhi. In the doc of the loader, I was looking at the example that loads the hello program using the L4 loader, and it says that the menu.lst should be something like # menu.lst set ND = "(nd)/tftpboot/drops" set BIN_PATH = "$(ND)/bin" title Hello World kernel $(BIN_PATH)/bootstrap modaddr 0x02000000 module $(BIN_PATH)/fiasco -nokdb -serial -serial_esc module $(BIN_PATH)/l4v2/sigma0 module $(BIN_PATH)/l4v2/roottask module $(BIN_PATH)/l4v2/names module $(BIN_PATH)/l4v2/log module $(BIN_PATH)/l4v2/dm_phys module $(BIN_PATH)/l4v2/simple_ts module $(BIN_PATH)/l4v2/tftp --server=192.168.0.2 module $(BIN_PATH)/l4v2/loader $(BIN_PATH)/l4v2/hello the problem is that in the l4v2 directory there is no binary with the name tftp. I find all others though. Is it due to some problem in compilation or building Regards, Ashish

2 1

STPM package functionality
by Alexander Valitov 06 Mar '09

06 Mar '09

Hi, I've got hardware with TPM on board (Infineon SLB9635TT1.2). I've just discovered STPM package and have several questions about it: 1. What kind of functionality is provided by the package? Is it just driver for TPM and TPM emulator? 2. There are some examples in the package. What do they do? I mean what use case are they demonstrate: memory sealing, key storing, signature generation, SHA1 generation, RSA en(de)cryption, trusted boot? How they should be started (module options, grub menu.lst, on what hardware)? 3. Is my TPM chip (Infineon SLB9635TT1.2) supported? 4. What general use cases could you imagine for TPM module in L4 environment? What is it intended for? Best Regards, Alexander Valitov -- View this message in context: http://www.nabble.com/STPM-package-functionality-tp22375298p22375298.html Sent from the L4 mailing list archive at Nabble.com.

2 1

Possible bug in e1000 driver from ORe package
by Alexander Valitov 04 Mar '09

04 Mar '09

Hi, There is possible bug in e1000 driver from ORe package. The heart of the problem is that e1000_probe() function in /trunk/l4/pkg/ore/server/lib26/net/e1000/e1000_main.c file does NOT set 'irq' field in 'net_device' structure (e.g. with assignment netdev->irq = pdev->irq;). Instead it stores pointer to pci_device structure and uses its 'irq' field value (like this adapter->pdev->irq). As a result ORe always outputs message like this one (because it uses netdev->irq value): ore | Device = lo, IRQ = 0, MAC = 00:00:00:00:00:00 ore | Device = eth0, IRQ = 0, MAC = 00:30:18:49:F9:DA ore | Device = eth1, IRQ = 0, MAC = 00:30:18:49:F9:DB And when I try to boot L4Linux with ORe stub driver, the driver fails to init device due to wrong irq number: eth0: Overwriting IRQ type for IRQ 0 with l4ore type! eth0: request_irq(0, ...) EBUSY is returned. Solution is obvious but unfortunately it changes original e1000 Linux driver. That's why I'm not sure that it is proper way to fix the problem. Here is. =================================================================== --- e1000_main.c (revision 433) +++ e1000_main.c (working copy) @@ -931,6 +931,7 @@ } } + netdev->irq = pdev->irq; netdev->open = &e1000_open; netdev->stop = &e1000_close; netdev->hard_start_xmit = &e1000_xmit_frame; Does it make sense? Best regards, Alexander Valitov -- View this message in context: http://www.nabble.com/Possible-bug-in-e1000-driver-from-ORe-package-tp22309… Sent from the L4 mailing list archive at Nabble.com.

2 4

Question about ORs stub driver behavior
by Alexander Valitov 04 Mar '09

04 Mar '09

Hi, When ORe stub driver initializes virtual interface in l4x_ore_init_device() function, It tries to allocate hardware MAC address for all devices EXCEPT "lo" device: if (strcmp(devname, "lo")) priv->config.ro_keep_device_mac = 1; else priv->config.ro_keep_device_mac = 0; Here if devname=="lo" then strcmp() returns 0 and we tries to get virtual MAC for "lo". Is it intended behavior? Why do we need HW MAC for HW NIC and virtual one for "lo"? How in this case several Linux instances will use the same HW MAC? Best Regards, Alexander Valitov -- View this message in context: http://www.nabble.com/Question-about-ORs-stub-driver-behavior-tp22326115p22… Sent from the L4 mailing list archive at Nabble.com.

2 1

Problem with starting ORe
by Alexander Valitov 03 Mar '09

03 Mar '09

Hi All, I'm trying to run ORe with l4linux. During boot I receive a following error: ore | <6>Intel(R) PRO/1000 Network Driver - version 7.3.15-k2 ore | <6>Copyright (c) 1999-2006 Intel Corporation. ROOT: Sending ports d500-d53f to task #07 ore | L4RM: [PF] read at 0x00060008, ip 01802d14, src C.02 ore | [C.0] l4rm/lib/src/pagefault.c:81:__unknown_pf(): ore | unhandled page fault Could you please tell me what do I do wrong? L4Linux config, ORe config, grub script, L4Linux loader script and boot log are given above. L4Linux config: # # Automatically generated make config: don't edit # Linux kernel version: 2.6.28-l4 # Tue Feb 24 16:35:22 2009 # # # L4Linux configuration # CONFIG_L4=y CONFIG_L4_LINUX=y CONFIG_L4_OBJ_TREE="/home/alex/Fiasco/buildu" CONFIG_L4_L4ENV=y CONFIG_L4_LDR=y CONFIG_L4_ARCH_X86=y # CONFIG_L4_ARCH_ARM is not set CONFIG_L4_VMLINUZ_SUFFIX="" CONFIG_HZ=100 CONFIG_PHYSICAL_START=0x0 # # L4 build options # CONFIG_L4_MK_CPU_X86="586" # # IRQ Handling # # CONFIG_L4_IRQ_SINGLE is not set CONFIG_L4_IRQ_OMEGA0=y # CONFIG_L4_IRQ_MULTI is not set # # Stub drivers # CONFIG_L4_EXTERNAL_RTC=y # CONFIG_L4_BLK_DRV is not set # CONFIG_L4_PDSPBLK_DRV is not set CONFIG_L4_FB_DRIVER=y CONFIG_L4_FB_DRIVER_XF86IF=y CONFIG_L4_ORE_DRV=y CONFIG_L4_SERIAL=y CONFIG_L4_SERIAL_CONSOLE=y # CONFIG_L4_CONS is not set # # Debugging options # # CONFIG_L4_DEBUG is not set # # Advanced options # CONFIG_L4_L4ENV_MEMSIZE=32 CONFIG_L4_TAMED=y # # Priority configuration # CONFIG_L4_PRIO_SERVER_PROC=64 CONFIG_L4_PRIO_IDLER=65 CONFIG_L4_PRIO_IRQ_BASE=66 CONFIG_L4_PRIO_TAMER=85 CONFIG_L4_PRIO_L4FB_INPUT=70 CONFIG_L4_PRIO_L4FB_REFRESH=70 CONFIG_L4_PRIO_L4ORE=70 # # Monitoring options (ferret) # # CONFIG_L4_FERRET_USER is not set # CONFIG_L4_FERRET_KERNEL is not set # CONFIG_L4_FERRET_SYSCALL_COUNTER is not set # CONFIG_L4_USE_L4VMM is not set CONFIG_L4_CONFIG_CHECKS=y # CONFIG_L4_SAMPLE_MODULE is not set # # # # CONFIG_64BIT is not set CONFIG_X86_32=y # CONFIG_X86_64 is not set CONFIG_X86=y CONFIG_ARCH_DEFCONFIG="arch/x86/configs/i386_defconfig" CONFIG_GENERIC_TIME=y CONFIG_GENERIC_CMOS_UPDATE=y CONFIG_CLOCKSOURCE_WATCHDOG=y CONFIG_GENERIC_CLOCKEVENTS=y CONFIG_LOCKDEP_SUPPORT=y CONFIG_STACKTRACE_SUPPORT=y CONFIG_HAVE_LATENCYTOP_SUPPORT=y CONFIG_FAST_CMPXCHG_LOCAL=y CONFIG_MMU=y CONFIG_ZONE_DMA=y CONFIG_GENERIC_ISA_DMA=y CONFIG_GENERIC_IOMAP=y CONFIG_GENERIC_BUG=y CONFIG_GENERIC_HWEIGHT=y CONFIG_ARCH_MAY_HAVE_PC_FDC=y # CONFIG_RWSEM_GENERIC_SPINLOCK is not set CONFIG_RWSEM_XCHGADD_ALGORITHM=y CONFIG_ARCH_HAS_CPU_IDLE_WAIT=y CONFIG_GENERIC_CALIBRATE_DELAY=y # CONFIG_GENERIC_TIME_VSYSCALL is not set CONFIG_ARCH_HAS_CPU_RELAX=y CONFIG_ARCH_HAS_DEFAULT_IDLE=y CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y # CONFIG_HAVE_SETUP_PER_CPU_AREA is not set # CONFIG_HAVE_CPUMASK_OF_CPU_MAP is not set CONFIG_ARCH_HIBERNATION_POSSIBLE=y CONFIG_ARCH_SUSPEND_POSSIBLE=y # CONFIG_ZONE_DMA32 is not set CONFIG_ARCH_POPULATES_NODE_MAP=y # CONFIG_AUDIT_ARCH is not set CONFIG_ARCH_SUPPORTS_OPTIMIZED_INLINING=y CONFIG_GENERIC_HARDIRQS=y CONFIG_GENERIC_IRQ_PROBE=y CONFIG_X86_BIOS_REBOOT=y CONFIG_KTIME_SCALAR=y CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config" # # General setup # CONFIG_EXPERIMENTAL=y CONFIG_BROKEN_ON_SMP=y CONFIG_INIT_ENV_ARG_LIMIT=32 CONFIG_LOCALVERSION="" CONFIG_LOCALVERSION_AUTO=y CONFIG_SWAP=y CONFIG_SYSVIPC=y CONFIG_SYSVIPC_SYSCTL=y CONFIG_POSIX_MQUEUE=y # CONFIG_BSD_PROCESS_ACCT is not set # CONFIG_TASKSTATS is not set # CONFIG_AUDIT is not set # CONFIG_IKCONFIG is not set CONFIG_LOG_BUF_SHIFT=15 # CONFIG_CGROUPS is not set CONFIG_HAVE_UNSTABLE_SCHED_CLOCK=y CONFIG_GROUP_SCHED=y CONFIG_FAIR_GROUP_SCHED=y # CONFIG_RT_GROUP_SCHED is not set CONFIG_USER_SCHED=y # CONFIG_CGROUP_SCHED is not set CONFIG_SYSFS_DEPRECATED=y CONFIG_SYSFS_DEPRECATED_V2=y # CONFIG_RELAY is not set # CONFIG_NAMESPACES is not set CONFIG_BLK_DEV_INITRD=y CONFIG_INITRAMFS_SOURCE="" # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set CONFIG_SYSCTL=y CONFIG_EMBEDDED=y CONFIG_UID16=y CONFIG_SYSCTL_SYSCALL=y CONFIG_KALLSYMS=y # CONFIG_KALLSYMS_ALL is not set # CONFIG_KALLSYMS_EXTRA_PASS is not set # CONFIG_HOTPLUG is not set CONFIG_PRINTK=y CONFIG_BUG=y CONFIG_ELF_CORE=y # CONFIG_PCSPKR_PLATFORM is not set CONFIG_COMPAT_BRK=y CONFIG_BASE_FULL=y CONFIG_FUTEX=y CONFIG_ANON_INODES=y CONFIG_EPOLL=y CONFIG_SIGNALFD=y CONFIG_TIMERFD=y CONFIG_EVENTFD=y CONFIG_SHMEM=y CONFIG_AIO=y CONFIG_VM_EVENT_COUNTERS=y CONFIG_PCI_QUIRKS=y CONFIG_SLAB=y # CONFIG_SLUB is not set # CONFIG_SLOB is not set # CONFIG_PROFILING is not set # CONFIG_MARKERS is not set CONFIG_HAVE_OPROFILE=y # CONFIG_KPROBES is not set CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y CONFIG_HAVE_IOREMAP_PROT=y CONFIG_HAVE_KPROBES=y CONFIG_HAVE_KRETPROBES=y CONFIG_HAVE_ARCH_TRACEHOOK=y CONFIG_HAVE_GENERIC_DMA_COHERENT=y CONFIG_SLABINFO=y CONFIG_RT_MUTEXES=y # CONFIG_TINY_SHMEM is not set CONFIG_BASE_SMALL=0 CONFIG_MODULES=y # CONFIG_MODULE_FORCE_LOAD is not set # CONFIG_MODULE_UNLOAD is not set CONFIG_MODVERSIONS=y # CONFIG_MODULE_SRCVERSION_ALL is not set CONFIG_KMOD=y CONFIG_BLOCK=y # CONFIG_LBD is not set # CONFIG_BLK_DEV_IO_TRACE is not set # CONFIG_LSF is not set # CONFIG_BLK_DEV_BSG is not set # CONFIG_BLK_DEV_INTEGRITY is not set # # IO Schedulers # CONFIG_IOSCHED_NOOP=y CONFIG_IOSCHED_AS=y CONFIG_IOSCHED_DEADLINE=y CONFIG_IOSCHED_CFQ=y CONFIG_DEFAULT_AS=y # CONFIG_DEFAULT_DEADLINE is not set # CONFIG_DEFAULT_CFQ is not set # CONFIG_DEFAULT_NOOP is not set CONFIG_DEFAULT_IOSCHED="anticipatory" CONFIG_CLASSIC_RCU=y # CONFIG_FREEZER is not set # # Processor type and features # # CONFIG_NO_HZ is not set # CONFIG_HIGH_RES_TIMERS is not set CONFIG_GENERIC_CLOCKEVENTS_BUILD=y # CONFIG_SMP is not set CONFIG_X86_PC=y # CONFIG_X86_ELAN is not set # CONFIG_X86_VOYAGER is not set # CONFIG_X86_GENERICARCH is not set # CONFIG_X86_VSMP is not set # CONFIG_X86_RDC321X is not set CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y # CONFIG_PARAVIRT_GUEST is not set # CONFIG_MEMTEST is not set # CONFIG_M386 is not set # CONFIG_M486 is not set # CONFIG_M586 is not set CONFIG_M586TSC=y # CONFIG_M586MMX is not set # CONFIG_M686 is not set # CONFIG_MPENTIUMII is not set # CONFIG_MPENTIUMIII is not set # CONFIG_MPENTIUMM is not set # CONFIG_MPENTIUM4 is not set # CONFIG_MK6 is not set # CONFIG_MK7 is not set # CONFIG_MK8 is not set # CONFIG_MCRUSOE is not set # CONFIG_MEFFICEON is not set # CONFIG_MWINCHIPC6 is not set # CONFIG_MWINCHIP3D is not set # CONFIG_MGEODEGX1 is not set # CONFIG_MGEODE_LX is not set # CONFIG_MCYRIXIII is not set # CONFIG_MVIAC3_2 is not set # CONFIG_MVIAC7 is not set # CONFIG_MPSC is not set # CONFIG_MCORE2 is not set # CONFIG_GENERIC_CPU is not set # CONFIG_X86_GENERIC is not set CONFIG_X86_CPU=y CONFIG_X86_CMPXCHG=y CONFIG_X86_L1_CACHE_SHIFT=5 CONFIG_X86_XADD=y CONFIG_X86_PPRO_FENCE=y CONFIG_X86_F00F_BUG=y CONFIG_X86_WP_WORKS_OK=y CONFIG_X86_INVLPG=y CONFIG_X86_BSWAP=y CONFIG_X86_POPAD_OK=y CONFIG_X86_ALIGNMENT_16=y CONFIG_X86_TSC=y CONFIG_X86_MINIMUM_CPU_FAMILY=4 # CONFIG_PROCESSOR_SELECT is not set CONFIG_CPU_SUP_INTEL=y CONFIG_CPU_SUP_CYRIX_32=y CONFIG_CPU_SUP_AMD=y CONFIG_CPU_SUP_CENTAUR_32=y CONFIG_CPU_SUP_TRANSMETA_32=y CONFIG_CPU_SUP_UMC_32=y # CONFIG_HPET_TIMER is not set CONFIG_DMI=y # CONFIG_IOMMU_HELPER is not set CONFIG_PREEMPT_NONE=y # CONFIG_PREEMPT_VOLUNTARY is not set # CONFIG_PREEMPT is not set # CONFIG_X86_UP_APIC is not set # CONFIG_X86_MCE is not set # CONFIG_VM86 is not set # CONFIG_TOSHIBA is not set # CONFIG_I8K is not set # CONFIG_X86_REBOOTFIXUPS is not set # CONFIG_MICROCODE is not set # CONFIG_X86_MSR is not set # CONFIG_X86_CPUID is not set CONFIG_NOHIGHMEM=y # CONFIG_HIGHMEM4G is not set # CONFIG_HIGHMEM64G is not set CONFIG_VMSPLIT_3G=y # CONFIG_VMSPLIT_3G_OPT is not set # CONFIG_VMSPLIT_2G is not set # CONFIG_VMSPLIT_2G_OPT is not set # CONFIG_VMSPLIT_1G is not set CONFIG_PAGE_OFFSET=0 # CONFIG_X86_PAE is not set # CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set CONFIG_ARCH_FLATMEM_ENABLE=y CONFIG_ARCH_SPARSEMEM_ENABLE=y CONFIG_ARCH_SELECT_MEMORY_MODEL=y CONFIG_SELECT_MEMORY_MODEL=y CONFIG_FLATMEM_MANUAL=y # CONFIG_DISCONTIGMEM_MANUAL is not set # CONFIG_SPARSEMEM_MANUAL is not set CONFIG_FLATMEM=y CONFIG_FLAT_NODE_MEM_MAP=y CONFIG_SPARSEMEM_STATIC=y CONFIG_PAGEFLAGS_EXTENDED=y CONFIG_SPLIT_PTLOCK_CPUS=4 # CONFIG_RESOURCES_64BIT is not set # CONFIG_PHYS_ADDR_T_64BIT is not set CONFIG_ZONE_DMA_FLAG=1 CONFIG_BOUNCE=y CONFIG_VIRT_TO_BUS=y CONFIG_UNEVICTABLE_LRU=y # CONFIG_X86_CHECK_BIOS_CORRUPTION is not set CONFIG_X86_RESERVE_LOW_64K=y # CONFIG_MATH_EMULATION is not set # CONFIG_MTRR is not set CONFIG_SECCOMP=y # CONFIG_HZ_100 is not set CONFIG_HZ_250=y # CONFIG_HZ_300 is not set # CONFIG_HZ_1000 is not set # CONFIG_SCHED_HRTICK is not set # CONFIG_KEXEC is not set # CONFIG_RELOCATABLE is not set CONFIG_PHYSICAL_ALIGN=0x100000 CONFIG_COMPAT_VDSO=y # CONFIG_CMDLINE_BOOL is not set # # Power management and ACPI options # # CONFIG_PM is not set # # CPU Frequency scaling # # CONFIG_CPU_FREQ is not set # CONFIG_CPU_IDLE is not set # # Bus options (PCI etc.) # CONFIG_PCI=y # CONFIG_PCI_GOBIOS is not set # CONFIG_PCI_GOMMCONFIG is not set CONFIG_PCI_GODIRECT=y # CONFIG_PCI_GOOLPC is not set # CONFIG_PCI_GOANY is not set CONFIG_PCI_DIRECT=y CONFIG_PCI_DOMAINS=y # CONFIG_PCIEPORTBUS is not set # CONFIG_ARCH_SUPPORTS_MSI is not set CONFIG_PCI_LEGACY=y # CONFIG_PCI_DEBUG is not set CONFIG_ISA_DMA_API=y CONFIG_ISA=y # CONFIG_EISA is not set # CONFIG_MCA is not set # CONFIG_SCx200 is not set # CONFIG_OLPC is not set # # Executable file formats / Emulations # CONFIG_BINFMT_ELF=y # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set CONFIG_HAVE_AOUT=y CONFIG_BINFMT_AOUT=y CONFIG_BINFMT_MISC=y CONFIG_HAVE_ATOMIC_IOMAP=y CONFIG_NET=y # # Networking options # CONFIG_PACKET=y # CONFIG_PACKET_MMAP is not set CONFIG_UNIX=y CONFIG_XFRM=y # CONFIG_XFRM_USER is not set # CONFIG_XFRM_SUB_POLICY is not set # CONFIG_XFRM_MIGRATE is not set # CONFIG_XFRM_STATISTICS is not set # CONFIG_NET_KEY is not set CONFIG_INET=y # CONFIG_IP_MULTICAST is not set # CONFIG_IP_ADVANCED_ROUTER is not set CONFIG_IP_FIB_HASH=y CONFIG_IP_PNP=y CONFIG_IP_PNP_DHCP=y # CONFIG_IP_PNP_BOOTP is not set # CONFIG_IP_PNP_RARP is not set # CONFIG_NET_IPIP is not set # CONFIG_NET_IPGRE is not set # CONFIG_ARPD is not set # CONFIG_SYN_COOKIES is not set # CONFIG_INET_AH is not set # CONFIG_INET_ESP is not set # CONFIG_INET_IPCOMP is not set # CONFIG_INET_XFRM_TUNNEL is not set # CONFIG_INET_TUNNEL is not set # CONFIG_INET_XFRM_MODE_TRANSPORT is not set # CONFIG_INET_XFRM_MODE_TUNNEL is not set CONFIG_INET_XFRM_MODE_BEET=y # CONFIG_INET_LRO is not set CONFIG_INET_DIAG=y CONFIG_INET_TCP_DIAG=y # CONFIG_TCP_CONG_ADVANCED is not set CONFIG_TCP_CONG_CUBIC=y CONFIG_DEFAULT_TCP_CONG="cubic" # CONFIG_TCP_MD5SIG is not set # CONFIG_IPV6 is not set # CONFIG_NETWORK_SECMARK is not set # CONFIG_NETFILTER is not set # CONFIG_IP_DCCP is not set # CONFIG_IP_SCTP is not set # CONFIG_TIPC is not set # CONFIG_ATM is not set # CONFIG_BRIDGE is not set # CONFIG_NET_DSA is not set # CONFIG_VLAN_8021Q is not set # CONFIG_DECNET is not set # CONFIG_LLC2 is not set # CONFIG_IPX is not set # CONFIG_ATALK is not set # CONFIG_X25 is not set # CONFIG_LAPB is not set # CONFIG_ECONET is not set # CONFIG_WAN_ROUTER is not set # CONFIG_NET_SCHED is not set # # Network testing # # CONFIG_NET_PKTGEN is not set # CONFIG_HAMRADIO is not set # CONFIG_CAN is not set # CONFIG_IRDA is not set # CONFIG_BT is not set # CONFIG_AF_RXRPC is not set # CONFIG_PHONET is not set # CONFIG_WIRELESS is not set # CONFIG_RFKILL is not set # CONFIG_NET_9P is not set # # Device Drivers # # # Generic Driver Options # CONFIG_STANDALONE=y CONFIG_PREVENT_FIRMWARE_BUILD=y # CONFIG_DEBUG_DRIVER is not set # CONFIG_DEBUG_DEVRES is not set # CONFIG_SYS_HYPERVISOR is not set # CONFIG_CONNECTOR is not set # CONFIG_MTD is not set # CONFIG_PARPORT is not set # CONFIG_PNP is not set CONFIG_BLK_DEV=y # CONFIG_BLK_DEV_FD is not set # CONFIG_BLK_DEV_XD is not set # CONFIG_BLK_CPQ_DA is not set # CONFIG_BLK_CPQ_CISS_DA is not set # CONFIG_BLK_DEV_DAC960 is not set # CONFIG_BLK_DEV_UMEM is not set # CONFIG_BLK_DEV_COW_COMMON is not set # CONFIG_BLK_DEV_LOOP is not set # CONFIG_BLK_DEV_NBD is not set # CONFIG_BLK_DEV_SX8 is not set CONFIG_BLK_DEV_RAM=y CONFIG_BLK_DEV_RAM_COUNT=16 CONFIG_BLK_DEV_RAM_SIZE=4096 # CONFIG_BLK_DEV_XIP is not set # CONFIG_CDROM_PKTCDVD is not set # CONFIG_ATA_OVER_ETH is not set # CONFIG_BLK_DEV_HD is not set CONFIG_MISC_DEVICES=y # CONFIG_IBM_ASM is not set # CONFIG_PHANTOM is not set # CONFIG_EEPROM_93CX6 is not set # CONFIG_SGI_IOC4 is not set # CONFIG_TIFM_CORE is not set # CONFIG_ENCLOSURE_SERVICES is not set # CONFIG_HP_ILO is not set # CONFIG_C2PORT is not set CONFIG_HAVE_IDE=y CONFIG_IDE=y # # Please see Documentation/ide/ide.txt for help/info on IDE drives # CONFIG_IDE_TIMINGS=y # CONFIG_BLK_DEV_IDE_SATA is not set CONFIG_IDE_GD=y CONFIG_IDE_GD_ATA=y # CONFIG_IDE_GD_ATAPI is not set CONFIG_BLK_DEV_IDECD=y CONFIG_BLK_DEV_IDECD_VERBOSE_ERRORS=y # CONFIG_BLK_DEV_IDETAPE is not set # CONFIG_BLK_DEV_IDESCSI is not set # CONFIG_IDE_TASK_IOCTL is not set CONFIG_IDE_PROC_FS=y # # IDE chipset support/bugfixes # CONFIG_IDE_GENERIC=y # CONFIG_BLK_DEV_PLATFORM is not set # CONFIG_BLK_DEV_CMD640 is not set CONFIG_BLK_DEV_IDEDMA_SFF=y # # PCI IDE chipsets support # CONFIG_BLK_DEV_IDEPCI=y CONFIG_IDEPCI_PCIBUS_ORDER=y # CONFIG_BLK_DEV_OFFBOARD is not set CONFIG_BLK_DEV_GENERIC=y # CONFIG_BLK_DEV_OPTI621 is not set # CONFIG_BLK_DEV_RZ1000 is not set CONFIG_BLK_DEV_IDEDMA_PCI=y # CONFIG_BLK_DEV_AEC62XX is not set # CONFIG_BLK_DEV_ALI15X3 is not set # CONFIG_BLK_DEV_AMD74XX is not set # CONFIG_BLK_DEV_ATIIXP is not set # CONFIG_BLK_DEV_CMD64X is not set # CONFIG_BLK_DEV_TRIFLEX is not set # CONFIG_BLK_DEV_CS5520 is not set # CONFIG_BLK_DEV_CS5530 is not set # CONFIG_BLK_DEV_CS5535 is not set # CONFIG_BLK_DEV_HPT366 is not set # CONFIG_BLK_DEV_JMICRON is not set # CONFIG_BLK_DEV_SC1200 is not set CONFIG_BLK_DEV_PIIX=y # CONFIG_BLK_DEV_IT8213 is not set # CONFIG_BLK_DEV_IT821X is not set # CONFIG_BLK_DEV_NS87415 is not set # CONFIG_BLK_DEV_PDC202XX_OLD is not set # CONFIG_BLK_DEV_PDC202XX_NEW is not set # CONFIG_BLK_DEV_SVWKS is not set # CONFIG_BLK_DEV_SIIMAGE is not set # CONFIG_BLK_DEV_SIS5513 is not set # CONFIG_BLK_DEV_SLC90E66 is not set # CONFIG_BLK_DEV_TRM290 is not set CONFIG_BLK_DEV_VIA82CXXX=y # CONFIG_BLK_DEV_TC86C001 is not set # # Other IDE chipsets support # # # Note: most of these also require special kernel boot parameters # # CONFIG_BLK_DEV_4DRIVES is not set # CONFIG_BLK_DEV_ALI14XX is not set # CONFIG_BLK_DEV_DTC2278 is not set # CONFIG_BLK_DEV_HT6560B is not set # CONFIG_BLK_DEV_QD65XX is not set # CONFIG_BLK_DEV_UMC8672 is not set CONFIG_BLK_DEV_IDEDMA=y # # SCSI device support # # CONFIG_RAID_ATTRS is not set CONFIG_SCSI=y CONFIG_SCSI_DMA=y # CONFIG_SCSI_TGT is not set # CONFIG_SCSI_NETLINK is not set CONFIG_SCSI_PROC_FS=y # # SCSI support type (disk, tape, CD-ROM) # # CONFIG_BLK_DEV_SD is not set # CONFIG_CHR_DEV_ST is not set # CONFIG_CHR_DEV_OSST is not set # CONFIG_BLK_DEV_SR is not set # CONFIG_CHR_DEV_SG is not set # CONFIG_CHR_DEV_SCH is not set # # Some SCSI devices (e.g. CD jukebox) support multiple LUNs # # CONFIG_SCSI_MULTI_LUN is not set # CONFIG_SCSI_CONSTANTS is not set # CONFIG_SCSI_LOGGING is not set # CONFIG_SCSI_SCAN_ASYNC is not set CONFIG_SCSI_WAIT_SCAN=m # # SCSI Transports # # CONFIG_SCSI_SPI_ATTRS is not set # CONFIG_SCSI_FC_ATTRS is not set # CONFIG_SCSI_ISCSI_ATTRS is not set # CONFIG_SCSI_SAS_LIBSAS is not set # CONFIG_SCSI_SRP_ATTRS is not set CONFIG_SCSI_LOWLEVEL=y # CONFIG_ISCSI_TCP is not set # CONFIG_BLK_DEV_3W_XXXX_RAID is not set # CONFIG_SCSI_3W_9XXX is not set # CONFIG_SCSI_7000FASST is not set # CONFIG_SCSI_ACARD is not set # CONFIG_SCSI_AHA152X is not set # CONFIG_SCSI_AHA1542 is not set # CONFIG_SCSI_AACRAID is not set # CONFIG_SCSI_AIC7XXX is not set # CONFIG_SCSI_AIC7XXX_OLD is not set # CONFIG_SCSI_AIC79XX is not set # CONFIG_SCSI_AIC94XX is not set # CONFIG_SCSI_DPT_I2O is not set # CONFIG_SCSI_ADVANSYS is not set # CONFIG_SCSI_IN2000 is not set # CONFIG_SCSI_ARCMSR is not set # CONFIG_MEGARAID_NEWGEN is not set # CONFIG_MEGARAID_LEGACY is not set # CONFIG_MEGARAID_SAS is not set # CONFIG_SCSI_HPTIOP is not set # CONFIG_SCSI_BUSLOGIC is not set # CONFIG_SCSI_DMX3191D is not set # CONFIG_SCSI_DTC3280 is not set # CONFIG_SCSI_EATA is not set # CONFIG_SCSI_FUTURE_DOMAIN is not set # CONFIG_SCSI_GDTH is not set # CONFIG_SCSI_GENERIC_NCR5380 is not set # CONFIG_SCSI_GENERIC_NCR5380_MMIO is not set # CONFIG_SCSI_IPS is not set # CONFIG_SCSI_INITIO is not set # CONFIG_SCSI_INIA100 is not set # CONFIG_SCSI_MVSAS is not set # CONFIG_SCSI_NCR53C406A is not set # CONFIG_SCSI_STEX is not set # CONFIG_SCSI_SYM53C8XX_2 is not set # CONFIG_SCSI_IPR is not set # CONFIG_SCSI_PAS16 is not set # CONFIG_SCSI_QLOGIC_FAS is not set # CONFIG_SCSI_QLOGIC_1280 is not set # CONFIG_SCSI_QLA_FC is not set # CONFIG_SCSI_QLA_ISCSI is not set # CONFIG_SCSI_LPFC is not set # CONFIG_SCSI_SYM53C416 is not set # CONFIG_SCSI_DC395x is not set # CONFIG_SCSI_DC390T is not set # CONFIG_SCSI_T128 is not set # CONFIG_SCSI_U14_34F is not set # CONFIG_SCSI_ULTRASTOR is not set # CONFIG_SCSI_NSP32 is not set # CONFIG_SCSI_DEBUG is not set # CONFIG_SCSI_SRP is not set # CONFIG_SCSI_DH is not set CONFIG_ATA=y # CONFIG_ATA_NONSTANDARD is not set CONFIG_SATA_PMP=y CONFIG_SATA_AHCI=y CONFIG_SATA_SIL24=y CONFIG_ATA_SFF=y # CONFIG_SATA_SVW is not set CONFIG_ATA_PIIX=y CONFIG_SATA_MV=y CONFIG_SATA_NV=y CONFIG_PDC_ADMA=y CONFIG_SATA_QSTOR=y CONFIG_SATA_PROMISE=y CONFIG_SATA_SX4=y CONFIG_SATA_SIL=y # CONFIG_SATA_SIS is not set # CONFIG_SATA_ULI is not set # CONFIG_SATA_VIA is not set # CONFIG_SATA_VITESSE is not set # CONFIG_SATA_INIC162X is not set # CONFIG_PATA_ALI is not set # CONFIG_PATA_AMD is not set # CONFIG_PATA_ARTOP is not set # CONFIG_PATA_ATIIXP is not set # CONFIG_PATA_CMD640_PCI is not set # CONFIG_PATA_CMD64X is not set # CONFIG_PATA_CS5520 is not set # CONFIG_PATA_CS5530 is not set # CONFIG_PATA_CS5535 is not set # CONFIG_PATA_CS5536 is not set # CONFIG_PATA_CYPRESS is not set # CONFIG_PATA_EFAR is not set # CONFIG_ATA_GENERIC is not set # CONFIG_PATA_HPT366 is not set # CONFIG_PATA_HPT37X is not set # CONFIG_PATA_HPT3X2N is not set # CONFIG_PATA_HPT3X3 is not set # CONFIG_PATA_IT821X is not set # CONFIG_PATA_IT8213 is not set # CONFIG_PATA_JMICRON is not set # CONFIG_PATA_LEGACY is not set # CONFIG_PATA_TRIFLEX is not set # CONFIG_PATA_MARVELL is not set # CONFIG_PATA_MPIIX is not set # CONFIG_PATA_OLDPIIX is not set # CONFIG_PATA_NETCELL is not set # CONFIG_PATA_NINJA32 is not set # CONFIG_PATA_NS87410 is not set # CONFIG_PATA_NS87415 is not set # CONFIG_PATA_OPTI is not set # CONFIG_PATA_OPTIDMA is not set # CONFIG_PATA_PDC_OLD is not set # CONFIG_PATA_QDI is not set # CONFIG_PATA_RADISYS is not set # CONFIG_PATA_RZ1000 is not set # CONFIG_PATA_SC1200 is not set # CONFIG_PATA_SERVERWORKS is not set # CONFIG_PATA_PDC2027X is not set # CONFIG_PATA_SIL680 is not set # CONFIG_PATA_SIS is not set # CONFIG_PATA_VIA is not set # CONFIG_PATA_WINBOND is not set # CONFIG_PATA_WINBOND_VLB is not set # CONFIG_PATA_PLATFORM is not set # CONFIG_PATA_SCH is not set # CONFIG_MD is not set # CONFIG_FUSION is not set # # IEEE 1394 (FireWire) support # # # Enable only one of the two stacks, unless you know what you are doing # # CONFIG_FIREWIRE is not set # CONFIG_IEEE1394 is not set # CONFIG_I2O is not set # CONFIG_MACINTOSH_DRIVERS is not set # CONFIG_NETDEVICES is not set # CONFIG_ISDN is not set # CONFIG_PHONE is not set # # Input device support # CONFIG_INPUT=y # CONFIG_INPUT_FF_MEMLESS is not set # CONFIG_INPUT_POLLDEV is not set # # Userland interfaces # CONFIG_INPUT_MOUSEDEV=y CONFIG_INPUT_MOUSEDEV_PSAUX=y CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768 CONFIG_INPUT_JOYDEV=y CONFIG_INPUT_EVDEV=y # CONFIG_INPUT_EVBUG is not set # # Input Device Drivers # # CONFIG_INPUT_KEYBOARD is not set # CONFIG_INPUT_MOUSE is not set # CONFIG_INPUT_JOYSTICK is not set # CONFIG_INPUT_TABLET is not set # CONFIG_INPUT_TOUCHSCREEN is not set # CONFIG_INPUT_MISC is not set # # Hardware I/O ports # # CONFIG_SERIO is not set # CONFIG_GAMEPORT is not set # # Character devices # CONFIG_VT=y CONFIG_CONSOLE_TRANSLATIONS=y CONFIG_VT_CONSOLE=y CONFIG_HW_CONSOLE=y # CONFIG_VT_HW_CONSOLE_BINDING is not set CONFIG_DEVKMEM=y # CONFIG_SERIAL_NONSTANDARD is not set # CONFIG_NOZOMI is not set # # Serial drivers # # CONFIG_SERIAL_8250 is not set CONFIG_FIX_EARLYCON_MEM=y # # Non-8250 serial port support # CONFIG_SERIAL_CORE=y CONFIG_SERIAL_CORE_CONSOLE=y # CONFIG_SERIAL_JSM is not set CONFIG_UNIX98_PTYS=y CONFIG_LEGACY_PTYS=y CONFIG_LEGACY_PTY_COUNT=256 # CONFIG_IPMI_HANDLER is not set # CONFIG_HW_RANDOM is not set # CONFIG_NVRAM is not set # CONFIG_RTC is not set # CONFIG_GEN_RTC is not set # CONFIG_DTLK is not set # CONFIG_R3964 is not set # CONFIG_APPLICOM is not set # CONFIG_SONYPI is not set # CONFIG_MWAVE is not set # CONFIG_PC8736x_GPIO is not set # CONFIG_NSC_GPIO is not set # CONFIG_CS5535_GPIO is not set # CONFIG_RAW_DRIVER is not set # CONFIG_HANGCHECK_TIMER is not set # CONFIG_TCG_TPM is not set # CONFIG_TELCLOCK is not set CONFIG_DEVPORT=y # CONFIG_I2C is not set # CONFIG_SPI is not set CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y # CONFIG_GPIOLIB is not set # CONFIG_W1 is not set # CONFIG_POWER_SUPPLY is not set # CONFIG_HWMON is not set # CONFIG_THERMAL is not set # CONFIG_THERMAL_HWMON is not set # CONFIG_WATCHDOG is not set CONFIG_SSB_POSSIBLE=y # # Sonics Silicon Backplane # # CONFIG_SSB is not set # # Multifunction device drivers # # CONFIG_MFD_CORE is not set # CONFIG_MFD_SM501 is not set # CONFIG_HTC_PASIC3 is not set # CONFIG_MFD_TMIO is not set # CONFIG_REGULATOR is not set # # Multimedia devices # # # Multimedia core support # # CONFIG_VIDEO_DEV is not set # CONFIG_DVB_CORE is not set # CONFIG_VIDEO_MEDIA is not set # # Multimedia drivers # CONFIG_DAB=y # # Graphics support # # CONFIG_AGP is not set # CONFIG_DRM is not set # CONFIG_VGASTATE is not set # CONFIG_VIDEO_OUTPUT_CONTROL is not set CONFIG_FB=y CONFIG_FIRMWARE_EDID=y # CONFIG_FB_DDC is not set # CONFIG_FB_BOOT_VESA_SUPPORT is not set CONFIG_FB_CFB_FILLRECT=y CONFIG_FB_CFB_COPYAREA=y CONFIG_FB_CFB_IMAGEBLIT=y # CONFIG_FB_CFB_REV_PIXELS_IN_BYTE is not set # CONFIG_FB_SYS_FILLRECT is not set # CONFIG_FB_SYS_COPYAREA is not set # CONFIG_FB_SYS_IMAGEBLIT is not set # CONFIG_FB_FOREIGN_ENDIAN is not set # CONFIG_FB_SYS_FOPS is not set # CONFIG_FB_SVGALIB is not set # CONFIG_FB_MACMODES is not set # CONFIG_FB_BACKLIGHT is not set # CONFIG_FB_MODE_HELPERS is not set # CONFIG_FB_TILEBLITTING is not set # # Frame buffer hardware drivers # # CONFIG_FB_CIRRUS is not set # CONFIG_FB_PM2 is not set # CONFIG_FB_CYBER2000 is not set # CONFIG_FB_ARC is not set # CONFIG_FB_ASILIANT is not set # CONFIG_FB_IMSTT is not set # CONFIG_FB_VGA16 is not set # CONFIG_FB_VESA is not set # CONFIG_FB_N411 is not set # CONFIG_FB_HGA is not set # CONFIG_FB_S1D13XXX is not set # CONFIG_FB_NVIDIA is not set # CONFIG_FB_RIVA is not set # CONFIG_FB_I810 is not set # CONFIG_FB_LE80578 is not set # CONFIG_FB_INTEL is not set # CONFIG_FB_MATROX is not set # CONFIG_FB_RADEON is not set # CONFIG_FB_ATY128 is not set # CONFIG_FB_ATY is not set # CONFIG_FB_S3 is not set # CONFIG_FB_SAVAGE is not set # CONFIG_FB_SIS is not set # CONFIG_FB_VIA 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_CARMINE is not set # CONFIG_FB_GEODE is not set # CONFIG_FB_VIRTUAL is not set # CONFIG_FB_METRONOME is not set # CONFIG_FB_MB862XX is not set # CONFIG_BACKLIGHT_LCD_SUPPORT is not set # # Display device support # # CONFIG_DISPLAY_SUPPORT is not set # # Console display driver support # # CONFIG_VGA_CONSOLE is not set # CONFIG_MDA_CONSOLE 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 # CONFIG_SOUND is not set CONFIG_HID_SUPPORT=y CONFIG_HID=y # CONFIG_HID_DEBUG is not set # CONFIG_HIDRAW is not set # CONFIG_HID_PID is not set # # Special HID drivers # # CONFIG_HID_COMPAT is not set # CONFIG_USB_SUPPORT is not set # CONFIG_UWB is not set # CONFIG_MMC is not set # CONFIG_MEMSTICK is not set # CONFIG_NEW_LEDS is not set # CONFIG_ACCESSIBILITY is not set # CONFIG_INFINIBAND is not set # CONFIG_EDAC is not set # CONFIG_RTC_CLASS is not set # CONFIG_DMADEVICES is not set # CONFIG_UIO is not set # CONFIG_STAGING is not set # # Firmware Drivers # # CONFIG_EDD is not set CONFIG_FIRMWARE_MEMMAP=y # CONFIG_DELL_RBU is not set # CONFIG_DCDBAS is not set CONFIG_DMIID=y # CONFIG_ISCSI_IBFT_FIND is not set # # File systems # CONFIG_EXT2_FS=y # CONFIG_EXT2_FS_XATTR is not set # CONFIG_EXT2_FS_XIP is not set CONFIG_EXT3_FS=y CONFIG_EXT3_FS_XATTR=y # CONFIG_EXT3_FS_POSIX_ACL is not set # CONFIG_EXT3_FS_SECURITY is not set # CONFIG_EXT4_FS is not set CONFIG_JBD=y CONFIG_FS_MBCACHE=y # CONFIG_REISERFS_FS is not set # CONFIG_JFS_FS is not set # CONFIG_FS_POSIX_ACL is not set CONFIG_FILE_LOCKING=y # CONFIG_XFS_FS is not set # CONFIG_OCFS2_FS is not set CONFIG_DNOTIFY=y CONFIG_INOTIFY=y CONFIG_INOTIFY_USER=y # CONFIG_QUOTA is not set # CONFIG_AUTOFS_FS is not set # CONFIG_AUTOFS4_FS is not set # CONFIG_FUSE_FS is not set # # CD-ROM/DVD Filesystems # CONFIG_ISO9660_FS=y CONFIG_JOLIET=y # CONFIG_ZISOFS is not set # CONFIG_UDF_FS is not set # # DOS/FAT/NT Filesystems # # CONFIG_MSDOS_FS is not set # CONFIG_VFAT_FS is not set # CONFIG_NTFS_FS is not set # # Pseudo filesystems # CONFIG_PROC_FS=y CONFIG_PROC_KCORE=y CONFIG_PROC_SYSCTL=y CONFIG_PROC_PAGE_MONITOR=y CONFIG_SYSFS=y CONFIG_TMPFS=y # CONFIG_TMPFS_POSIX_ACL is not set # CONFIG_HUGETLBFS is not set # CONFIG_HUGETLB_PAGE is not set # CONFIG_CONFIGFS_FS is not set # # Miscellaneous filesystems # # CONFIG_ADFS_FS is not set # CONFIG_AFFS_FS is not set # CONFIG_HFS_FS is not set # CONFIG_HFSPLUS_FS is not set # CONFIG_BEFS_FS is not set # CONFIG_BFS_FS is not set # CONFIG_EFS_FS is not set # CONFIG_CRAMFS is not set # CONFIG_VXFS_FS is not set # CONFIG_MINIX_FS is not set # CONFIG_OMFS_FS is not set # CONFIG_HPFS_FS is not set # CONFIG_QNX4FS_FS is not set # CONFIG_ROMFS_FS is not set # CONFIG_SYSV_FS is not set # CONFIG_UFS_FS is not set CONFIG_NETWORK_FILESYSTEMS=y CONFIG_NFS_FS=y CONFIG_NFS_V3=y # CONFIG_NFS_V3_ACL is not set CONFIG_NFS_V4=y CONFIG_ROOT_NFS=y # CONFIG_NFSD is not set CONFIG_LOCKD=y CONFIG_LOCKD_V4=y CONFIG_NFS_COMMON=y CONFIG_SUNRPC=y CONFIG_SUNRPC_GSS=y # CONFIG_SUNRPC_REGISTER_V4 is not set CONFIG_RPCSEC_GSS_KRB5=y # CONFIG_RPCSEC_GSS_SPKM3 is not set # CONFIG_SMB_FS is not set # CONFIG_CIFS is not set # CONFIG_NCP_FS is not set # CONFIG_CODA_FS is not set # CONFIG_AFS_FS is not set # # Partition Types # CONFIG_PARTITION_ADVANCED=y # CONFIG_ACORN_PARTITION is not set # CONFIG_OSF_PARTITION is not set # CONFIG_AMIGA_PARTITION is not set # CONFIG_ATARI_PARTITION is not set # CONFIG_MAC_PARTITION is not set CONFIG_MSDOS_PARTITION=y # CONFIG_BSD_DISKLABEL is not set # CONFIG_MINIX_SUBPARTITION is not set # CONFIG_SOLARIS_X86_PARTITION is not set # CONFIG_UNIXWARE_DISKLABEL is not set # CONFIG_LDM_PARTITION is not set # CONFIG_SGI_PARTITION is not set # CONFIG_ULTRIX_PARTITION is not set # CONFIG_SUN_PARTITION is not set # CONFIG_KARMA_PARTITION is not set # CONFIG_EFI_PARTITION is not set # CONFIG_SYSV68_PARTITION is not set CONFIG_NLS=y CONFIG_NLS_DEFAULT="iso8859-1" # CONFIG_NLS_CODEPAGE_437 is not set # CONFIG_NLS_CODEPAGE_737 is not set # CONFIG_NLS_CODEPAGE_775 is not set # CONFIG_NLS_CODEPAGE_850 is not set # CONFIG_NLS_CODEPAGE_852 is not set # CONFIG_NLS_CODEPAGE_855 is not set # CONFIG_NLS_CODEPAGE_857 is not set # CONFIG_NLS_CODEPAGE_860 is not set # CONFIG_NLS_CODEPAGE_861 is not set # CONFIG_NLS_CODEPAGE_862 is not set # CONFIG_NLS_CODEPAGE_863 is not set # CONFIG_NLS_CODEPAGE_864 is not set # CONFIG_NLS_CODEPAGE_865 is not set # CONFIG_NLS_CODEPAGE_866 is not set # CONFIG_NLS_CODEPAGE_869 is not set # CONFIG_NLS_CODEPAGE_936 is not set # CONFIG_NLS_CODEPAGE_950 is not set # CONFIG_NLS_CODEPAGE_932 is not set # CONFIG_NLS_CODEPAGE_949 is not set # CONFIG_NLS_CODEPAGE_874 is not set # CONFIG_NLS_ISO8859_8 is not set # CONFIG_NLS_CODEPAGE_1250 is not set # CONFIG_NLS_CODEPAGE_1251 is not set # CONFIG_NLS_ASCII is not set # CONFIG_NLS_ISO8859_1 is not set # CONFIG_NLS_ISO8859_2 is not set # CONFIG_NLS_ISO8859_3 is not set # CONFIG_NLS_ISO8859_4 is not set # CONFIG_NLS_ISO8859_5 is not set # CONFIG_NLS_ISO8859_6 is not set # CONFIG_NLS_ISO8859_7 is not set # CONFIG_NLS_ISO8859_9 is not set # CONFIG_NLS_ISO8859_13 is not set # CONFIG_NLS_ISO8859_14 is not set # CONFIG_NLS_ISO8859_15 is not set # CONFIG_NLS_KOI8_R is not set # CONFIG_NLS_KOI8_U is not set # CONFIG_NLS_UTF8 is not set # CONFIG_DLM is not set # # Kernel hacking # CONFIG_TRACE_IRQFLAGS_SUPPORT=y # CONFIG_PRINTK_TIME is not set CONFIG_ENABLE_WARN_DEPRECATED=y CONFIG_ENABLE_MUST_CHECK=y CONFIG_FRAME_WARN=1024 CONFIG_MAGIC_SYSRQ=y CONFIG_UNUSED_SYMBOLS=y # CONFIG_DEBUG_FS is not set # CONFIG_HEADERS_CHECK is not set CONFIG_DEBUG_KERNEL=y # CONFIG_DEBUG_SHIRQ is not set CONFIG_DETECT_SOFTLOCKUP=y # CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC is not set CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC_VALUE=0 CONFIG_SCHED_DEBUG=y # CONFIG_SCHEDSTATS is not set # CONFIG_TIMER_STATS is not set # CONFIG_DEBUG_OBJECTS is not set # CONFIG_DEBUG_SLAB is not set # CONFIG_DEBUG_RT_MUTEXES is not set # CONFIG_RT_MUTEX_TESTER is not set # CONFIG_DEBUG_SPINLOCK is not set CONFIG_DEBUG_MUTEXES=y # CONFIG_DEBUG_LOCK_ALLOC is not set # CONFIG_PROVE_LOCKING is not set # CONFIG_LOCK_STAT is not set # CONFIG_DEBUG_SPINLOCK_SLEEP is not set # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set # CONFIG_DEBUG_KOBJECT is not set CONFIG_DEBUG_BUGVERBOSE=y CONFIG_DEBUG_INFO=y # CONFIG_DEBUG_VM is not set # CONFIG_DEBUG_VIRTUAL is not set # CONFIG_DEBUG_WRITECOUNT is not set # CONFIG_DEBUG_MEMORY_INIT is not set # CONFIG_DEBUG_LIST is not set # CONFIG_DEBUG_SG is not set CONFIG_FRAME_POINTER=y # CONFIG_BOOT_PRINTK_DELAY is not set # CONFIG_RCU_TORTURE_TEST is not set # CONFIG_RCU_CPU_STALL_DETECTOR is not set # CONFIG_BACKTRACE_SELF_TEST is not set # CONFIG_DEBUG_BLOCK_EXT_DEVT is not set # CONFIG_FAULT_INJECTION is not set # CONFIG_LATENCYTOP is not set CONFIG_SYSCTL_SYSCALL_CHECK=y CONFIG_HAVE_FUNCTION_TRACER=y CONFIG_HAVE_DYNAMIC_FTRACE=y CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y # # Tracers # # CONFIG_FUNCTION_TRACER is not set # CONFIG_IRQSOFF_TRACER is not set # CONFIG_SYSPROF_TRACER is not set # CONFIG_SCHED_TRACER is not set # CONFIG_CONTEXT_SWITCH_TRACER is not set # CONFIG_BOOT_TRACER is not set # CONFIG_STACK_TRACER is not set # CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set # CONFIG_DYNAMIC_PRINTK_DEBUG is not set # CONFIG_SAMPLES is not set CONFIG_HAVE_ARCH_KGDB=y # CONFIG_KGDB is not set # CONFIG_STRICT_DEVMEM is not set CONFIG_X86_VERBOSE_BOOTUP=y # CONFIG_EARLY_PRINTK is not set # CONFIG_DEBUG_STACKOVERFLOW is not set # CONFIG_DEBUG_STACK_USAGE is not set # CONFIG_DEBUG_PAGEALLOC is not set # CONFIG_X86_PTDUMP is not set # CONFIG_DEBUG_RODATA is not set # CONFIG_DEBUG_NX_TEST is not set # CONFIG_4KSTACKS is not set CONFIG_DOUBLEFAULT=y # CONFIG_MMIOTRACE is not set CONFIG_IO_DELAY_TYPE_0X80=0 CONFIG_IO_DELAY_TYPE_0XED=1 CONFIG_IO_DELAY_TYPE_UDELAY=2 CONFIG_IO_DELAY_TYPE_NONE=3 CONFIG_IO_DELAY_0X80=y # CONFIG_IO_DELAY_0XED is not set # CONFIG_IO_DELAY_UDELAY is not set # CONFIG_IO_DELAY_NONE is not set CONFIG_DEFAULT_IO_DELAY_TYPE=0 # CONFIG_CPA_DEBUG is not set # CONFIG_OPTIMIZE_INLINING is not set # # Security options # # CONFIG_KEYS is not set # CONFIG_SECURITY is not set # CONFIG_SECURITYFS is not set # CONFIG_SECURITY_FILE_CAPABILITIES is not set CONFIG_CRYPTO=y # # Crypto core or helper # # CONFIG_CRYPTO_FIPS is not set CONFIG_CRYPTO_ALGAPI=y CONFIG_CRYPTO_ALGAPI2=y CONFIG_CRYPTO_AEAD2=y CONFIG_CRYPTO_BLKCIPHER=y CONFIG_CRYPTO_BLKCIPHER2=y CONFIG_CRYPTO_HASH2=y CONFIG_CRYPTO_RNG2=y CONFIG_CRYPTO_MANAGER=y CONFIG_CRYPTO_MANAGER2=y # CONFIG_CRYPTO_GF128MUL is not set # CONFIG_CRYPTO_NULL is not set # CONFIG_CRYPTO_CRYPTD is not set # CONFIG_CRYPTO_AUTHENC is not set # CONFIG_CRYPTO_TEST is not set # # Authenticated Encryption with Associated Data # # CONFIG_CRYPTO_CCM is not set # CONFIG_CRYPTO_GCM is not set # CONFIG_CRYPTO_SEQIV is not set # # Block modes # CONFIG_CRYPTO_CBC=y # CONFIG_CRYPTO_CTR is not set # CONFIG_CRYPTO_CTS is not set CONFIG_CRYPTO_ECB=m # CONFIG_CRYPTO_LRW is not set CONFIG_CRYPTO_PCBC=m # CONFIG_CRYPTO_XTS is not set # # Hash modes # # CONFIG_CRYPTO_HMAC is not set # CONFIG_CRYPTO_XCBC is not set # # Digest # # CONFIG_CRYPTO_CRC32C is not set # CONFIG_CRYPTO_CRC32C_INTEL is not set # CONFIG_CRYPTO_MD4 is not set CONFIG_CRYPTO_MD5=y # CONFIG_CRYPTO_MICHAEL_MIC is not set # CONFIG_CRYPTO_RMD128 is not set # CONFIG_CRYPTO_RMD160 is not set # CONFIG_CRYPTO_RMD256 is not set # CONFIG_CRYPTO_RMD320 is not set # CONFIG_CRYPTO_SHA1 is not set # CONFIG_CRYPTO_SHA256 is not set # CONFIG_CRYPTO_SHA512 is not set # CONFIG_CRYPTO_TGR192 is not set # CONFIG_CRYPTO_WP512 is not set # # Ciphers # # CONFIG_CRYPTO_AES is not set # CONFIG_CRYPTO_AES_586 is not set # CONFIG_CRYPTO_ANUBIS is not set # CONFIG_CRYPTO_ARC4 is not set # CONFIG_CRYPTO_BLOWFISH is not set # CONFIG_CRYPTO_CAMELLIA is not set # CONFIG_CRYPTO_CAST5 is not set # CONFIG_CRYPTO_CAST6 is not set CONFIG_CRYPTO_DES=y # CONFIG_CRYPTO_FCRYPT is not set # CONFIG_CRYPTO_KHAZAD is not set # CONFIG_CRYPTO_SALSA20 is not set # CONFIG_CRYPTO_SALSA20_586 is not set # CONFIG_CRYPTO_SEED is not set # CONFIG_CRYPTO_SERPENT is not set # CONFIG_CRYPTO_TEA is not set # CONFIG_CRYPTO_TWOFISH is not set # CONFIG_CRYPTO_TWOFISH_586 is not set # # Compression # # CONFIG_CRYPTO_DEFLATE is not set # CONFIG_CRYPTO_LZO is not set # # Random Number Generation # # CONFIG_CRYPTO_ANSI_CPRNG is not set # CONFIG_CRYPTO_HW is not set CONFIG_HAVE_KVM=y # CONFIG_VIRTUALIZATION is not set # # Library routines # CONFIG_BITREVERSE=y CONFIG_GENERIC_FIND_FIRST_BIT=y CONFIG_GENERIC_FIND_NEXT_BIT=y # CONFIG_CRC_CCITT is not set # CONFIG_CRC16 is not set # CONFIG_CRC_T10DIF 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 ORe config: # # Automatically generated by configuration tool: don't edit # # # Supported network cards # # CONFIG_ORE_DDE24 is not set # CONFIG_ORE_PCNET32 is not set # CONFIG_ORE_TIGON3 is not set # CONFIG_ORE_EEPRO100 is not set CONFIG_ORE_E1000=y # CONFIG_ORE_NE2000 is not set # CONFIG_ORE_RTL8139 is not set # CONFIG_ORE_RTL8139CP is not set # CONFIG_ORE_SKGE is not set # CONFIG_ORE_SKY2 is not set # CONFIG_ORE_TULIP is not set # # Misc. features # CONFIG_ORE_EVENTS=y ORE_EVENTS_THREAD_PRIORITY=0E CONFIG_ORE_RX_QUOTA=100 # # Debugging # # CONFIG_ORE_DEBUGGING is not set grub script: kernel /boot/L4Linux/bootstrap modaddr 0x02000000 module /boot/L4Linux/main -nokdb -serial_esc -comspeed 115200 -comport 1 module /boot/L4Linux/sigma0 module /boot/L4Linux/roottask task modname "loader" allow_cli task modname "bmodfs" attached 5 modules module /boot/L4Linux/names module /boot/L4Linux/log module /boot/L4Linux/l4io module /boot/L4Linux/events module /boot/L4Linux/dm_phys --isa=0x00800000 -v --events module /boot/L4Linux/simple_ts -t 300 module /boot/L4Linux/rtc module /boot/L4Linux/ore module /boot/L4Linux/l4con module /boot/L4Linux/bmodfs module /boot/L4Linux/l4linux263.cfg module /boot/L4Linux/libloader.s.so module /boot/L4Linux/libld-l4.s.so module /boot/L4Linux/vmlinuz3 module /boot/L4Linux/drops.rd module /boot/L4Linux/loader --fprov=BMODFS l4linux263.cfg vbeset 0x117 L4Linux loader script: task "vmlinuz3" "mem=64M load_ramdisk=1 ramdisk_size=16384 root=/dev/ram l4env_rd=drops.rd" all_sects_writable allow_vga allow_cli boot log: Welcome to Fiasco(ia32)! DD-L4(v2)/ia32 microkernel (C) 1998-2009 TU Dresden Rev: r429 compiled with gcc 4.1.2 for Intel Pentium Pro [] Performance-critical config option(s) detected: CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR is off Enabling special fully nested mode for PIC Using the PIT (i8254) on IRQ 0 for scheduling 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:D:8:12) Model: Unknown CPU at 999 MHz 128 Entry I TLB (4K pages) 2 Entry I TLB (4M pages) 128 Entry D TLB (4K pages) 8 Entry D TLB (4M pages) 32 KB L1 I Cache (8-way associative, 64 bytes per line) 32 KB L1 D Cache (8-way associative, 64 bytes per line) 0 KB L2 U Cache (0-way associative, 0 bytes per line) Freeing init code/data: 24576 bytes (6 pages) Calibrating timer loop... done. SIGMA0: Hello! KIP @ 1000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures Roottask. Command line found: "/boot/L4Linux/roottask task modname "loader" allow_cli ta sk modname "bmodfs" attached 5 modules" 1015359kB ( 991MB) total RAM (reported by bootloader) 945484kB ( 924MB) received RAM from Sigma0 32640kB ( 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 (loader): vm_offs:0 irq:3ffff lmcp:ffff allow_cli:1 mcp:ff prio:10 small:ff mods:0 configured task 0x00 (bmodfs): vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:5 Roottask: Loading 16 modules. #05: loading "/boot/L4Linux/names" from [02132000-021735fd] to [002d0000-002d68b7][002d7000-002e2000] entry at 0006036c via trampoline page code symbols at [3a3fe000-3a400000] (8kB), lines at [3a3f8000-3a3fe000] (24kB) #06: loading "/boot/L4Linux/log" from [02174000-021b25c0] to [00400000-00406fea][00407000-00439848] entry at 0006136c via trampoline page code symbols at [3a3f6000-3a3f8000] (8kB), lines at [3a3f0000-3a3f6000] (24kB) #07: loading "/boot/L4Linux/l4io" from [021b3000-02420cee] to [00c20000-00c44835][00c45000-00cb3000] entry at 0006236c via trampoline page code symbols at [3a39a000-3a3f0000] (344kB), lines at [3a380000-3a39a000] (104kB ) #08: loading "/boot/L4Linux/events" from [02421000-02461c62] to [01540000-01548d70][01549000-0155e5d0] entry at 00063370 via trampoline page code symbols at [3a37e000-3a380000] (8kB), lines at [3a377000-3a37e000] (28kB) #09: loading "/boot/L4Linux/dm_phys --isa=0x00800000 -v --events" from [02462000-024fd17d] to [01500000-01513a57][01514000-0151e000] entry at 0006438c via trampoline page code symbols at [3a372000-3a377000] (20kB), lines at [3a364000-3a372000] (56kB) #0a: loading "/boot/L4Linux/simple_ts -t 300" from [024fe000-0254b625] to [01400000-01408bea][01409000-01418608] entry at 00065378 via trampoline page code symbols at [3a362000-3a364000] (8kB), lines at [3a35a000-3a362000] (32kB) #0b: loading "/boot/L4Linux/rtc" from [0254c000-0257c23b] to [01080000-010846c0][01085000-0108a000] entry at 0006736c via trampoline page code symbols at [3a358000-3a35a000] (8kB), lines at [3a353000-3a358000] (20kB) #0c: loading "/boot/L4Linux/ore" from [0257d000-027e9740] to [01800000-0184b982][0184c000-01878000] entry at 0006836c via trampoline page code symbols at [3a345000-3a353000] (56kB), lines at [3a30b000-3a345000] (232kB) #0d: loading "/boot/L4Linux/l4con" from [027ea000-02971b11] to [00b00000-00b51551][00b52000-00b72000] entry at 0006936c via trampoline page code symbols at [3a2fe000-3a30b000] (52kB), lines at [3a2cb000-3a2fe000] (204kB) #0e: loading "/boot/L4Linux/bmodfs" from [02972000-02a1829a] to [01220000-012383c9][01239000-01250000] passing module /boot/L4Linux/l4linux263.cfg [ 02a19000-02a19088 ] passing module /boot/L4Linux/libloader.s.so [ 02a1a000-02ab6eee ] passing module /boot/L4Linux/libld-l4.s.so [ 02ab7000-02b2fc39 ] passing module /boot/L4Linux/vmlinuz3 [ 02b30000-02e99fcf ] passing module /boot/L4Linux/drops.rd [ 02e9a000-03e9a000 ] entry at 0006a44c via trampoline page code symbols at [3a2c6000-3a2cb000] (20kB), lines at [3a2b3000-3a2c6000] (76kB) #0f: loading "/boot/L4Linux/loader --fprov=BMODFS l4linux263.cfg" from [03e9a000-03f75766] to [01300000-01327fa9][01328000-01347000] entry at 0006b38c via trampoline page code symbols at [3a2ac000-3a2b3000] (28kB), lines at [3a292000-3a2ac000] (104kB) ROOT: Sending ports 0070-0070 to task #0b ROOT: Sending ports 0080-0080 to task #0b ROOT: Sending ports 0071-0071 to task #0b rtc | Date:24.02.2009 Time:23:22:28 simplets| Configured for 300 tasks. DMphys | DMphys memory map: DMphys | phys. memory 0x00000000-0x3dff0000 (from L4 kernel info page) DMphys | using 0x00100000-0x3dff0000 DMphys | Memory area Pool PS Flags DMphys | 0x00000000-0x0009f000 -- -- RESERVED DMphys | 0x00100000-0x00161000 -- -- RESERVED DMphys | 0x00161000-0x001da000 -- -- DENIED DMphys | 0x001da000-0x002ac000 7 12 MAPPED DMphys | 0x002ac000-0x002ad000 -- -- DENIED DMphys | 0x002ad000-0x002d0000 7 12 MAPPED DMphys | 0x002d0000-0x002e2000 -- -- DENIED DMphys | 0x002e2000-0x00400000 7 12 MAPPED DMphys | 0x00400000-0x0043a000 -- -- DENIED DMphys | 0x0043a000-0x00a27000 7 12 MAPPED DMphys | 0x00a27000-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-0x01878000 -- -- DENIED DMphys | 0x01878000-0x01c00000 0 12 MAPPED DMphys | 0x01c00000-0x02800000 0 22 MAPPED DMphys | 0x02800000-0x02a19000 0 12 MAPPED DMphys | 0x02a19000-0x03e9a000 -- -- DENIED DMphys | 0x03e9a000-0x04000000 0 12 MAPPED DMphys | 0x04000000-0x3a000000 0 22 MAPPED DMphys | 0x3a000000-0x3a292000 0 12 MAPPED DMphys | 0x3a292000-0x3dff0000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 919128KB total, 919128KB free, 32KB reserved DMphys | 0x00a27000-0x00b00000 ( 868KB, 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 | 0x01878000-0x02a19000 ( 18052KB, 18MB) free DS: DMphys | 0x03e9a000-0x3a292000 (888800KB, 868MB) free DS: DMphys | pool 7 (ISA DMA memory pool): DMphys | size: 8192KB total, 8192KB free, 0KB reserved DMphys | 0x001da000-0x002ac000 ( 840KB, 1MB) free DS: DMphys | 0x002ad000-0x002d0000 ( 140KB, 0MB) free DS: DMphys | 0x002e2000-0x00400000 ( 1144KB, 1MB) free DS: DMphys | 0x0043a000-0x00a27000 ( 6068KB, 6MB) free DS: bmodfs | Passed the following modules: bmodfs | module "/boot/L4Linux/l4linux263.cfg" (1kB) bmodfs | module "/boot/L4Linux/libloader.s.so" (628kB) bmodfs | module "/boot/L4Linux/libld-l4.s.so" (484kB) bmodfs | module "/boot/L4Linux/vmlinuz3" (3496kB) bmodfs | module "/boot/L4Linux/drops.rd" (16384kB) loader | Can't map tbuf status page con | Using fast memcpy. loader | vmlinuz3: Starting application using libld-l4.s.so loader | vmlinuz3,#10: Loading binary io | Using platform configuration 'x86' ROOT: Sending ports 0cfb-0cfb to task #07 ROOT: Sending ports 0cf8-0cfb to task #07 ROOT: Sending ports 0cfe-0cff to task #07 io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) ROOT: Sending ports 0cfc-0cff to task #07 io | PCI: Ignoring BAR0-3 of IDE controller 00:1f.1 io | Transparent bridge - Intel Corporation 82801 PCI Bridge io | 00000000-ffffffff : PCI mem io | 80000000-800003ff : Intel Corporation 82801DB (ICH4) IDE Controller io | d8000000-dfffffff : Intel Corporation 82852/855GM Integrated Graphi io : cs Device io | e0000000-e7ffffff : Intel Corporation 82852/855GM Integrated Graphi io : cs Device (#2) io | e8000000-e801ffff : Intel Corporation 82541GI Gigabit Ethernet Cont io : roller io | e8020000-e803ffff : Intel Corporation 82541GI Gigabit Ethernet Cont io : roller io | e8040000-e805ffff : Intel Corporation 82541GI Gigabit Ethernet Cont io : roller (#2) io | e8060000-e807ffff : Intel Corporation 82541GI Gigabit Ethernet Cont io : roller (#2) io | e80a0000-e80a00ff : PCI device 1106:3253 (VIA Technologies, Inc.) io | e8100000-e817ffff : Intel Corporation 82852/855GM Integrated Graphi io : cs Device (#2) io | e8180000-e81fffff : Intel Corporation 82852/855GM Integrated Graphi io : cs Device io | e8200000-e82003ff : Intel Corporation 82801DB/DBM (ICH4/ICH4-M) USB io : 2 EHCI Controller io | e8201000-e82011ff : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ io : ICH4-M) AC'97 Audio Controller io | e8202000-e82020ff : Intel Co0000-ffff : PCI IO io | 0500-051f : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ICH4-M) io : SMBus Controller io | 0cf8-0cff : PCI conf1 io | d000-d0ff : PCI device 1106:3253 (VIA Technologies, Inc.) io | d400-d43f : Intel Corporation 82541GI Gigabit Ethernet Controller ( io : #2) io | d500-d53f : Intel Corporation 82541GI Gigabit Ethernet Controller io | e000-e0ff : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ICH4-M) io : AC'97 Audio Controller io | e800-e81f : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ICH4-M) io : USB UHCI Controller #3 io | e900-e907 : Intel Corporation 82852/855GM Integrated Graphics Devic io : e io | eb00-eb1f : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ICH4-M) io : USB UHCI Controller #1 io | ec00-ec3f : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ICH4-M) io : AC'97 Audio Controller io | ed00-ed1f : Intel Corporation 82801DB/DBL/DBM (ICH4/ICH4-L/ICH4-M) io : USB UHCI Controller #2 io | f000-f00f : Intel Corporation 82801DB (ICH4) IDE Controller loader | vmlinuz3,#10: Loading ldso loader | vmlinuz3,#10: Starting libld-l4.s.so at 00013950 via 0000cc40 l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.28-l4-svn140 (alex@avalitov-vmware) (gcc version 4. l4lx : 1.2 20061115 (prerelease) (Debian 4.1.1-21)) #5 Tue Feb 24 16:46:40 M l4lx : SK 2009 l4lx | Binary name: vmlinuz3 l4lx | Linux kernel command line (5 args): mem=64M load_ramdisk=1 ramdisk_si l4lx : ze=16384 root=/dev/ram l4env_rd=drops.rd l4lx | Image: 00400000 - 0079b000 [3692 KiB]. l4lx | Areas: Text: 00400000 - 006a9000 [2724kB] (a bit longer) l4lx | Data: 006a9000 - 006cf6d4 [153kB] l4lx | Initdata: 006d2000 - 0070a000 [224kB] l4lx | BSS: 0070c000 - 0079af50 [571kB] l4lx | l4lx_thread_create: Created thread 10.03 (tamer0) l4lx | Tamer0 is 10.03 l4lx | Using tamed mode. ROOT: Sending all ports (for cli/sti) to task #0f l4lx | Got 65536 out of 65536 I/O ports l4lx | Connecting to l4io server. io | Available IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f 10 11 ] l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 10.04 (cpu0) l4lx | main thread will be 10.04 l4lx | l4env_register_pointer_section: addr = 006a9000 size = 401408 l4lx | sec-w-init: virt: 0x006a9000 to 0x0070afff [392 KiB] l4lx | Noncontiguous region for sec-w-init l4lx | sec-w-init: Number of physical regions: 2, 401408 Bytes l4lx | sec-w-init: 1: Phys: 0x012eb000 to 0x01300000, Size: 86016 l4lx | sec-w-init: 2: Phys: 0x00ba2000 to 0x00bef000, Size: 315392 l4lx | main thread: received startup message. l4lx | memory_setup: mem=64M load_ramdisk=1 ramdisk_size=16384 root=/dev/ram l4lx : l4env_rd=drops.rd l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main thread running, waiting... 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 | mainmem = c00000 con | Character size is 8x14, font has 256 characters con | VESA reports 1024x768@16 2048bpl (009b) [32576kB] con | Color mapping: red=11:5 green=5:6 blue=0:5 res=0:0 con | Mapped I/O video mem d8000000 => 02000000 [32576kB] via l4io con | Mapped I/O ctrl mem e8180000 => 00180000 [512kB] via l4io con | Found Intel (R) 915G adapter at e8180000 con | Backend scaler: no, color keying: no 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 0xb03d80 for callbacks. ROOT: Sending ports 0060-006f to task #07 l4lx | Done (1569 entries). con | serio: i8042 AUX port at 0x60,0x64 irq 12 ore | Softirq daemon starting ore | Initializing DDE page cache con | serio: i8042 KBD port at 0x60,0x64 irq 1 ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:3584 ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:3585 ore | unimplemented: pci_fixup_device l4lx | l4env_register_pointer_section: addr = 0070c000 size = 585728 l4lx | end: virt: 0x0070c000 to 0x0079afff [572 KiB] l4lx | end: Number of physical regions: 1, 585728 Bytes l4lx | end: 1: Phys: 0x01878000 to 0x01907000, Size: 585728 l4lx | memory_setup done l4lx | l4env_rd_path: drops.rd l4lx | Loading: drops.rd l4lx | INITRD: Size of RAMdisk is 16384KiB l4lx | RAMdisk from 04c00000 to 05c00000 [16384KiB] l4lx | l4lx_thread_create: Created thread 10.05 (timer.i0) l4lx | Jumping over 4x 'hlt' at 0x6dc00d l4lx | idler0: utcb=0xbff00400 10.04 l4lx | l4lx_thread_create: Created thread 10.06 (idler0) ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:3582 ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:3582 ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:24c2 ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:24c4 ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:24c7 ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:24cd ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:244e ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:24c0 ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:24cb ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:24c3 ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:24c5 ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:1076 ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 8086:1076 ore | unimplemented: pci_fixup_device ore | unimplemented: pci_fixup_device ore | _add_ddekit_device: Detected device: 1106:3253 ore | <6>Intel(R) PRO/1000 Network Driver - version 7.3.15-k2 ore | <6>Copyright (c) 1999-2006 Intel Corporation. ROOT: Sending ports d500-d53f to task #07 ore | L4RM: [PF] read at 0x00060008, ip 01802d14, src C.02 ore | [C.0] l4rm/lib/src/pagefault.c:81:__unknown_pf(): ore | unhandled page fault --PANIC, 'g' for exit------------------------------------IP: 0182f925 [ore.rm] (c.00) jdb: Best Regards, Alexander Valitov -- View this message in context: http://www.nabble.com/Problem-with-starting-ORe-tp22181637p22181637.html Sent from the L4 mailing list archive at Nabble.com.

2 5

Announcement: Genode OS Framework version 9.02 released
by Christian Helmuth 27 Feb '09

27 Feb '09

We are pleased to announce the release 9.02 of the Genode OS Framework. This release is focused on functional enhancements in two directions. The first direction is broadening the number of possible base platforms for the framework. Genode 9.02 is now available on the L4ka::Pistachio kernel. In the second direction, we are steadily advancing the functionality available on top of Genode. With this release, we introduce a basic networking facility and support for native Qt4 applications as major new features. Thanks to Genode's portability, these features become automatically available on all supported base platforms. We would like to thank Julian Stecklina for his initial port of Genode to L4ka::Pistachio and Christian Prochaska for his Qt4 library porting work. Release notes for version 9.02 ------------------------------ * Applications * Launchpad XML configuration option * Qt4 core and GUI library port * OS services and drivers * PS/2 driver scancode set 1 fixes * Linux 2.6 device driver environment * Networking * Linux-based driver for AMD Pcnet32 * uIP-based example web server * L4ka::Pistachio as new platform * Revised malloc implementation for the C library * Tool for ISO image creation and boot with Qemu Read our comprehensive release notes for the version 9.02 at our website http://genode.org/documentation/release-notes/9.02/ Download the release 9.02 of the Genode OS Framework from http://genode.org/download/latest-release/ Regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/

1 0

memory problems on Fiasco porting
by Tsai, Tung-Chieh 26 Feb '09

26 Feb '09

Dear all, I'm working on porting Fiasco to an ARM(922T) platform. Currently, I can get into kernel debugger, and successfully leave the `Calibrating timer loop'. But then I stuck in Thread::init_workload, fail to create sigma0_thread. ARM processor would raise a data abort exception and then goto 0xffff0010. It seems failed because trying to load an illegal virtual address at 0xc0080004, which doing this at : Kernel_thread::init_workload Thread::create Thread::maybe_create Thread::thread_lock Thread_lock::lock_dirty ... Switch_lock<Thread_lock_valid>::lock I guess the problem maybe becuase some architecture porting part still has problem, or because the sigma0_task create for sigma0_thread setting wrong memory space, because I've some memory space setting incorrect. Honestly, I don't know where setting the virtual address translation for 0xd0000000 ~ 0xc0000000(_tcbs_1 to phys_offset), is this range use for each thread's tcb ? And where can I get more information about Fiasco's memory layout? for example, what does Mem_layout::Tcbs and Mem_layout::User_max means? which range of memory is used for specific purpose, for example, I/O device(seems is 0xef100000 ~ ) ? Any advice is appreciate. Thanks. Best Regards, Tsai, Tung-Chieh

2 9

Fiasco properties
by Alexander Valitov 24 Feb '09

24 Feb '09

Hi, Here are my questions: 1. Which communication control mechanism is implemented in Fiasco? Is it "Clans and Chifs" as specified in "Lava Nucleus (LN) Reference Manual" or something else? 2. AFAIK Fiasco (at least in public repository) doesn't support SMP yet. But at the same time there was SMP/Fiasco project and work performed by Sven Schneider "Multiprocessor Support for the Fiasco Microkernel". Are there any plans or maybe approximate date when SMP support will be available? What about L4Env with SMP support? Best Regards, Alexander Valitov -- View this message in context: http://www.nabble.com/Fiasco-properties-tp22182475p22182475.html Sent from the L4 mailing list archive at Nabble.com.

2 1

DDE legacy kernel module as library
by Andre Puschmann 18 Feb '09

18 Feb '09

Hi list, I am doing a port of a rather large Linux kernel module to TUDOS. I am using DDE for linux26 which works quite good, so far. But I just started to work on that and I am still in an early phase of evaluation. I want to keep the legacy kernel module code inside a separate library which is than linked to my DDE application. The module's "init" method is included in the library but not inside the final binary. That's why it is not called by l4dde26_do_initcalls(). Can I somehow tell the linker to also include "module_init()"-functions from within a library? Best regards, Andre

4 5

Flips with L4Linux
by Alexander Valitov 18 Feb '09

18 Feb '09

Hello All, Could you please help me? I need to force L4Linux to use Flips’ TCP/IP stack instead of internal Linux’s TCP/IP implementation. Is it possible to do with minor effort? Thank you. Best Regards, Alexander Valitov -- View this message in context: http://www.nabble.com/Flips-with-L4Linux-tp22039465p22039465.html Sent from the L4 mailing list archive at Nabble.com.

2 3

log output in fiaso-ux
by Andre Puschmann 17 Feb '09

17 Feb '09

Hi everybody, I am quite new to L4 but currently writing some sort of demo/learning applications to get a deeper understanding. I am using fiasco-ux which is very useful as it allows really short "compile-and-try" cycles :-) I want to use the log pkg which works quite good when compiling applications with "MODE=sigma0" or "MODE=tiny" set inside the according Makefile. However, when using "MODE=l4env" (which is the default according to the bid manual and is also used in some examples) the log server somehow eats the printf's. Is there any way to get them back to the console? Or is this not even desired in that mode? I am currently loading the following additional libs: "names dm_phys l4io log l4env_pr". Best regards, Andre

2 7

L4Linux stub drivers & L4 drivers
by Alexander Valitov 17 Feb '09

17 Feb '09

Hi All, I’m new to L4Fiasco and L4Linux. I’ve managed to build and run L4Linux 2.6.28 using dope (thanks to this mail list). In the next step I would like to remove as much as possible hardware access operations from L4Linux to L4 servers. By splitting L4Linux driver into two parts, first one is the L4Linux stub driver which talks to second L4 server part which in its turn has a deal with access to hardware. Any form of multiplexing/demultiplexing of hardware between several L4Linux instances is not required at this stage, only monopolistic access. Actually, the ideal solution for me is where L4Linux doesn’t have direct access to hardware at all. I have some questions to community: 1. Is it generally possible? 2. What kind of native L4 or DDE drivers are available now? And what about corresponding stub drivers for L4Linux? 3. How should I configure L4Linux or maybe packages in /trunk/l4/pkg/ to remove as much as possible hardware access operations from L4Linux to L4 servers? Are there any ready-to-use L4Linux "config" files for this purpose? Thank you in advance. Best Regards, Alexander Valitov -- View this message in context: http://www.nabble.com/L4Linux-stub-drivers---L4-drivers-tp21852355p21852355… Sent from the L4 mailing list archive at Nabble.com.

2 5

FW: libgendep, compiling problems
by Protasio Ramirez, Joan 16 Feb '09

16 Feb '09

From: Protasio Ramirez, Joan Sent: Tuesday, January 13, 2009 5:04 PM To: 'hanwen(a)cs.uu.nl'; 'jork.loeser(a)inf.tu-dresden.de' Subject: libgendep, compiling problems Hi all, My name’s joan. I’m making an application which works with libgendep. I have tried once before with the library and I didn’t have problems. Unfortunately, this time I’m having problems with it. I have compiled the library (modifying some parameters in Makefile) but when I make a proof the shell shows me the message: ERROR: ld.so :object liobgendep.so from LD_PRELOAD cannot be preloaded : ignored Any help will be welcomed, Thank you very much Joan

2 9

[PATCH] fix uninitialized timer subsystem in dde26_test example
by Andre Puschmann 12 Feb '09

12 Feb '09

Hi, i had a problem while testing the dde26_test package. Arping complains the uninitialized timer subsystem (see log below). The trivial patch attached fixes this. <log> .. arping | open_nw_dev(): dev: 'eth0' arping | DDE26: Using uninitialized subsystem: dde26_timer arping | BUG(): /l4/tudos/src/l4/pkg/dde/linux26/lib/src/arch/l4/time arping : r.c:85 </log> Best regards, Andre

1 0

Problem of running L4Linux
by Adam Chang 09 Feb '09

09 Feb '09

Dear all: I have succeeded in building L4Linux, and then I tried to boot Fiasco and run L4Linux on VMware.When I tried to download your version of GRUB bootloader on SVN, it said "At revision 422", not downloaded something. So where can I download the source code of your version of GRUB bootloader? And is there some documentation of running L4Linux on Fiasco? Thanks! Best Regards. Adam Chang -- Adam Hung-Hsiang Chang windbread(a)gmail.com +886-987-335398 Wireless Networking and Embedded Systems Lab Graduate Institute of Networking and Multimedia National Taiwan University

5 17

Problem of booting L4Linux2.6
by lvmengxuan 18 Jan '09

18 Jan '09

I had some problem when I was booting L4linux2.6 on Fiasco1.2 . The following is my menu.lst =====Begin of menu.lst========= title L4Linux26/Fiasco+dope root (hd0,3) kernel /L4Linux/bootstrap modaddr 0x06000000 module /L4Linux/main -nowait -nokdb -serial_esc -comspeed 115200 -comport 1 module /L4Linux/sigma0 module /L4Linux/roottask task modname "bmodfs" attached 4 modules module /L4Linux/events module /L4Linux/names --events module /L4Linux/log --events module /L4Linux/dm_phys --isa=0x00800000 -v --events module /L4Linux/simple_ts -t 300 --events module /L4Linux/rtc --events module /L4Linux/l4io --noirq --events module #module /L4Linux/l4exec --events module /L4Linux/loader --fprov=BMODFS linux26.cfg module /L4Linux/bmodfs module /L4Linux/vmlinuz module /L4Linux/linux26.cfg module /L4Linux/libloader.s.so module /L4Linux/libld-l4.s.so =====End of menu.lst========= And the following is the loader script for L4linux =====Begin of l4linux26.cfg========= modpath "(hd0,3)/boot/L4Linux" task "vmlinuz" "earlyprintk=yes console=tty0,115200 init=1 mem=64M root=/dev/sda8" all_sects_writable =====End of l4linux26.cfg========= and the following is the problem when booting l4linux2.6: =====Begin of booting========= Welcome to Fiasco(ia32)! DD-L4(v2)/ia32 microkernel (C) 1998-2008 TU Dresden Rev: rUNKNOWN compiled with gcc 4.2.4 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:F:B:0) Model: Core 2 (Mero 128 Entry I TLB (4K pages) 272 Entry D TLB (4K pages) 48 Entry D TLB (4M pages) 32 KB L1 I Cache (8-way associative, 64 bytes per line) 32 KB L1 D Cache (8-way associative, 64 bytes per line) 4096 KB L2 U Cache (16-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: "/L4Linux/roottask task modname "bmodfs" s" 2087167kB (2038MB) total RAM (reported by bootloader) 2018440kB (1972MB) received RAM from Sigma0 12368kB ( 13MB) 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:4 Roottask: Loading 13 modules. #05: loading "/L4Linux/events" from [0612e000-0616f960] to [01540000-01548dd0][01549000 entry at 0005d068 via trampoline page code symbols at [7bbfe000-7bc00000] (8kB), lines at [7bbf7000-7bbfe000] (28kB) #06: loading "/L4Linux/names --events" from [06170000-061b1f63] to [002d0000-002d67b7][002d7000-002e2000] entry at 0005e070 via trampoline page code symbols at [7bbf5000-7bbf7000] (8kB), lines at [7bbef000-7bbf5000] (24kB) #07: loading "/L4Linux/log --events" from [061b2000-061f0df2] to [00400000-00406eca][00407000-00439828] entry at 0005f070 via trampoline page symbols at [7bbed000-7bbef000] (8kB), lines at [7bbe7000-7bbed000] (24kB) #08: loading "/L4Linux/dm_phys --isa=0x00800000 -v --events" from [061f1000-0628ce37] to [01500000-01513937][01514000-0151e000] entry at 00060088 via trampoline page code symbols at [7bbe2000-7bbe7000] (20kB), lines at [7bbd4000-7bbe2000] (56kB) #09: loading "/L4Linux/simple_ts -t 300 --events" from [0628d000-062db7e3] to [01400000-01408bea][01409000-01418608] entry at 0006107c via trampoline page code symbols at [7bbd2000-7bbd4000] (8kB), lines at [7bbca000-7bbd2000] (32kB) #0a: loading "/L4Linux/rtc --events" from [062dc000-0630c729] to [01080000-010845a0][01085000-0108a000] entry at 00063070 via trampoline page code symbols at [7bbc8000-7bbca000] (8kB), lines at [7bbc3000-7bbc8000] (20kB) #0b: loading "/L4Linux/l4io --noirq --events module" from [0630d000-0657bff7] to [00c20000-00c443e9][00c45000-00cb3000] entry at 00064080 via trampoline page code symbols at [7bb6d000-7bbc3000] (344kB), lines at [7bb53000-7bb6d000] (104kB ) #0c: loading "/L4Linux/loader --fprov=BMODFS linux26.cfg" from [0657c000-06659beb] to [01300000-01327e45][01328000-01347000] entry at 00065084 via trampoline page code symbols at [7bb4c000-7bb53000] (28kB), lines at [7bb32000-7bb4c000] (104kB) #0d: loading "/L4Linux/bmodfs" from [0665a000-066ffef1] to [01220000-01237f25][01238000-0124f000] passing module /L4Linux/vmlinuz [ 06700000-06 passing module /L4Linux/linux26.cfg [ 06a8d000-06a8d086 ] passing module /L4Linux/libloader.s.so [ 06a8e000-06b2b3fd ] passing module /L4Linux/libld-l4.s.so [ 06b2c000-06ba59d9 ] entry at 00066104 via trampoline page code symbols at [7bb2d000-7bb32000] (20kB), lines at [7bb1a000-7bb2d000] (76kB) ROOT: Sending ports 0070-0070 to task #0a ROOT: Sending ports 0080-0080 to task #0a ROOT: Sending ports 0071-0071 to task #0a log | /L4Linux/log: unrecognized option `--events' log | Unrecognized option: - ? log | Usage: /L4Linux/log <options>. Option list: log | [ -h | --help ] - this help log | [ -v | --verbose ] - verbose mode log | [ -l | --local ] - flush to local console log | [ -L | --nolocal ] - do not flush to local console log | [ -s | --comport num ] - flush to specified serial interface (0) log | [ -e | --serial-esc ] - enter kdebug on esc on seria log | [ -b | --buffer num ] - buffered mode (0) log | [ --flushprio num ] - priority of flusher thread (0x20) log | [ -p | --prio num ] - priority of main thread (0x20) names | Starting thread listening for `exit' events rtc | Date:18.01.2009 Time:20:00:40 simplets| Configured for 300 tasks. DMphys | DMphys memory map: DMphys | phys. memory 0x00000000-0x7f6a0000 (from L4 kernel info page) DMphys | using 0x00100000-0x7f6a0000 DMphys | Memory area Pool PS Fla DMphys | 0x00000000-0x0009f000 -- -- RESERVED DMphys | 0x00100000-0x00161000 -- -- RESERVED DMphys | 0x00161000-0x0021c000 -- -- DENIED DMphys | 0x0021c000-0x002ac000 7 12 MAPPED DMphys | 0x002ac000-0x002ad000 -- -- DENIED DMphys | 0x002ad000-0x002d0000 7 12 MAPPED DMphys | 0x002d0000-0x002e2000 -- -- DENIED DMphys | 0x002e2000-0x00400000 7 12 MAPPED DMphys | 0x00400000-0x0043a000 -- -- DENIED DMphys | 0x0043a000-0x00a69000 7 12 MAPPED DMphys | 0x00a69000-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-0x0124f000 -- -- DENIED DMphys | 0x0124f000-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-0x06400000 0 22 MAPPED DMphys | 0x06400000-0x06700000 0 12 MAPPED DMphys | 0x06700000-0x06ba6000 -- -- DENIED DMphys | 0x06ba6000-0x06c00000 0 12 MAPPED DMphys | 0x06c00000-0x7b800000 0 22 MAPPED DMphys | 0x7b800000-0x7bb1a000 0 12 MAPPED DMphys | 0x7bb1a000-0x7f6a0000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 2009736KB total, 2009736KB free, 32KB reserved DMphys | 0x00a69000-0x00c20000 ( 1756KB, 2MB) free DS: DMphys | 0x00cb3000-0x01080000 ( 3892KB, 4MB) free DS: DMphys | 0x0108a000-0x01220000 ( 1624KB, 2MB) free DS: DMphys | 0x0124f000-0x01300000 ( 708KB, 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-0x06700000 ( 83588KB, 82MB) free DS: DMphys | 0x06ba6000-0x7bb1a000 (1916368KB, 1871MB) free DS: DMphys | pool 7 (ISA DMA memory pool): DMphys | size: 8192KB total, 8192KB free, 0KB reserved DMphys | 0x0021c000-0x002ac000 ( 576KB, 1MB) free DS: DMphys | 0x002ad000-0x002d0000 ( 1 DMphys | 0x002e2000-0x00400000 ( 1144KB, 1MB) free DS: DMphys | 0x0043a000-0x00a69000 ( 6332KB, 6MB) free DS: io | /L4Linux/l4io: unrecognized option `--noirq' io | Enabling events support. bmodfs | Passed the following modules: bmodfs | module "/L4Linux/vmlinuz" (3633kB) bmodfs | module "/L4Linux/linux26.cfg" (1kB) bmodfs | module "/L4Linux/libloader.s.so" (629kB) bmodfs | module "/L4Linux/libld-l4.s.so" (487kB) loader | Can't map tbuf status page io | Using platform c ROOT: Sending ports 0cfb-0cfb to task #0b ROOT: Sending ports 0cf8-0cfb to task #0b ROOT: Sending ports 0cfe-0cff to task #0b io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) ROOT: Sending ports 0cfc-0cff to task #0b io | PCI: Ignoring BAR0-3 of IDE controller 00:1f.1 io | Transparent bridge - Intel Corporation 82801 PCI Bridge io | PCI: No IRQ known for interrupt pin A of device 00:1c.0. Please try u io : sing pci=bios io | PCI: No IRQ known for interrupt pin B of device 00:1c.1. Please try u io : sing pci=biosirq. io | 00000000-ffffffff : PCI mem io | d0000000-dfffffff : Intel Corporation 82G33/G31 Express Integrated io : Graphics Controller io | fe900000-fe9fffff : Intel Corporation 82G33/G31 Express Integrated io : Graphics Controller io | fea77c00-fea77fff : Intel Corporation 82801G (ICH7 Family) USB2 EHC io : I Controller io | fea78000-fea7bfff : Intel Corporation io : inition Audio Controller io | fea80000-feafffff : Intel Corporation 82G33/G31 Express Integrated io : Graphics Controller io | feb00000-febfffff : PCI Bus #02 io | febfc000-febfffff : Marvell Technology Group Ltd. 88E8056 PCI-E G io : igabit Ethernet Controller io | 0000-ffff : PCI IO io | 0400-041f : Intel Corporation 82801G (ICH7 Family) SMBus Controller io | 0cf8-0cff : PCI conf1 io | c800-c80f : Intel Corporation 82801GB/GR/GH (ICH7 Family) io : Controller io | c880-c883 : Intel Corporation 82801GB/GR/GH (ICH7 Family) SATA IDE io : Controller io | cc00-cc07 : Intel Corporation 82801GB/GR/GH (ICH7 Family) SATA IDE io : Controller io | d000-d003 : Intel Corporation 82801GB/GR/GH (ICH7 Family) SATA IDE io : Controller io | d080-d087 : Intel Corporation 82801GB/GR/GH (ICH7 Family) SATA IDE io : Controller io | d400-d41f : Intel Corporation 82801G (ICH7 Family) USB UHCI Control io : ler #4 io | d480-d49f : Intel Corporation 82801G (ICH7 Family) USB UHCI Control io : ler #3 io | d800-d81f : Intel Corporation 82801G (ICH7 Family) USB UHCI Control io : ler #2 io | d880-d89f : Intel Corporation 82801G (ICH7 Family) USB UHCI Control io : ler #1 io | dc00-dc07 : Intel Corporation 82G33/G31 Express Integrated Graphics io : Controller io | e000-efff : PCI Bus #02 io | e800-e8ff : Marvell Technology Group Ltd. 88E8056 PCI-E Gigabit E io : thernet Controller loader | vmlinuz: Starting application using libld-l4.s.so loader | vmlinuz,#e: Loading binary loader | vmlinuz,#e: Loading ldso loader | vmlinuz,#e: Starting libld-l4.s.so at 000138e0 via 0000cf48 l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.28-l4 (lvmengxuan@desktop) (gcc version 4.2.4 (Ubun l4lx : tu 4.2.4-1ubuntu3)) #2 Fri Jan 9 00:35:30 CST 2009 l4lx | Binary name: vmlinuz l4lx | Linux kernel command line (5 args): earlyprintk=yes l4lx : 00 init=1 mem=64M root=/dev/sda8 l4lx | Image: 00400000 - 007f5000 [4052 KiB]. l4lx | Areas: Text: 00400000 - 006c3000 [2828kB] (a bit longer) l4lx | Data: 006c3000 - 006edd7c [171kB] l4lx | Initdata: 006f0000 - 00735000 [276kB] l4lx | BSS: 00736000 - 007f447c [761kB] l4lx | l4lx_thread_create: Created thread 0e.03 (tamer0) l4lx | Tamer0 is 0e.03 l4lx | Using tamed mode. ROOT: Task #0c is not allowed to execute cli/sti loader | vmlinuz,#e: WARNING: Can't map I/O space, ROOT denies page (result=00 loader : 004000) loader | vmlinuz,#e: Not allowed to perform any I/O l4lx | Got 0 out of 65536 I/O ports l4lx | Connecting to l4io server. io | ffa0-ffafAvailable IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f io : 10 11 ] l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 0e.04 (cpu0) l4lx | main thread will be 0e.04 l4lx | l4env_register_pointer_section: addr = 006c3000 s l4lx | sec-w-init: virt: 0x006c3000 to 0x007f4fff [1224 KiB] l4lx | sec-w-init: Number of physical regions: 1, 1253376 Bytes l4lx | sec-w-init: 1: Phys: 0x01a5f000 to 0x01b91000, Size: 1253376 l4lx | main thread: received startup message. l4lx | memory_setup: earlyprintk=yes console=tty0,115200 init=1 mem=64M root l4lx : =/dev/sda8 l4lx | setup_l4env_memory: Forcing superpages for main memory l4lx | Main thread running, waiting... 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: 0x01c00000 to 0x05c00000, Size: 67108864 l4lx | Filling lower ptabs... l4lx | mainmem = c00000 l4lx | Done (1510 entries). l4lx | l4env_register_pointer_section: addr = 006c3000 size = 1253376 l4lx | end: virt: 0x006c3000 to 0x007f4fff [1224 KiB] l4lx | end: Number of physical regions: 1, 1253376 Bytes l4lx | end: 1: Phys: 0x01a5f000 to 0x01b91000, Size: 1253376 l4lx | memory_setup done [ 0.000000] Linux version 2.6.28-l4 (lvmengxuan@desktop) (gcc version 4.2.4 ( Ubuntu 4.2.4-1ubuntu3)) #2 Fri Jan 9 00:35:30 CST 2009 [ 0.000000] KERNEL supported cpus: [ 0.000000] Intel GenuineIntel [ 0.000000] AMD AuthenticAMD [ 0.000000] NSC Geode by NSC [ 0.000000] Cyrix CyrixInstead [ 0.000000] Centaur CentaurHauls [ 0.000000] Transmeta GenuineTMx86 [ 0.000000] Transmeta TransmetaCPU [ 0.000000] UMC UMC UMC UMC [ 0.000000] BIOS-provided physical RAM map: [ 0.000000] L4Lx-Memory: 0000000000000000 - 0000000000001000 (usable) [ 0.000000] L4Lx-Memory: 0000000000800000 - 0000000000a00000 (us [ 0.000000] L4Lx-Memory: 0000000000c00000 - 0000000004c00000 (usable) [ 0.000000] DMI not present or invalid. [ 0.000000] last_pfn = 0x4c00 max_arch_pfn = 0x100000 [ 0.000000] find_e820_area: start=7000 end=4c00000 size=5000 align=1000 [ 0.000000] 76MB LOWMEM available. [ 0.000000] find_e820_area: start=0 end=4c00000 size=1000 align=1000 [ 0.000000] mapped low ram: 0 - 04c00000 [ 0.000000] low ram: 00000000 - 04c00000 [ 0.000000] bootmap 00803000 - 00803980 [ 0.000000] bootmap 00803000 - 00803980 [ 0.000000] #0 [0000000000 - 0000001000] BIOS data page ==> [0000000000 - 0000001000] [ 0.000000] #1 [0000800000 - 0000803000] PGTABLE ==> [0000800000 - 0000803000] [ 0.000000] #2 [0000803000 - 0000804000] BOOTMAP ==> [0000803000 - 0000804000] [ 0.000000] Zone PFN ranges: [ 0.000000] DMA 0x00000000 -> 0x00000a00 [ 0.000000] Normal 0x00000a00 -> 0x00004c00 [ 0.000000] Movable zone start PFN for each node [ 0.000000] early_node_map[3] active PFN ranges [ 0.000000] 0: 0x00000000 -> 0x00000001 [ 0.000000] 0: 0x00000800 -> 0x00000a00 [ 0.000000] 0: 0x00000c00 -> 0x00004c00 [ 0.000000] Allocating PCI resources starting at 10000000 (gap: 4c00000:fb400 000) [ 0.000000] Built 1 zonelists in Zone order, mobility grouping on. Total pag es: 16745 [ 0.000000] Kernel command line: earlyprintk=yes console=tty0,115200 init=1 m em=64M root=/dev/sda8 [ 0.000000] console [earlykdb0] enabled --__early_ioremap----------------------------------------IP: 006fb3bb [l4lx.cpu0] (e.04) jdb: =====End of booting========= So the above is the problem，Could someone give me some advice how to solve this problem? Thanks a lot !!! Best Regards. LvMengxuan

2 1

Can't boot L4Linux2.4 on Pistachio
by lvmengxuan 18 Jan '09

18 Jan '09

Hi, I fetched L4KA::Pistachio and l4linux2.4) from CVS, compiled both on a Debian/unstable system and set up things according to the instructions at <http://l4ka.org/projects/l4linux/>. It seems to me that the Pistachio stuff runs fine -- I was able to run the pingpong program. However, when I try to run the Linux kernel, all I get is... init_emulibpager initialized to c0001 --- "unable to map generic bootinfo" --- Anyone can help me ? Thanks a lot !

2 1

l4_io_pci_find_*_call functions
by Shakthi Kannan 13 Jan '09

13 Jan '09

Hi, In tudos/l4/pkg/generic_io/lib/clientlib/pci.c, I see reference to these function calls: l4_io_pci_find_slot_call () l4_io_pci_find_device_call () l4_io_pci_find_class_call () l4_io_pci_find_read_config_byte_call () ... But, where are these functions defined? Thanks! SK -- Shakthi Kannan http://www.shakthimaan.com

2 1