- l4-hackers - example.com Site

Problem beim starten von l4linux auf fiasco
by Rudolf Weber 15 Mar '03

15 Mar '03

Hallo, Vorbemerkung: Das starten von glinux bringt einen Fehler überlappender Module, Der Fiasco beginnt da, wo glinux liegt, folgende Änderung habe ich gemacht: --- ./l4/kernel/fiasco/src/Makerules.BOOT.vorrudi 2003-02-25 11:34:43.000000000 +0100 +++ ./l4/kernel/fiasco/src/Makerules.BOOT 2003-03-15 16:13:58.000000000 +0100 @@ -7,7 +7,7 @@ $(BOOT): kernel.o $(OBJ_BOOT) $(LIBKERN) $(MINILIBC) @echo " ... Building boot image" $(LINK_MESSAGE) - $(VERBOSE)$(LD) -Ttext 0x300000 -o $@ $^ $(LIBGCC) \ + $(VERBOSE)$(LD) -Ttext 0x400000 -o $@ $^ $(LIBGCC) \ -defsym checksum_ro=0x`cut -f1 -d' ' $(CHECKSUM)` \ -defsym checksum_rw=0x`cut -f2 -d' ' $(CHECKSUM)` chmod 755 $@ Das starten von grub aus: title L4 fiasco x586 l4v2 L4Linux kernel /l4-20030315-x586/rmgr -sigma0 module /l4-20030315-x586/fiasco.400000 module /l4-20030315-x586/sigma0 module /l4-20030315-x586/glinux root=/dev/hda2 Der glinux startet dann auch, und ganz zum Schluß : Warning: unable to open an initial console Root: ptc is NULL for 00080030 (virt 00080030) and pdir 00400000 at eip: 0050c11b Die Warnung kommt aus dem l4linux als ein open("/dev/console/") schief geht. (offenbar ging wohl das mounten von / nicht :-() Was will mir der rest sagen ? pdir sieht ganz so aus wie die Start-Adresse von Fiasco ? Was habe ich nur falsch gemacht ? Gruß Rudolf Weber -- -- --------------------------------------------------------------- Rudolf Weber http://www.infnet.verein.de/~rw E-Mail: rfweber(a)tesionmail.de

2 1

RE: Problem beim starten von l4linux auf fiasco
by Volkmar Uhlig 15 Mar '03

15 Mar '03

If you have overlapping modules you have no chance whatsoever. So you better fix that ;) I'm not too familiar with the FIASCO kernel boot process, but usually the problem is GRUB, not the kernel. GRUB loads the modules after all loaded elf sections of the initial kernel (which is RMGR in your case). RMGR then tries to load the modules as ELF files and figures out that some elf sections collide with the module locations and barks. This was the reason to add the modaddr feature to GRUB allowing to relocate the load address in main mem. Simply try sticking a modaddr=0x<whatevermemoryyouhave-16MB> after the kernel=rmgr line. Note, that this is only available in the Dresden version of GRUB, not the GNU GRUB (at least AFAIK). So bake yourself a boot floppy from http://os.inf.tu-dresden.de/~fm3/grub.html. The Linux error message is due to the kernel-debugger console in L4Linux. At the end Linux tries to open the console but since it does not support all required features Lx simply falls back to VGA. So this error can be ignored even if it sounds scary. - Volkmar PS: Please post in English -- most subscribers of this list don't understand a word of German (except maybe "Bier" ;) > -----Original Message----- > From: Rudolf Weber [mailto:rfweber@tesionmail.de] > Sent: Saturday, March 15, 2003 8:21 PM > To: l4-hackers(a)os.inf.tu-dresden.de > Subject: Problem beim starten von l4linux auf fiasco > > > Hallo, > > Vorbemerkung: > Das starten von glinux bringt einen Fehler überlappender Module, > Der Fiasco beginnt da, wo glinux liegt, > folgende Änderung habe ich gemacht: > --- ./l4/kernel/fiasco/src/Makerules.BOOT.vorrudi 2003-02-25 > 11:34:43.000000000 +0100 > +++ ./l4/kernel/fiasco/src/Makerules.BOOT 2003-03-15 > 16:13:58.000000000 +0100 > @@ -7,7 +7,7 @@ > $(BOOT): kernel.o $(OBJ_BOOT) $(LIBKERN) $(MINILIBC) > @echo " ... Building boot image" > $(LINK_MESSAGE) > - $(VERBOSE)$(LD) -Ttext 0x300000 -o $@ $^ $(LIBGCC) \ > + $(VERBOSE)$(LD) -Ttext 0x400000 -o $@ $^ $(LIBGCC) \ > -defsym checksum_ro=0x`cut -f1 -d' ' $(CHECKSUM)` \ > -defsym checksum_rw=0x`cut -f2 -d' ' $(CHECKSUM)` > chmod 755 $@ > > Das starten von grub aus: > title L4 fiasco x586 l4v2 L4Linux > kernel /l4-20030315-x586/rmgr -sigma0 > module /l4-20030315-x586/fiasco.400000 > module /l4-20030315-x586/sigma0 > module /l4-20030315-x586/glinux root=/dev/hda2 > > Der glinux startet dann auch, und ganz zum Schluß : > > Warning: unable to open an initial console > Root: ptc is NULL for 00080030 (virt 00080030) > and pdir 00400000 at eip: 0050c11b > > Die Warnung kommt aus dem l4linux als ein open("/dev/console/") schief > geht. (offenbar ging wohl das mounten von / nicht :-() > > Was will mir der rest sagen ? pdir sieht ganz so aus wie die > Start-Adresse von Fiasco ? > > Was habe ich nur falsch gemacht ? > > Gruß > Rudolf Weber

1 0

RE: enabling/disabling trampoline
by Volkmar Uhlig 15 Mar '03

15 Mar '03

This sounds like a problem with RMGR. Try either running L4Linux not using the "flat clan structure" (make xconfig) or enable the "Jochen compatibility/bug mode" for Hazelnut. Have you tried running the binaries of the provided RC2 tarball? They also contain a working L4Linux binary. - Volkmar > -----Original Message----- > From: Cristiano Ligieri Pereira [mailto:cpereira@ics.uci.edu] > Sent: Thursday, March 13, 2003 9:01 PM > To: Espen Skoglund > Cc: l4-hackers > Subject: Re: enabling/disabling trampoline > > > > I'm not managing to get hazelnut working properly. It boots > but then when > it creates the Linux panics with the following messages: > > Kernel panic: failed to create ping pong task > In swapper task = no syncing > --- Linux panic --- > > Might be something stupid but I can't figure it out. > Any suggestion? > > Cristiano.

7 8

enabling/disabling trampoline
by Cristiano Ligieri Pereira 13 Mar '03

13 Mar '03

Hi all, I understand that the trampoline mechanism slows down the execution because it adds one more level of "indirection" when handling system calls on l4-linux. I would like to run some experiments with/without it but I'm not quite sure on how to achieve it,i.e., disable and enable it back again. Do I have to recompile the whole kernel? Do I have to recompile only the Linux application I will run on the top of l4-linux? What exactly do I have to do? I'm pasting part of a message from mailing list in which Frank Mehnert mention something about a patch, which I could not find. Any help is appreciated. Thanks, Cristiano. > Additional speedup for L4Linux could be achieved by patching the > syscalls in the libc by direct jumping into the emulib of the process > preventing the trampoline mechanism (int 0x80 => general protection => > int 0x30 => l4linux server). I don't know if such a patch if floating > around somewhere. See linux22/arch/l4/x86/emulib/int_entry.S, function > entry13. ------------------------------------------------------------ Cristiano Ligieri Pereira - http://www.ics.uci.edu/~cpereira

5 10

a article about l4 vm
by Yu Neil 28 Feb '03

28 Feb '03

hello: where i can find the article: "L4's Recursive Virtual Memory Model, Design and Implementation Issues of a L4 V4 Mapping Database" ? there is no link at www.l4ka.org Neil Yu _________________________________________________________________ 与联机的朋友进行交流，请使用 MSN Messenger: http://messenger.msn.com/cn

1 0

(no subject)
by Yu Neil 24 Feb '03

24 Feb '03

hello: where i can find the ChacmOS , the old link http://l4ka.sourceforge.net/download/ChacmOS-src-RC1.tgz is unavailable, thanks a lot Neil Yu _________________________________________________________________ 享用世界上最大的电子邮件系统― MSN Hotmail。 http://www.hotmail.com

2 1

RMGR Documentation needed
by Daniel Koch 24 Feb '03

24 Feb '03

Hello Is there any good Documentation on RMGR available ? I need to know how I can load modules into specific areas of memory, because I got some overlapping module problems, almost the same as mentioned in the list before. The solution with l4ka GRUB using the feature modaddr doesn`t work for me, cause I use a different architecture (Athlon K7, Reiserfs). RMGR: loading (hd 2,0)/sigma0 RMGR: loading kernel (hd 2,0)/main -nokdb RMGR:overlaps:00300000 - 0030239c: (hd 2,0)/main -nokdb RMGR: 00100000 - 001be980 module 02 : 00231000 - 0023256c: (hd 2,0)/rmgr.cfg.linux module 03: 0023200 - 0032eb14: (hd 2,0)/glinux.gz root=/dev/sda3 overlaps = 1, mem_high = 0x0fff0000 RMGR: overlapping modules #!rmgr ### this is an example RMGR config file ### first, some global settings # small address spaces have a size of 64 MB small_space_size 0x04000000 # wait for key press after initialization bootwait ### configuration for Sigma0 and RMGR follows # NOTE: it's generally useless to specify any resource allocation # constraints for Sigma0 and RMGR here: most will be ignored because # these tasks statically allocate all of their resources. That's why # we only specify bootstrap parameters here. task sigma0 boot_priority 100 task rmgr boot_priority 100 # enable next line if you want RMGR to run in small address space # 3 #boot_small 3 ### configuration for boot modules follows task modname "glinux" # make sure this entry # corresponds to a Linux server boot_small 2 # small address space # 2 boot_priority 100 boot_mcp 0x90 # maximum controlled priority log_mcp 0x90 # logical maximum controlled priority # -- useful if "boot_mcp 0" child max 512 in [10, 1023] # at most 512 child tasks in that range memory in [0, 0x02000000] # use only lower 32 MB RAM high_memory in [0xc0000000, 0xffffffff] # use only hi memory in that range small in [1,3] # allow these small address # spaces to be allocated # enable next line if you want to disallow allocation if IRQs 3 and 4 # (IRQs for serial lines COM2 and COM1) # irq mask 0xffffffe7 end menu.1st: gfxmenu (hd2,0)/message color white/blue black/light-gray default 0 timeout 8 title linux kernel (hd2,0)/vmlinuz root=/dev/sda3 vga=791 initrd (hd2,0)/initrd title Linux other root (hd1,0) makeactive chainloader +1 title floppy root chainloader +1 title failsafe kernel (hd2,0)/vmlinuz.shipped root=/dev/sda3 ide=nodma apm=off acpi=off vga=normal nosmp maxcpus=0 disableapic 3 initrd (hd2,0)/initrd.shipped title Fiasco + "hello world" root (hd2,0) kernel (hd2,0)/rmgr-fiasco -sigma0 module (hd2,0)/main-fiasco -nokdb module (hd2,0)/sigma0-fiasco #module (hd2,0)/glinux root=/dev/sda3 module (hd2,0)/hello-fiasco title L4-Linux #root (hd2,0) kernel (hd2,0)/rmgr -configfile -sigma0 module (hd2,0)/main -nokdb #modaddr=0x03000000 module (hd2,0)/sigma0 module (hd2,0)/rmgr.cfg.linux module (hd2,0)/glinux root=/dev/sda3 no-scroll module (hd2,0)/hello -- ------------------------------------------------------------------------------------ "Schlage die Trommel und fürchte dich nicht" (Heinrich Heine) Daniel Koch Berlin

4 5

Ada run-time
by Nicholas Hannah 19 Feb '03

19 Feb '03

Hello, Is anyone interested in having the Ada run-time library running on L4? Has any work been done on this? I would consider contributing to an effort to get the core language going if there were others interested. I imagine it would be especially useful running on the StrongARM port of L4 for embedded systems development. chao, Nicholas

3 2

Re: Deterministic scheduling with local APIC
by Jacob Gorm Hansen 05 Feb '03

05 Feb '03

On Wed, Feb 05, 2003 at 09:09:35AM -0800, Uwe Dannowski wrote: > If you want to account time, then why are you interested in counting > instructions executed? I believe the number of instructions is more or less > irrelevant (unless you want to schedule other resources than just time). > > You can use the IA-32 processors' performance counters to enforce an > interrupt (or an NMI) after a certain number of events, be it cycles, > instructions, memory accesses, FPU ops ... If you care just about user > time, you can configure them to count only when executing in user mode. This sounds perfect, I need to control exactly how many instructions a thread gets per time slice, no matter how many interrupts arrive at the CPU in the mean time, so that scheduling becomes deterministic. If a thread is interrupted by a hardware interrupt after fx half its time slice, I need to know exactly how many instructions it has already run, and need to be able to grant it exactly what is missing after the interrupt has been processed by the kernel. If I can do this I should be able to guarantee that two user programs running on two machines, receiving the exact same input, will be in the exact same state at the same (logical) point in time. That means one will be able to take over from another in case of failure. It seems to me one could augment one of the IA32 L4 implementations with this functionality, connect two machines with some kind of FIFO link, a good hub which sends all packets to both of them, and have failover solved at full speed, without need to rewrite any user level software. Maybe this has already been done though. But as always the use of a microkernel seems to make things simpler. > Uwe best, Jacob

1 0

RE: Deterministic scheduling with local APIC
by Jacob Gorm Hansen 05 Feb '03

05 Feb '03

On Mon, 2003-01-13 at 16:06, Josh English wrote: > Jacob, Josh, I hope you don't mind me CCing this to the L4 list. > The largest problem I see with this scheme is that I cannot > conceive of a mechanism where the data sent to the CPU and > the failover CPU will not cause enormous delays. This is > because any failover system will require a confirmation of > the data received by the backup CPU. Even if the transport > and confirmation mechanism was hardware, the bottleneck > inherent in the design would render the system unfeasible in > a real-world implementation. I imagine that if the system is only ever accessed from the network, all the data that is to be duplicated comes from there. I suppose one could just use an Ethernet hub or similar hardware to make sure all Ethernet frames arrive at both hosts, coupled with a dedicated low-latency link between the hosts used for syncronisation (which given certain guarantees about the performance of the local Ethernet segment could be as simple as just each host counting all incoming frames and sharing the counter via the dedicated link). > Since my understanding of deterministic scheduling is that > in multiplicity scheduling, jobs are partitioned into > job types where the jobs in each type are identical. Then > the job is sent to any given machine as determined by the > scheduling mechanism. Thus sending every job to every > machine would cause much greater overhead than is justified > by having a failover mechanism. What I meant by 'deterministic' is just that all threads always get their full time slice. For this to happen a means of determining upon the arrival of an interrupt exactly how many cycles the running thread has left of its slice, and a means of granting it precisely this number of cycles before it gets preempted, is needed. I suppose you could use the TSC for the former and perhaps the local APIC for the latter, but I am unsure if trying to do so would be crazy. > Well, unless you are building systems to withstand nuclear > attack or something. So, if you want to write the code, I > think that your system would work provided your 'master' > scheduling mechanism resides above the kernel scheduler. > I think that this would prevent race conditions from > forming becuase hardware delays would be invisible to the > kernel at that point. I don't know if I will ever find time to write something like this, even if it were possible, but it struck me as an interesting future project. best, Jacob

2 2

Re: Ada run-time
by Frederic BOYER 05 Feb '03

05 Feb '03

Hello Nicholas. I haved. In the past, I start the development of an QNX like OS on top of L4 written in Ada. All the servers were written in Ada (but used the pragma NO_RUN_TIME) The most difficult is to write the GNART (or GNULLI don't remember) of the GNAT compiler to directly use the L4 thread and memory managment. This project is in stand by for me. The main pb is that my HD which hosted the projects crash and I didn't do save :-( Give me news. Bye bye. Frédéric. Nicholas Hannah <nhannah(a)cse.unsw.edu.au>@os.inf.tu-dresden.de on 05/02/2003 07:25:24 Sent by: l4-hackers-admin(a)os.inf.tu-dresden.de To: l4-hackers(a)os.inf.tu-dresden.de cc: (bcc: Frederic BOYER/PARIS/CAI-Cheuvreux) Subject: Ada run-time Hello, Is anyone interested in having the Ada run-time library running on L4? Has any work been done on this? I would consider contributing to an effort to get the core language going if there were others interested. I imagine it would be especially useful running on the StrongARM port of L4 for embedded systems development. chao, Nicholas _______________________________________________ l4-hackers mailing list l4-hackers(a)os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers "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 Crédit Agricole Indosuez Cheuvreux except where provided for in a written agreement. Crédit Agricole Indosuez 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 Crédit Agricole Indosuez Cheuvreux's published research and the recipient must have regard to all disclosures and disclaimers contained therein."

1 0

Fiasco compiling problems
by Manel Jimenez 29 Jan '03

29 Jan '03

Hi!I'm trying to build fiasco kernel but i've run in some troubles. After "make hello" it gives mes this error: ../../../../../lib/x86_586/l4v2/libl4dbg.a(i386-stub.o)(.text+0xac3): In function `getpacket': /home/juan/os/l4/pkg/l4dbg/lib/src/OBJ-x86_586-l4v2/../i386-stub.c:526: undefined reference to `strlen' collect2: ld returned 1 exit status In this file(i386-stub.c) "#include <string.h>" was commented, so i uncommented but the problem still persists.What am I doing wrong?Has anybody got this problem? Thanks in advance __________________________________________________ Do you Yahoo!? Yahoo! Mail Plus - Powerful. Affordable. Sign up now. http://mailplus.yahoo.com

2 1

User space scheduling, 2nd try
by Robert Kaiser 24 Jan '03

24 Jan '03

Hi I am currently pondering about ways to implement time partitioning in an L4 context, i.e. the idea is to distribute processing time to subsystems (consisting of groups of tasks/threads) according to predefined rules. Ideally, the underlying subsystems should be unaware of this process. Also, ideally, the concept should be recursive (i.e. a subsystem task should be able to donate (some of) its processing time to other sub-subsytems). At first glance, the concept of external preempters, as specified (though AFAIK never implemented) in L4 looks like it could be a useable basis for this, however: - I'm still having difficulties to fully understand preempters in L4. Their specification in the reference manual is somewhat sketchy. - I have a few ideas of my own, but implementing them would require extensions to some L4 functions. My past experience with the L4 reference manual has been that everything in there is there for a good reason, but the reasoning is not always explained (which is probably the way a "reference manual" should be). I would very much appreciate if someone could point me to a document that explains the reasoning behind preempters, as defined in L4. Failing that, are there any publications on external schedulers in the context of microkernels that might be helpful to read, any discussion forums you might suggest? .. or am I really on uncharted ground here? Any response would be greatly appreciated Rob ---------------------------------------------------------------- Robert Kaiser email: rkaiser(a)sysgo.de SYSGO AG Am Pfaffenstein 14 phone: (49) 6136 9948-762 D-55270 Klein-Winternheim / Germany fax: (49) 6136 9948-10

2 2

User space scheduling
by Robert Kaiser 21 Jan '03

21 Jan '03

Hi experts, I am trying to identify (and examine) ways to implement user-level scheduling on L4. I read in Michael Hohmuth's diploma thesis on L4Linux that it would have been desirable to use the preemption handlers to implement Linux's scheduling policy, but since L4 did not support them at the time, he used L4's built-in scheduler instead. Also I read a posting by Gernot Heiser in the mail archive of this list in which he suggests that the preemption handler concept is somehow flawed. To my knowledge, none of the current L4 variants has implemented the concept. To be honest, I'm having difficulty to fully understand the concept. For instance, the difference between an internal and an external preempter is not clear to me. So my questions are: - is there any further reading (besides the L4 Reference Manual and the L4 User Manual) that describes the concept ? - has the concept actually been put to the test ? - roughly, how would I implement a specific scheduling policy in e.g. L4Linux based on this concept (assuming L4 does provide it) ? Thanks in advance for any insights! Rob ---------------------------------------------------------------- Robert Kaiser email: rkaiser(a)sysgo.de SYSGO AG Am Pfaffenstein 14 phone: (49) 6136 9948-762 D-55270 Klein-Winternheim / Germany fax: (49) 6136 9948-10

1 0

Deterministic scheduling with local APIC
by Jacob Gorm Hansen 13 Jan '03

13 Jan '03

hi again, [OT: First of all a great thanks to everyone at TU Dresden for the interesting discussions and pleasant company during our visit last week.] Following a discussion with Jan Glauber Friday evening on the HP Somersault API, which does failover by making sure processes on a standby machine receive the exact same inputs as those on the master machine, I wondered if anyone knows if the PentiumII local APIC is precise enough that you can do completely deterministic scheduling, say, in Fiasco? It seems to me that one could implement an OS-level failover system by wrapping the OS in an I/O environment (like NomadBIOS ;-)) which would somehow ensure that the exact same input was received at both the master and the slave hosts, provided that the scheduling performed by the kernel scheduler could be performed with clockcycle precision (otherwise race conditions would allow things to get out of sync). Does anyone have an opinion as to whether or not this might be possible using current Intel hardware? best, Jacob

1 0

looking for PCA-200E firmware&driver
by uaca＠alumni.uv.es 09 Jan '03

09 Jan '03

Hi I'm interested in download the source of the Fore-PCA200 firmware the DROPs project made (source code), and also the driver I haven't found that on the guest access to the cvs server, etc... I have tried to contact Uwe Dannowski and other L4-ATM people with no luck anybody can help me? Thanks in advance Ulisses Debian GNU/Linux: a dream come true ----------------------------------------------------------------------------- "Computers are useless. They can only give answers." Pablo Picasso ---> Visita http://www.valux.org/ para saber acerca de la <--- ---> Asociación Valenciana de Usuarios de Linux <---

3 3

how current l4(with oskit) implement the driver framework?
by Yu Neil 07 Jan '03

07 Jan '03

hello: how current l4(with oskit) implement the driver framework? ( the oskit`s ? ), and where is the Omega0 server ? ( not implement ? ) Neil Yu _________________________________________________________________ 享用世界上最大的电子邮件系统― MSN Hotmail。 http://www.hotmail.com

1 0

starting
by Luis Araujo 27 Dec '02

27 Dec '02

Hi.... is there exist some good start-manual for the L4? i got the L4refx86, and im looking for more concepts......... thanks _________________________________________________________ Do You Yahoo!? Información de Estados Unidos y América Latina, en Yahoo! Noticias. Visítanos en http://noticias.espanol.yahoo.com

1 0

is there any l4 lib avaliable ?
by Yu Neil 02 Dec '02

02 Dec '02

just like the l4 environment from tu-dresden, but it`s unavaliable Neil Yu _________________________________________________________________ 享用世界上最大的电子邮件系统― MSN Hotmail。 http://www.hotmail.com

2 1

RE: L4 on iPAQ question
by Volkmar Uhlig 15 Nov '02

15 Nov '02

> -----Original Message----- > From: Christian Stüble [mailto:stueble@cs.uni-sb.de] > Sent: Friday, November 08, 2002 5:01 PM > To: l4-hackers(a)os.inf.tu-dresden.de > Subject: L4 on iPAQ question > > we just got some iPAQ 3870 Handhelds (very nice > little devices :-) and I will try to port PERSEUS > to it. Obviously, I should start with installing > L4 onto it. But I don't know more than that I > have installed the bootldr Bootloader that can > boot images from Serial or CF (installing plain > linux works well). Has someone else tried to > install L4 on iPAQ and can give me hints > how to do it? If not, what should I do first? > What should I read? Christian, the current version of Hazelnut supposedly works on the iPaq. I used it on the one I have here which is a 3630 model with 32MB RAM. You explicitly load the arm-booter image to address 0xC1000000 and then jump to this address. It loads the elf images and starts the kernel. Currently, the kernel supports serial line as debug output device. But be aware that there are unsolved issues like IRQ handling. > Next, L4Linux has to be ported to the StrongARM. > Is there a L4Linux/ARM available somewhere? Is > someone working on it or has a student that can > do it? AFAIK, there is no L4Linux port to ARM. I did a not-yet-released port of Linux 2.4 to L4 for x86 which currently runs on Pistachio, Hazelnut and thanks to Adam on FIASCO. Based on that you could start an ARM adaptation. Adam started to factor out the x86 and L4 API dependencies to make the code base more reusable, but the x86 dependencies are still tremendous. The former port of L4Linux to MIPS started a completely new Linux hardware architecture. Thus, I do not have a clear idea how much architecture dependencies will show up, but I expect a lot. I mean a lot!!! I do not know anybody who currently plans to do an ARM port nor do we have any resources to do it. Maybe the Dresden group??? - Volkmar

2 1

L4 on iPAQ question
by Christian Stüble 08 Nov '02

08 Nov '02

Hello, we just got some iPAQ 3870 Handhelds (very nice little devices :-) and I will try to port PERSEUS to it. Obviously, I should start with installing L4 onto it. But I don't know more than that I have installed the bootldr Bootloader that can boot images from Serial or CF (installing plain linux works well). Has someone else tried to install L4 on iPAQ and can give me hints how to do it? If not, what should I do first? What should I read? Next, L4Linux has to be ported to the StrongARM. Is there a L4Linux/ARM available somewhere? Is someone working on it or has a student that can do it? I can try to do so, but I fear here in Saarbruecken it is difficult to find students with experiences in Linux, C and OS in general. Maybe, I have to do it myself, but I will need help from the DROPS and L4KA people... Thanks & Regards, Chris -- Christian Stueble <stueble(a)cs.uni-sb.de> Saarland University, Dept. for Computer Science Security and Cryptography Group @Saarland University/DFKI Im Stadtwald, D-66123 Saarbruecken, Building 45, Room 534 Tel.: +49(681)302-5635 Fax.: +49(681)302 4631 Get public key from http://www-krypt.cs.uni-sb.de Fingerprint 8678 C5D3 CAD9 CD8C F1DD B8EC 202F 116A

1 0

NomadBIOS source availability
by Asger Henriksen 05 Nov '02

05 Nov '02

Hi all, Just wanted to let you know, that a read-only cvs repository has been set up for access to the sourcecode for nomadbios. It is still a little rough, but we will iron out whatever issues can/will arise. The cvs repo contains the source for the linux22 sourcetree, as well as the nomadbios server itself. In the download area of the website patches for Oskit and Fiasco has been added. Just do cvs -d:pserver:anonymous@udenbysvester.dk:/var/lib/cvs login <no password> cvs -d:pserver:anonymous@udenbysvester.dk:/var/lib/cvs co <module> where module is either linux22 or nomadbios. If you check out linux22 you must use the "guest" branch when checking out, otherwise nothing will work. Regards, Asger Henriksen

1 0

NomadBios sources now available
by Jacob Gorm Hansen 05 Nov '02

05 Nov '02

not pretty, but there. I've also put up our experimental fiasco & oskit patches. best, Jacob

1 0

NomadBIOS project
by Jacob Gorm Hansen 02 Nov '02

02 Nov '02

hi all, we have just put up a minimal website about our thesis project, titled 'NomadBIOS', which allows you to run multiple l4linuxes at once, and to hot-migrate them between host machines. The thesis is not exacly written yet, but in the meanwhile you might want to have a go at it. The website and download is at http://www.nomadbios.dk Have fun! Asger Henriksen & Jacob Gorm Hansen

1 0

RE: Re[8]: performance of L4Linux
by Volkmar Uhlig 29 Oct '02

29 Oct '02

> As far as I understand you want to find out whether: > - mklinux is really as bad as published > - L4Linux is really as fast as published > > Start with the first one. > > Then fetch a version of L4 from l4kabuild l4linux 2.0 against it and > try to find out about the second point. (I don't know whether l4ka's > version supports 4Mb pages and small address spaces but you will find > out whether they do or not) Hazelnut supports small spaces. We published a TR about the performance of small spaces for the P4 architecture using an L4Linux environment. See also: http://i30www.ira.uka.de/research/publications/ Actually, the relative syscall overhead using an adopted glibc was lower than the original numbers given by the SOSP paper. We ran L4Linux and the applications in small spaces. (Hazelnut supports different configurations for small spaces -- up to 2GB for the small space area.) - Volkmar

1 0