- l4-hackers - example.com Site

Static Linux kernel, anyone?
by Stefan Schulz 09 Apr '06

09 Apr '06

Hi there I am currently trying to build a static linux kernel (one usable without libloader). I have read the earlier thread in this mailing list, but have run into some problems. I tried adding libraries to fix undefined references, since merely adding the static dependencies of libloader.s.so did not work. Finally, i hit upon references such as __l4sys_abs_ipc_fixup, which frankly looks like something i should not have to care about. ;) A quick scan through the libraries also seemed to indicate that it isn't even exported by any library. So, what am i doing so fundamentally wrong? Is there a way to build a static linux binary, or is it just intrinsically tied to the loader?

2 1

L4Linux and AMD64
by Zephiris 09 Apr '06

09 Apr '06

I haven't been looking around at things very long, but I was noticing, while Fiasco largely supports AMD64 processors in 64-bit mode, L4Linux appears to specifically avoid it. I couldn't find any references for this, will it ever be supported? It's something I was excited about/meaning to try, but as my system is setup with 64-bit binaries in mind, it looks like the only way to test it would be for L4Linux to support that.

2 1

Re: Building the environment fails
by Alexander Boettcher 05 Apr '06

05 Apr '06

1 0

Re: Building the environment fails
by Alexander Boettcher 05 Apr '06

05 Apr '06

1 0

Building the environment fails
by Stefan Schulz 05 Apr '06

05 Apr '06

Sorry for using this ML as my personal helpdesk, but i believe there is a problem in the build process for l4env. I checked the current version out from CVS, and used "make config" to configure. While "make" was running, the process failed with ... Compiling ARCH-all/libc/misc/internals/__uClibc_main.o LD_PRELOAD=/l4/tmp/l4/tool/gendep/libgendep.so GENDEP_TARGET=ARCH-all/libc/misc/internals/__uClibc_main.o GENDEP_BINARY=cc1 gcc -c -nostdinc -include ../../../lib/uclibc/ARCH-all/include/libc-symbols.h -DNDEBUG -D_LIBC -DSTATIC -DSYSTEM_x86_586 -DARCH_x86 -DCPUTYPE_586 -DL4API_ -DCONFIG_L4_CALL_SYSCALLS -DCONFIG_L4_ABS_SYSCALLS -I../ARCH-x86/include -I../ARCH-all/include -I../../../../../include/x86 -I../../../../../include -I/usr/lib/gcc/i686-pc-linux-gnu/3.4.5/include -fno-builtin -gstabs+ -g -O2 -fno-strict-aliasing -march=i586 -Wall -Wstrict-prototypes -fno-common /l4/tmp/l4/pkg/uclibc/lib/uclibc/ARCH-all/libc/misc/internals/__uClibc_main.c -o ARCH-all/libc/misc/internals/__uClibc_main.o /l4/tmp/l4/pkg/uclibc/lib/uclibc/ARCH-all/libc/misc/internals/__uClibc_main.c:2:49: l4/sys/consts.h: No such file or directory /l4/tmp/l4/pkg/uclibc/lib/uclibc/ARCH-all/libc/misc/internals/__uClibc_main.c:15: error: `L4_PAGESIZE' undeclared here (not in a function) make[4]: *** [ARCH-all/libc/misc/internals/__uClibc_main.o] Error 1 make[4]: Leaving directory `/l4/tmp/l4/pkg/uclibc/lib/uclibc/OBJ-x86_586' make[3]: *** [OBJ-x86_586] Error 2 make[3]: Leaving directory `/l4/tmp/l4/pkg/uclibc/lib/uclibc' make[2]: *** [virt_dep] Error 2 make[2]: Leaving directory `/l4/tmp/l4/pkg/uclibc' make[1]: *** [uclibc.headers] Error 2 make[1]: Leaving directory `/l4/tmp/l4/pkg' make: *** [pkg] Error 2 Even if i "fixed" this error (by manually defining L4_PAGESIZE", similar problems crept up all over the build, far too many to manually fix. I tried this build on an IBM T43, using current sources, gcc3.4.5 and make 3.80 Is the build process really broken, or am i doing something wrong?

1 0

Make hello stops with an error
by Ricard de Benito Panillo 05 Apr '06

05 Apr '06

Hi, the following error arises making 'hello': cc1: note: obsolete option -I- used, please use -iquote instead 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 gcc version 4.0.2 20051125 (Red Hat 4.0.2-8) on Fedora Core 4 Any hint? it seems that the compiler versions is newer than expected. Best regards, Ricard de Benito

2 1

I have new problem!
by chenggh04＠st.lzu.edu.cn 04 Apr '06

04 Apr '06

>Can you please give more details on what you did? I cannot really say >anything helpful on a generic "it doesn't work" statement. Thank adam lackorzynski(<adam(a)os.inf.tu-dresden.de>) for your help. Now I resolve last problem and the compilation fiasco in slackware (last time is debian) is ok. The execution of hello example is also good! Now I am ready for experiencing the fiasco-ux. I compile the package but runs badly. The error information is as follows: Fiasco-UX on Linux 2.4.31 (i686) Mapped 64 MB Memory + 0 KB Framebuffer + 0 MB Input Area on FD 3 Loading Module 0x00090000-0x00094e60 [sigma0-ux] Failed to open file: roottask But according to the instructions of Fiasco-ux website the information should be like this: Fiasco-UX on Linux 2.4.31 (i686) Mapped 64 MB Memory + 0 KB Framebuffer + 0 MB Input Area on FD 3 Loading Module 0x00070000-0x000955c0 [sigma0-ux] Loading Module 0x00100000-0x001b9ce0 [rmgr-ux] ... The addresses of the sigma0-ux are different! My configuration of fiasco is as follows: Target System Options >(UX) Target Platform (IA-32) Target CPU Family (K7) Target processor >(L4V2) Kernel ABI Version [ ] TCB size of 4k [ ] Fine-grained CPU time [Y] Graphical console (requires SDL library!) [Y] Network support Kernel Debugging >[Y] Generate inline code [ ] Do not compile assertions [Y] Compile without frame pointer [ ] Measure stack depth of threads [ ] Sanity checks in low level allocator [ ] Sanity checks at syscall entry/exit [Y] Compile with gstabs+ debugging information [Y] JDB kernel debugger [ ] JDB extended logging [ ] JDB accounting [ ] Miscellaneous JDB modules (ANY) Runtime warning level Compiling and Building >gcc C compiler g++ C++ compiler [ ] Verbose build process [ ] Do additional checks at build time and then make VERBOSE=@ according to the instruction of Fiasco-ux website but I don't find the option "Assembler IPC shortcut" . Please help me! Cheng

4 3

Why don't I have /bin/ directory in L4
by chenggh04＠st.lzu.edu.cn 03 Apr '06

03 Apr '06

Hi,Everybody: I am a beginner for L4. when I compile the L4 without any errors but finally I don't have the bin directory which inlcudes hello, rmgr and sigma0. Maybe I think there is lack of some packages in my install package. But the package is downloaded from the Fiasco official WebSite. I don't know why! Please help me! Chenggh

2 1

Lovelace Web-Site
by Frederic BOYER 30 Mar '06

30 Mar '06

By the way, Lovelace has now a little web-site (I've just began to do it) and there is a mailing list. Please visit The Lovelace web-site. http://lovelace.rochebrune.org Regards, Frédéric. "This message, including any attachments may contain confidential and privileged material; it is intended only for the person to whom it is addressed. Its contents do not constitute a commitment by Credit Agricole Cheuvreux except where provided for in a written agreement. Credit Agricole Cheuvreux assumes no liability or responsibility for the consequences arising out of a delay and/or loss in transit of this message, or for corruption or other error(s) arising in its transmission and for any misuse or fraudulent use which may be made thereof. If you are not the intended recipient, please contact us and abstain from any disclosure, use or dissemination. To the extent that this message contains research information and/or recommendations, these are provided on the same basis as Credit Agricole Cheuvreux's published research and the recipient must have regard to all disclosures and disclaimers contained therein."

2 1

L4Linux without libloader?
by Daniel Vandersee 23 Mar '06

23 Mar '06

Hi there, is it possible to compile L4Linux without the need of libloader.s.so (e.g. by using other libs) to have it statically linked? Thanks, Daniel

4 7

Reloading L4Linux problem
by Jugwan Eom 17 Mar '06

17 Mar '06

Hi. I encountered problems reloading L4Linux. After shutdown loaded L4Linux, I tried reloading the L4Linux (same configuration) using 'l' command in l4con but it didn't work(network device probe failed, lost ide disk interrupt). During booting L4linux showed "irq_thread: RMGR denied IRQ 14: code 0x1". Because I use l4con, I can see the system memory on bottom right. After shutdown loaded L4Linux, it still shows the same value before. Using 'a' command in l4con memory region used by previous L4Linux seem to be still allocated. IMHO, this is the source to fail to reloading L4Linux. Because memory region by used L4Linux includes the DMA region, reloading L4Linux cannot control the system device. Is this a bug in L4Linux or other L4Env server? Also, see the attached log. Best regards, -- Jugwan Eom

4 7

What is trampoline.S for?
by BVK Groups 17 Mar '06

17 Mar '06

Hi, Whenever i try to start executing first thread in a new address space, its pager is receiving pagefault (at 0x0000002b), eventhough none of the mapped code touches that place. Why is it? I found out that CHACMOS is mapping trampoline.S at that address. I What is this trampoline.S is for? I tried to understand trampoline.S code, but i couldn't. I didnt find any FAQ entry regarding this. Can anyone please help me here? NOTE: I am using pistachio-0.4 Thanks, -bvk

4 4

Announce: OS Group of TU Dresden (TUD:OS) releases Live-Demo CD
by Norman Feske 13 Mar '06

13 Mar '06

The OS Group of Technische Universität Dresden (TUD:OS) has released a live demo CD of our operating system project. Some highlights of the Demo CD include a new approach for securing graphical user interfaces called Nitpicker, multiple L4Linux kernels running at the same time on top of a L4/Fiasco, a survey on our reuse of device drivers on the TUD:OS platform, native Qt-applications, the DOpE windowing system and a prototype of a secure E-commerce application based on TUD:OS. More information, an ISO image, and screenshots are available at the demo CD website: http://demo.tudos.org Norman Feske TU Dresden Operating Systems Group

1 0

some weird performance result
by Sungkwan Heo 11 Mar '06

11 Mar '06

Hi all, I measured network I/O performance of native Linux-2.4 and Fiasco-1.2+L4Linux-2.4 using the netperf benchmark. The TCP streaming test results are following: Recv Socket Size bytes: Linux = 87380, L4Linux = 87380 Send Socket Size bytes: Linux = 16384, L4Linux = 16384 Send Message Size bytes: Linux = 16384, L4Linux=16384 Elapsed Time secs: Linux = 10.002, L4Linux = 10.002 Throughput MBytes/s: Linux = 11.22, L4Linux = 11.206 Utilization Send local % S: Linux = 11.359, L4Linux = 4.35 ... The last 2 lines indicates the network I/O throughput and CPU utilization for the network I/O. One weird thing is the L4Linux CPU utilization. It spent much less CPU cycles than the native Linux did. In my humble opinion, it is normal case because the L4 Fiasco schedules the L4Linux application (netperf) as a L4 process and L4Linux kernel doesn't have correct CPU usage information of the application. Is it correct?

2 1

config for 2 L4Linux instances
by Sungkwan Heo 11 Mar '06

11 Mar '06

Hi all, Is there anyone who succeeded in running multiple L4Linux (2.4 or 2.6) instances on native fiasco, not fiasco-ux? If so, could I share the configuration and howto? Especially, I want to boot L4Linux-2.4 mounting root disk partition where RedHat 9.0 is already installed. I expect that another L4Linux-2.4 image can be loaded MODFS or TFTP. However I can't figure out how I can setup my L4 box to load any application that I want from where I want. Another issue is the second L4Linux need another root partition or not. Is it possible to the first L4Linux use hard disk partition and the second one use ramdrive? And as far as I know, the main purpose of fiasco-ux is just emulation and not real solution that has similiar architecture to WMware. right?

2 1

Update on NICTA's secure embedded L4 project
by Kevin Elphinstone 10 Mar '06

10 Mar '06

Hi All, I'm please to announce the release of more information on the secure embedded L4 (seL4) project, including a reference manual of the experimental kernel API. You can get more info on the project's web page at http://www.ertos.nicta.com.au/research/sel4/ cheers - Kevin Dr. Kevin Elphinstone Senior Researcher and seL4 Project Leader National ICT Australia

1 0

L4.Sec Implementation
by Anton Soppelsa 08 Mar '06

08 Mar '06

Hi, My name is Anton Soppelsa and I'm doing a PhD course at the "Istituto Gas Ionizzati" (Ionized Gas Institute) in Padova (Italy). I am a control system engineer and at the moment I'm involved in some work with a Motorola mv5500 Single Board Computer installed in a VME rack. As I am a free software supporter and I don't like too much our working developing platform as is based on the proprietary VxWorks operative system. For this reason I am interested in GPL-ed real time operative systems. I read the specification of the L4.Sec system, but unfortunately I am not able to fully understand the concept of capability space. Probably this happens because I am one of those that need to see how things are made to catch the concept of what they really are. Even if I don't think, at this moment, that L4.Sec is exactly what I need (because speed is my real priority), I'm anyway curious about how it works. So if your new project is at a point where you actually have some structures, or classes implementing the capability space, will your team be so kind to send me that piece of code? I will read it with interest in my spare time. Many thanks, Anton

2 2

L4::Pistachio ARM GNU toolchain
by Shakthi Kannan 08 Mar '06

08 Mar '06

Greetings! I have downloaded pistachio-0.4.tar.bz2. I would like to know which GNU ARM toolchain needs to be used to cross-compile the above for ARM. Thanks, SK -- Shakthi Kannan, MS Software Engineer, Hexaware Technologies [E]: shakthimaan(a)yahoo.com [M]: (91) 98407-87007 [W]: http://www.shakthimaan.com [L]: Chennai, India __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com

1 0

l4linux-2.6 build error
by Sungkwan Heo 07 Mar '06

07 Mar '06

Hi all, Though I had some hard time to run l4linux-2.6, I still get build error. When I build l4linux-2.6, the following error occured. As far as I know, a global variable (xtime) was defined twice. First, l4/pkg/generic_io/lib/clientlib/ARCH-x86/io_info.S Second, some header file included in l4linux-2.6/kernel/sysctl.c Any suggestion will help me much! $ cd l4linux-2.6 $ make menuconfig ... $ make ... CC arch/l4/l4lxlib/l4env/task.o CC arch/l4/l4lxlib/l4env/thread.o AR arch/l4/l4lxlib/l4env/lib.a GEN .version CHK include/linux/compile.h UPD include/linux/compile.h CC init/version.o LD init/built-in.o LD .tmp_vmlinux1 /home/drops/l4linux-2.6-env/l4/lib/x86_586/l4v2/libio.a(io_info.o)(.ros pace+0xc): In function `xtime': : multiple definition of `xtime' kernel/built-in.o(.bss+0x9650):/home/drops/l4linux-2.6-env/l4linux-2.6/ kernel/sysctl.c:1666: first defined here make: *** [.tmp_vmlinux1] Error 1 $

2 4

make hello stops with an error
by Delitsyn Igor 03 Mar '06

03 Mar '06

Hi, I try to compile L4 kernel on x86 just to start with, but ¨make hello¨ results in an error in linking as follows: /usr/bin/ld: cannot find -lroot.o I was unable to locate this module manually. Any ideas? Thanks for taking a look at it. Best regards, Igor

3 2

Re: PowerPC interrupt setup
by Kay-Uwe.Genz 03 Mar '06

03 Mar '06

Hi Joshua, hi @ all, I start this year with first experiments in implementation of an kernel (based on L4.X2) on PowerPC, mostly to learn more about PowerPC/HW and design philosophies. So I read your posting with attention and have some questions ... and hope your answers would made it easier for my to understand. You recommend "enabling virtual addressing immediatly". Did I understand it right, that you use virtual memory in kernel mode? Is this only for protection or means this, the kernel memory is vitual? There are other kernels using virtual memory in kernel mode? My design doesn't have a kernel section in the tasks address space (on 32 bit machines a task is 4GB). I agonise to solve some of the problems with this design. In the case StringItems used to send Msg's from one space to another (means copy the information in the kernel) the message buffer on both sides can scattered and located across page bounderies. Handling this seems easier if the kernel has the same view to memory and pionters to memory regions (buffers) but this destroy my approach of lockfreeness, because the String Buffers in different tasks can by overlap or locate at the same virtual adress. (The sendphase of StringItems should by interruptable and at any time it should by possible to handle as much as possible StrinItem sends in the same time.) Handling this in kernel with the view of real memory avoid overlapping buffer regions from different threads. Do you see the issue like I and is there a solution I didn't see? As I see on the homepage, the kernel runs on a G3 (aka PPC750). So you use the normal hardware table search? Thanks for helping. Regards Kay-Uwe. Am 07.02.2006 um 17:35 schrieb Joshua LeVasseur: > > The PowerPC jumps to predefined code locations when delivering > interrupts and traps, starting at 0x100 (with virtual addressing > disabled). You only need to install code at those locations; > PowerPC has no interrupt descriptors. I recommend enabling virtual > addressing immediately, even while handling page faults; I've seen > other kernels implement excessive logic in assembler, executing in > physical mode; that isn't necessary. I enable virtual addressing > within 19 or so instructions. > > Maybe try volume 3 here: > http://www-128.ibm.com/developerworks/eserver/articles/archguide.html > I've never read those documents; I used the 603 architecture manual > when porting L4Ka::Pistachio. > > Consider reading about how I made my L4Ka::Pistachio PowerPC > implementation frigging fast: > http://l4ka.org/projects/pistachio/powerpc/ppc.pdf > It covers: > - Fast system calls (without wasting a register for a system call > number, unlike all other kernels out there that I've seen) > - Fast address space ID management (the way ASIDs were meant to be > managed on the PowerPC, and again, the other kernels out there are > doing it wrong) > - Fast page hash management. Most kernels perform O(n) searches > through the page hash when manually locating an entry. I instead > perform O(1) lookups. > > I recommend that you avoid looking at open source kernels for > guidance. They don't push the limits of PowerPC. > > -Josh > > > > On Feb 7, 2006, at 16:18, Matthias Lange wrote: > >> Hi, >> >> I am stuck with porting the Fiasco microkernel to PowerPC. I can't >> find any clear documentation about how to setup a interrupt >> description table. So, these are my questions: >> >> 1. How is an interrupt descriptor formed on PowerPC? How does it >> look? >> 2. Where (in memory) do I need to store these descriptors? >> >> The IBM PowerPC Programming Manual gives me a good overview but no >> information on how to implement it. Can someone please point me to >> some meaningful documentation? >> >> Regards, >> >> Matthias. >> > > >

2 2

trying to launch a server
by Xavier Grave 28 Feb '06

28 Feb '06

Hi all, Always playing with an OS implementation in Ada, I would like to launch a task in an new address space. I have read the example from l4uman-x2.pdf but threse is still some questions for me : - I need to send the task an instruction pointer and stack pointer but in which address space ? - does l4 translate it for me ? - I got a start address (I fink hardware address) from boot info for the server I want to launch does this pointer need translation ? Thanks in advance for any answer (or full example :) xavier PS: I have read part of the iguana code, but it is two much complicated for me for the moment...

1 0

Question about UTCB
by Jonathan S. Shapiro 24 Feb '06

24 Feb '06

This is a naive, simple question -- I looked in the reference manual and the answer did not jump out at me. When a process is preempted, where are its registers stored? Are the stored in the UTCB, or are they stored in some data structure that is only accessible to the kernel? Thanks shap

3 5

are there any more detailed document?
by Liu Jian 17 Feb '06

17 Feb '06

Hi all, I find the course "Microkernel Construction" is a good choice to newmen to Fiasco. If there was any detailed document about the design of Fiasco with it, it will be wonderful. If you know such documents, pls let me known and I will appreciate your direction. Moreover, I plan to give a series of seminars about Fiasco in our group based on the course documents. I also wonder how the teachers at Dresden to carry out the curse. cheers:) Liu Jian

1 0

PowerPC interrupt setup
by Matthias Lange 08 Feb '06

08 Feb '06

Hi, I am stuck with porting the Fiasco microkernel to PowerPC. I can't find any clear documentation about how to setup a interrupt description table. So, these are my questions: 1. How is an interrupt descriptor formed on PowerPC? How does it look? 2. Where (in memory) do I need to store these descriptors? The IBM PowerPC Programming Manual gives me a good overview but no information on how to implement it. Can someone please point me to some meaningful documentation? Regards, Matthias.

3 2