l4-hackers September 2006

l4-hackers@os.inf.tu-dresden.de

12 participants
18 discussions

Start a nNew thread

List of L4Linux kernel parameters
by Andreas Niederl 15 Sep '06

15 Sep '06

Hi, does a list of the L4Linux kernel parameters (e.g. l4ser.vkey_irq) exist somewhere? Regards, Andi

3 3

Drops BID questions
by Andreas Niederl 14 Sep '06

14 Sep '06

Hi, the Building DROPS HOWTO states that by executing 'make' in the l4 directory everything will be built including Fiasco. My first question now is if there are any prerequisites for the BID to include Fiasco building, because Fiasco doesn't get touched by the BID for me. I also wanted to ask if Fiasco is included in the install target of the top-directory Makefile and if there are any plans to include an install target for L4Linux. For the latter, I've already made up something by reusing a slightly modified arch/i386/boot/install.sh script and added install targets to the Makefiles in arch/l4 and arch/l4/boot. Regards, Andi

2 3

get error when compiling fiasco-1.1 with gcc 4.1.2
by Zheng Da 14 Sep '06

14 Sep '06

I got fiasco-1.1-oskit.tar.bz2.tar and fiasco-1.1.tar.bz2.tar, and unpacked them into one directory. I have build the kernel successfully with gcc 3.x. But when my gcc updated to 4.1.2, I can't build the kernel at all. The two tar-balls are unpacked to the directory /storage/soft/l4/tmp/fiasco- 1.1 And the error I got is as follow: make[3]: Entering directory `/storage/soft/l4/tmp/fiasco-1.1/oskit/libkern' gcc -c -MD -DHAVE_CONFIG_H -I. -I../libkern/x86 -I../libkern/x86/trap -I../libkern/x86/pc -I../libkern -iquote -I.. -I.. -I../flux/c -nostdinc -g -O2 -march=i586 -Wall ../libkern/x86/base_cpu_init.c In file included from ../libkern/x86/base_cpu_init.c:22: ../flux/x86/base_trap.h:105: error: array type has incomplete element type make[3]: *** [base_cpu_init.o] Error 1 make[3]: Leaving directory `/storage/soft/l4/tmp/fiasco-1.1/oskit/libkern' make[2]: *** [libkern/all.MAKE] Error 2 make[2]: Leaving directory `/storage/soft/l4/tmp/fiasco-1.1/oskit' make[1]: *** [all] Error 2 make[1]: Leaving directory `/storage/soft/l4/tmp/fiasco-1.1/oskit' make: *** [../oskit] Error 2 Quite strange. Does anyone compile fiasco1.1 successfully with gcc 4.x?

2 3

Documentation generation and the build directory
by Andreas Niederl 12 Sep '06

12 Sep '06

Hi, I am using a build directory for building L4Env (O=build in Makeconf.local) and I am getting errors about missing files from the documentation rather often. An example would be: ! LaTeX Error: File `dataspaces' not found. I then have to manually copy the file from the documentation directory to the subdirectory of the build directory as in cp doc/l4env-concept/dataspaces.fig build/doc/l4env-concept Is this normal behaviour or am I doing something wrong, such that the files don't get copied to the subdirectory in build? Regards, Andi

2 2

As a beginner, hello, not working due to trap...
by WanKeun Jo 11 Sep '06

11 Sep '06

Hello, I'm WanKeun Jo. Thank you for your response, Adam Lackorzynski .. I attach more info about my system... >> grub's config file. ------------------------------------------------------ title Hello_World kernel (hd0,5)/fiasco/bootstrap -comport 1 -serial modaddr 0x02000000 module (hd0,5)/fiasco/fiasco -nokdb module (hd0,5)/fiasco/sigma0 module (hd0,5)/fiasco/roottask module (hd0,5)/fiasco/hello ------------------------------------------------------ >> Error Messages ----------------------------------------------------------------------- ......... 64 Entry I TLB (4K or 4M pages) 64 Entry D TLB (4k or 4M pages) 12K ?ops T Cache (8-way associative 8 KB L1 D Cache (4-way associative, 64 bytes per line) 256 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 16384 bytes (4 pages) EAX 00000000 EBX 00000014 ECX 00000005 EDX f0019e3d ESI 00000001 EDI 00004000 EBP f001ba08 ESP f001b9fc EIP f0012634 EFLAGS 00200046 CS 0008 SS 0010 DS 0023 ES 0023 FS 0023 GS 0023 trap 3 (Breakpoint), error 00000000, from kernel mode Panic: terminated due to trap Return reboots, "k" enters L4 kernel debugger... Rebooting ----------------------------------------------------------------------- >> My kernel configuration file http://dongtak.postech.ac.kr/~jowkju/mstsc/globalconfig.out How can I solve this problem?? Thank you!!!! - WanKeun Jo.

2 1

Project Ideas?
by Eric M. Hielscher 10 Sep '06

10 Sep '06

Hi all, My name is Eric Hielscher, and perhaps some of you will remember me as the student from Amsterdam who visited your group briefly this August. I'm looking to do a project related to L4 this semester in an attempt to familiarize myself with the codebase in preparation for my applying for PhD positions in the fall but after a short look at the websties haven't found an up-to-date listing of project ideas. Is there such a page? If not, do you have some ideas for properly-sized and properly-difficult projects that you'd like to see done? Thanks and regards, -- Eric Hielscher http://ehielscher.org

2 1

As a beginner, hello, not working due to trap...
by 조완근 10 Sep '06

10 Sep '06

Hello!!   I'm a totally newbie at L4-Fiasco. I have tried to run the hello program with the fiasco kernel since yesterday. I just want the following commands in menu.lst of grub work well so that I can see the "hello" message.   ------------------------------------------------------ title       Hello_World kernel      (hd0,5)/fiasco/bootstrap -comport 1 -serial modaddr     0x02000000 module      (hd0,5)/fiasco/fiasco -nokdb module      (hd0,5)/fiasco/sigma0 module      (hd0,5)/fiasco/roottask module      (hd0,5)/fiasco/hello ------------------------------------------------------ I can solve the "modaddr" problem with grub-0.97 by installing grub-0.90 in a floppy disk. And then I'm now in a stuck with the following error.   ----------------------------------------------------------------------- ......... 64 Entry I TLB (4K or 4M pages) 64 Entry D TLB (4K or 4M pages) 12k u-ops T Cache (8-way associative)     8 KB L1 D Cache (4-way associative, 64 bytes per line) 256 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 16384 bytes(4 pages) .... Registers' contents showed.... trap 3 (Breakpoint), error 00000000 from kernel mode Panic: terminated due to trap Return reboots, "k" enters L4 kernel debugger... -----------------------------------------------------------------------   I've already tried modifying kernel option so many times. But it didn't work.   How can I solve this problem??     Thank you!!   Jo.

2 1

dice bug?
by Spring, Ryan C 06 Sep '06

06 Sep '06

When I compile the following idl statement: library kpr { interface memserv { void foo([out] fpage *thepage,[in] int size); }; }; It produces the following memserv-client.c ... if (l4_ipc_fpage_received(_dice_result)) else { ... This causes compile errors because of the empty if. This is obviously an epsilon change to fix, just wondered if this is a bug in the dice compiler or is my idl somehow wrong? Regards, Ryan Spring --- Ryan Spring Doctoral Student University of Texas at El Paso (UTEP) Cell: +1 915-539-7311 (when in USA) Alt Cell: +49 179-9624406 (when in Germany) http://www.spring-west.net/ryan

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers September 2006