- l4-hackers - example.com Site

Memory management
by Julian Stecklina 29 Jun '05

29 Jun '05

Hello, let's say in my rootserver I need a contiguous block of memory 1 MB in size. I would request this memory from Sigma0 via L4_Sigma0_GetAny and get a single Flexpage of this size. In order to implement a fine-grained write-barrier on parts of this memory block, I need to make individual pages of this block read-only. As I understand it, the privileged system call MemoryControl provides this functionality, but: a) it is privileged, but all my servers would need this functionality. How is this efficiently accomplished? b) MemoryControl seems to operate on whole fpages only. How do I split a flexpage? Regards, -- Julian Stecklina "We were not out to win over the Lisp programmers; we were after the C++ programmers. We managed to drag a lot of them about halfway to Lisp." - Guy Steele, Java spec co-author

2 4

Handle and preserve segments - kernel bug?
by Emanuel Thomas 29 Jun '05

29 Jun '05

Hello, I've tried to start Linux under Fiasco-UX. But I got: l4lx | The running kernel does not have the l4lx | segments l4lx | feature enabled! So I compiled the kernel with support for "Handle and preserve segments". But now I get a kernel bug when trying to start it. Welcome to Fiasco(ux)! [...] Freeing init code/data: 20480 bytes (5 pages) KERNEL BUG at EIP:00043cd5 ESP:000b7998 -- PFA:50100108 ASSERTION_FAILED (Kmem::is_tcb_page_fault((Mword) kesp, 0)) in function static void Usermode::kernel_entry(ucontext*, Mword, Mword, Mword, Mword, Mword, Mword, Mword, Mword) in file [...]/l4/kernel/fiasco/src/kern/ux/usermode.cpp:204 I've tried it with gcc 3.3.5 and gcc 3.4.4. gcc-3.4 -v Reading specs from /usr/lib/gcc/i486-linux/3.4.4/specs Configured with: ../src/configure -v --enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr --libexecdir=/usr/lib --with-gxx-include-dir=/usr/include/c++/3.4 --enable-shared --with-system-zlib --enable-nls --without-included-gettext --program-suffix=-3.4 --enable-__cxa_atexit --enable-libstdcxx-allocator=mt --enable-clocale=gnu --enable-libstdcxx-debug --enable-java-gc=boehm --enable-java-awt=gtk --disable-werror i486-linux Thread model: posix gcc version 3.4.4 20050314 (prerelease) (Debian 3.4.3-13) gcc-3.3 -v Reading specs from /usr/lib/gcc-lib/i486-linux/3.3.5/specs Configured with: ../src/configure -v --enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-gxx-include-dir=/usr/include/c++/3.3 --enable-shared --enable-__cxa_atexit --with-system-zlib --enable-nls --without-included-gettext --enable-clocale=gnu --enable-debug --enable-java-gc=boehm --enable-java-awt=xlib --enable-objc-gc i486-linux Thread model: posix gcc version 3.3.5 (Debian 1:3.3.5-13)

5 12

booting l4linux under drops
by Emanuel Thomas 27 Jun '05

27 Jun '05

Hello, I've tried to boot L4Linux under Dope using the grub menu from the demo cd. But there is no dopelog and doperun being build by the cvs source. What is initrd.gz good for? Anyway not using these tasks or using the ones from the demo cd results in a frozen system after dope has launched. Is there really no Dope client application available in the cvs source? Thanks in advance, Emanuel

2 1

run the user program on top of L4
by kathiravel thayapararajh 27 Jun '05

27 Jun '05

Hi all, I've succefully run the L4Ka::Pistachio using qemu simulater. I want to write user program or servers on top of L4. Please anybody help, how to compile, load into the kernel and run the user program. since i am beginner, please give some reference that i can used to refer. Thanks. Thayapararajh. __________________________________ Yahoo! Mail Mobile Take Yahoo! Mail with you! Check email on your mobile phone. http://mobile.yahoo.com/learn/mail

1 0

Using parameters with apps loaded via bmodfs
by Derick Swanepoel 25 Jun '05

25 Jun '05

Hi, Is it possible to pass commandline parameters to an application loaded with "run" when using bmodfs as file provider, without having to make a config file? Thanks, Derick

3 3

fprov-l4 problem
by fabs0028＠free.fr 25 Jun '05

25 Jun '05

Hello, as you guessed, i forgot to patch fprov-l4 with twiddler so now it works perfectly. I still have some questions: - is it possible to give directly the arguments to program launched by run-l4 without using a configfile ?. - i would like to know if it is possible to see all the l4 task running with one program given with l4env, i thought the minitop might be ok but it doesn't, i understood afterward that it mutst work with con or dope. So any "ps" or do i have to do it myself :) ? Thanx for your help Fabien Chaillou

2 2

L4Linux console using CPU
by Bert van Leeuwen 24 Jun '05

24 Jun '05

Hi, Does anybody perhaps know why a DROPS virtual console focused on a L4Linux virtual console uses up CPU time? Is this "normal" behaviour? My DROPS console shows +- 25% CPU usage if the DROPS virtual console is focused on the L4Linux terminal, +- 1% if the DROPS virtual console is focused on something else (e.g. run console). From what I can tell, the thread running the L4Linux virtual console is at priority 0xff, but the main L4Linux task appears to be at default priority 0x10... Is this correct? Thanks in advance, Bert

2 8

crypto, cxx_log_io
by Emanuel Thomas 23 Jun '05

23 Jun '05

Hello, I'm trying to build Fiasco with L4Linux. While compiling the l4/pkg/nethub package needs a crypto/libdes.a and cxx_log_io library, which are missing. Which package is going to create them? I used the following modules from the cvs: l4 preprocess fiasco l4linux-2.6 l4linux-2.6-env Do I need something else? Emanuel Thomas

2 1

Location of a paper
by Kay-Uwe Genz 23 Jun '05

23 Jun '05

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi @ all, a want to know more about the virtual memory implementation in L4. Where can I find the following paper? Kevin Elphinstone. Virtual Memory in a 64-bit Microkernel. PhD thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, March 1999. Best regards Kay-Uwe Genz -----BEGIN PGP SIGNATURE----- Version: PGP 8.0.3 - not licensed for commercial use: www.pgp.com iQA/AwUBQrpbH5dFGcTeBMrrEQL7TACfS6BV1HKejaGV4AMZCVwmGskcZ3oAoJpf LaJ2JqGQ9CTH8sPvKZ5O37VA =WOZe -----END PGP SIGNATURE-----

3 2

patching grub
by Emanuel Thomas 21 Jun '05

21 Jun '05

Hallo, I tried to patch the grub from the cvs but that doesn't work. It seems that there are files missing in the cvs, like: configure.ac docs/multiboot.info /stage2/terminfo.c I've tried the grub patch 0.95, 0.96 and 0.97 (from http://os.inf.tu-dresden.de/~adam/grub/) Emanuel Thomas

2 1