- l4-hackers - example.com Site

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

Ore on Intel Pro/1000
by Michael Scheibel 07 Feb '06

07 Feb '06

Hello list, I am running Ore on native HW and Intel(R) PRO/1000 Network Connection. Ore seems to recognize the network card correctly but quits when I try to setup eth0. L4Linux error message: eth0: Overwriting IRQ type for IRQ 0 with l4ore type! eth0: request_irq(0, ...) failed. Any hint highly appreciated. Regards, Michael -- Sirrix AG security technologies - http://www.sirrix-ag.de Michael Scheibel eMail: m.scheibel(a)sirrix.com Tel +49(234) 610 071-124 Public key on demand Fingerprint 009B 9963 7B28 4356 CA43 5BFD 17A4 AE0F 6943 4B54 This email may contain confidential legal information: if received by not authorised person please advice our firm and destroy it. Anyway every transmitted information shall be treated strictly confidentially.

3 6

Fiasco and L4Linux for ARM926 (Nokia770)
by Delitsyn Igor 07 Feb '06

07 Feb '06

Hi fellow L4 hackers, We´d like to port Fiasco kernal to ARM926 processor, which is used in Nokia770 internet tablet device. Later we plan to run L4Linux on the device as well. We would really appreciate any recommendations from you on how to proceed and links to necessary resources, especially from those who made the porting to SA1110 and PXA. Best regards, Igor

3 2

Ada L4
by Frederic BOYER 03 Feb '06

03 Feb '06

Hi L4'er ... We have began to rewrite a L4 lib with Ada and by now : - We have all L4 types (threads, ...) - We make system calls - We Allocate memory - We have a minimal support exceptions. Currently we are working on tasks. We'd like to get a little help from L4 teams in order to make our OS design. If some peoples in the L4 team have some experience with L4, please contact me. 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."

1 0

SPEC CPU 2000 Benchmarks
by Julian Grizzard 31 Jan '06

31 Jan '06

Hi all, Does anyone have any recent SPEC 2000 benchmarks comparing Linux to L4Linux running on Fiasco? I'm getting surprisingly high results running on a Pentium IV 2.53 GHz forcing memory to be 256M in both systems. I haven't even tweaked all the performance critical options in L4 to the "off" state yet. Thanks! Julian

4 5

gdb remote debugging + shared video ram question
by s6994440＠mail.inf.tu-dresden.de 30 Jan '06

30 Jan '06

Hello, I'm a l4 beginner. So I have 2 questions to standard issues (guess) . 1.: I followed the Building & Using Fiasco html to the debugging point. - I removed the -nowait Kerneloption - I edited the .gdbinit file with > file ../build_x862/kernel.image (current compiled kernel) > target remote /dev/ttyS0 (debugging on COM1) - When fiasco comes up, I start gdb and immediatly after that my testmachine reboots, when it comes back up everytime i type c in my host debugger it reboots again. - When I use > file ../build_x86/kernel.image, a kernelimage I built some time ago, gdb says > 0x00000000 in ?? () and again, when I press c it reboots. - There was no KDB::Init- Message at all. - I expected the kernel to continue normal operation like with the "nowait" option after pressing c in the debugger..., Am I wrong ? - Kernelconfiguration in globalconfig.out - My menu.lst: 38 title fiasco 39 kernel $(P)/bootstrap 40 modaddr 0x02000000 41 module $(PF)/fiasco-o -comport 1 -comspeed 115200 42 module $(P)/sigma0 43 module $(P)/roottask 2.: My testmachine is an Advantech PCM 5820. It shares the video mem with normal RAM. When I boot up DOpE I get several error messages (see file error.txt) The following lines put L4io about my video: io | 40800000-40ffffff : Cyrix Corporation 5530 Video [Kahlua] io | WARNING: Cannot handle memory 40800000-40ffffff for device 1078:0104 So I guess it couldn't get the RAM it wanted to ? When I tried to boot up with L4Con these messages appeared : con | Mapping I/O video mem 40800000 => 00400000+000000 [4096kB] con | [8.2] l4con/server/src/con_hw/iomem.c:61:map_io_mem(): con | I/O video memory address is below 2GB (0x80000000), con | don't know how to map it as device super I/O page. So I guess my video mem is mapped to 0x00400000 via Hardware ? DM_Phys has allocated this AREA (0x00400000-0x00800000). So I tried to reserve this area with its --reserve option. Plus I dissabled L4log for the moment because it was mapped into the AREA by the roottask. But it didn't help, maybe already sigma0 has this area, so i cannot be remapped ?! So I read a little along the source of sigma0, but didn't find anything yet... Hopefully you can help me ?! Thanks, Marcus

2 1

problems with drops <math.h> and '-lm' linkage
by Vladimir Nikolov 30 Jan '06

30 Jan '06

Hello, I have problems with drops and the std C mathematical library. For my project, I am working on a package which is linked against a static user-library. This library on itslef uses <math.h>, e.g. the functions sin, cos, pow, a.s.o. ..., and is linked by gcc with "-lm". When linking the executable of the package without including "-lm" in "LIBS" of the package Makefile, simmilar output messages are generated: ../../../../../lib/x86_586/l4v2/my-user-lib.a(src_file.o): In function `myFunc': src_file.c:(.text+0x466): undefined reference to `log' src_file.o:(.text+0x477): undefined reference to `log' src_file.o:(.text+0x490): undefined reference to `pow' src_file.o:(.text+0x490): undefined reference to `sqrt' src_file.o:(.text+0x490): undefined reference to `cos' src_file.o:(.text+0x525): undefined reference to `__assert_fail' ... I am linking in "l4env_freebsd" mode and the appropiate user-library is found, as I assume by the output message, but not the implementation of the <math.h> functions, which should come with a libm.a ... Linking with "-lm" in the freebsd mode sends the following output: ../../../../../lib/x86_586/l4v2/my-user-lib.a(src_file.o): In function `myFunc': src_file.c:(.text+0x525): undefined reference to `__assert_fail' /usr/lib/gcc-lib/i486-linux-gnu/3.3.6/../../../libm.a(k_standard.o): In function `__kernel_standard': : undefined reference to `__errno_location' /usr/lib/gcc-lib/i486-linux-gnu/3.3.6/../../../libm.a(k_standard.o): In function `__kernel_standard': : undefined reference to `__errno_location' /usr/lib/gcc-lib/i486-linux-gnu/3.3.6/../../../libm.a(k_standard.o): In function `__kernel_standard': : undefined reference to `__errno_location' /usr/lib/gcc-lib/i486-linux-gnu/3.3.6/../../../libm.a(k_standard.o): In function `__kernel_standard': : undefined reference to `__errno_location' /usr/lib/gcc-lib/i486-linux-gnu/3.3.6/../../../libm.a(k_standard.o): In function `__kernel_standard': : undefined reference to `__errno_location' /usr/lib/gcc-lib/i486-linux-gnu/3.3.6/../../../libm.a(k_standard.o):: more undefined references to `__errno_location' follow /usr/lib/gcc-lib/i486-linux-gnu/3.3.6/../../../libm.a(k_standard.o): In function `__kernel_standard': : undefined reference to `__assert_fail' collect2: ld returned 1 exit status Does anyone have any solution for this problem? I thought about searching another math library, which does not use standard C math functions and trying to compile it as a library in a drops package by including 'lib.mk' in the appropiate Makefile. I am not really shure, if this would really solve my problem, or just keep me fighting with other incompatibility problems. Is there no other possibility to use mathematical functions in any drops application, or perhaps another linkage concept or configuration? I hope for some replies ;-) Vladimir

2 2