l4-hackers

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

2827 discussions

about l4rm
by Yu Neil 22 Mar '03

22 Mar '03

hello every one: where i can find the source code of l4rm ( l4 region maper ) ? and should it work well on x86? Neil Yu _________________________________________________________________ 享用世界上最大的电子邮件系统― MSN Hotmail。 http://www.hotmail.com

2 1

(no subject)
by Yu Neil 20 Mar '03

20 Mar '03

hello every one: where i can find the source code of l4rm ( l4 region maper ) ? and should it work well on x86? Neil Yu _________________________________________________________________ 免费下载 MSN Explorer: http://explorer.msn.com/lccn/

1 0

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

Jump to page:

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