l4-hackers June 2007

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

25 participants
27 discussions

[Fwd: Re: L4 implementations]
by Sergio Ruocco 08 Jun '07

08 Jun '07

Forwarding my answer below as requested. Sergio -------- Original Message -------- Subject: Re: L4 implementations Date: Fri, 8 Jun 2007 23:15:41 +1200 From: Shams <shams(a)orcon.net.nz> To: <ruocco(a)disco.unimib.it> References: <f3op51$utv$1(a)sea.gmane.org> <4669154F.3020907(a)disco.unimib.it> Hi Sergio Thanks for the info Can you also please post this to the newsgroup so that other newbies can benefit from it too. Thanks Shams ----- Original Message ----- From: "Sergio Ruocco" <ruocco(a)disco.unimib.it> To: "Shams" <shams(a)orcon.net.nz> Sent: Friday, June 08, 2007 8:37 PM Subject: Re: L4 implementations Shams wrote: > Just a few questions which I am having a hard time understanding: For answers to these and other questions, and further information on the L4 microkernel API, its different implementations (Pistachio, Fiasco, OKL4 etc.), and the various OSes running on them (Iguana, DROPS etc.), see also the following web sites: http://en.wikipedia.org/wiki/L4_microkernel_family http://l4hq.org/kernels/ http://l4hq.org/docs/ http://l4hq.org/projects/os/ Pistachio http://l4ka.org/ Fiasco http://os.inf.tu-dresden.de/fiasco/ OKL4 http://www.ok-labs.com/products/ http://portal.ok-labs.com/ and this paper of mine: http://ertos.nicta.com.au/publications/papers/Ruocco_06.abstract.pml http://citeseer.ist.psu.edu/757180.html Best Regards, Sergio -- Sergio Ruocco, PhD Research Fellow sergio.ruocco(a)disco.unimib.it / gmail.com NOMADIS Lab. phone: +39-02-6448-7879 mobile, embedded real-time systems skype: 'sergioruocco' Università degli Studi di Milano-Bicocca, Italy

1 0

L4 implementations
by Shams 08 Jun '07

08 Jun '07

Hi I played with the demo cd and it works great.. Just a few questions which I am having a hard time understanding: 1. L4 is itself a API/ABI reference, right? 2. Are L4.Pistachio and L4.Fiasco are 2 different implementations of L4? 3. Is L4.Pistachio is the current official reference implementation? Do both of them only differ in internal code only? 3. What is the difference between L4.Pistachio and L4.Fiasco? Why are there 2 separate implementations ie. why not just one codebase? Are you able to merge these 2 together or plan to? 4. Is L4.Sec official and already in the process of being implemented? Is L4.Pistachio and L4.Fiasco going to be replaced by L4.Sec? Thanks Shams

6 15

Verify Fiasco assertion using pingpong
by eschierb＠sci.kun.nl 08 Jun '07

08 Jun '07

Hi, I am trying to achieve a very simple thing, which is to test an assertion in the Fiasco ICP path. More specifically, I want to add the following assertion to the sys_ipc() function: " // This assertion is added by us assert(!(state() & Thread_polling)); if (EXPECT_TRUE(have_send_part || have_receive_part)) ret = do_ipc(have_send_part, partner, have_receive_part, sender, t, regs); " As can be seen, I want to assert that the Thread_polling bit is not set before calling do_ipc(). I planned to do this by compiling the modified Fiasco kernel and the pingpong package. If the assertion would not fire after running the pingpong test suite, I would have at least some confidence that the assertion does not hold. I have already done something similar a while ago, but with the newer versions I cannot seem to get it working. The first problem was with the DICE compiler, if I used the latest version of the DICE compiler I got the "collect2: ld returned 1 exit status". I solved this by using the 3.1.1 DICE version. I then used the following commands: " svn co http://svn.tudos.org/repos/tudos/tags/dice/3.1.1 dice ./repomgr co hello cd dice ./bootstrap ./configure ./make cd .. cd l4/pkg svn up pingpong cd .. make O=/tmp/build config make O=/tmp/build " However, this resulted in the following error " if [ -r ../dice/Makefile.drops ]; then \ make -C ../dice -f Makefile.drops; \ fi make[1]: Entering directory `/tmp/tudos/dice' ../l4/mk/Makeconf:155: Sorry, your object or source path became garbled. ../l4/mk/Makeconf:156: OBJ_BASE: /tmp/build ../l4/mk/Makeconf:157: SRC_BASE_ABS: /tmp/tudos/l4 ../l4/mk/Makeconf:158: SRC_DIR: /tmp/tudos/dice ../l4/mk/Makeconf:159: OBJ_DIR: /tmp/tudos/dice ../l4/mk/Makeconf:160: PKGDIR: ../l4/mk/Makeconf:161: L4DIR_ABS: /tmp/tudos/l4 ../l4/mk/Makeconf:162: PKGDIR_ABS: ../l4/mk/Makeconf:163: PKGDIR_OBJ: /tmp/tudos/dice ../l4/mk/Makeconf:164: *** Please investigate.. Stop. make[1]: Leaving directory `/tmp/tudos/dice' make: *** [../dice] Error 2 " As an alternative to the last three lines, I tried to issue the "make O=/tmp/build" command in the l4/pkg directory. This resulted in the following error: "/bin/bash: did_not_find_dice___please_install_dice: command not found" Any idea how this can be remedied? With regards, Erik Schierboom

3 3

Re: Hiworld Problem
by Bjoern Doebel 06 Jun '07

06 Jun '07

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hello, >> Did you checkout and build the L4 Environment (as requested in chapter >> 2 of >> the tutorial)? If so, generic_ts should be built and your application >> gets >> linked with it. > I followed http://os.inf.tu-dresden.de/drops/download.html using svn to > check > out the hello module. I think it contains everything necessary. I just > unzipped it and > compiled it. No it doesn't. The hello module includes the minimal stuff necessary to build an L4 application. As stated in the BID tutorial, chapter 1, please checkout the L4Env module and compile it. Thereafter everythin should work fine. Regards, Bjoern -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGZqeyP5ijxgQLUNkRAjA8AJwIMFk71NoJrdjeGEkyBKmA/gTtkACePNgF lXoytPeJXVrx+EJK6qN/kf4= =pOPl -----END PGP SIGNATURE-----

1 0

Hiworld Problem
by Marius.bao 06 Jun '07

06 Jun '07

Hi all, I followed the tutoral--<<Building Infrastructure for DROPS (BID) Tutorial>>(http://os.inf.tu-dresden.de/l4env/doc/html/bid-tut/node3.html) to wirte my fisrt "hiworld" server. I've used the template, ˜/src/l4/pkg/hiworld> ../../mk/tmpl/inst The "hiworld" source file is as follows: #include <stdio.h> int main(int argc, char** argv){ printf("HiWorld"); return 0; } An error occured when I compiled the server. I think it might be a link error. /usr/bin/ld: cannot find -lgeneric_ts ==> Linking hiworld LD_PRELOAD=/home/hector/Develop/L4-2007/l4/tool/gendep/libgendep.so GENDEP_TARGET=hiworld GENDEP_BINARY=ld gcc -o hiworld /home/hector/Develop/L4-2007/l4/build/lib/x86_586/crt0.o main.o -Ttext=0x01800000 -L/home/hector/Develop/L4-2007/l4/build/lib/x86_586/l4v2 -L/home/drops/lib/x86_586/l4v2 -L/home/hector/Develop/L4-2007/l4/build/lib/x86_586 -L/home/drops/lib/x86_586 -L/home/hector/Develop/L4-2007/l4/build/lib -L/home/drops/lib -T/home/hector/Develop/L4-2007/l4/build/lib/x86_586/main_stat.ld -static -lgeneric_ts -ll4env -ll4rm -ldm_generic -ldm_mem -lthread -lsemaphore -llogserver_capsule -lnames -ll4util_root -ll4util -lsigma0 -lroot -ll4env -ll4env_err -ll4rm -ldm_generic -ldm_mem -lthread -lslab -ll4sys -nostdlib -Wl,--nostdlib -luc_c -luclibc_support -u mmap_anon -lc_be_simple_mem -lc_be_mmap -lc_be_mmap_util -lc_be_l4env_start_stop -lc_be_minimal_log_io -luc_be_simple_sleep -ll4env -llogserver_capsule -ll4rm -ldm_generic -ldm_mem -lthread -lgeneric_ts -luc_c /usr/lib/gcc/i386-redhat-linux/3.4.2/libgcc.a -luc_c -ll4sys -Ttext=0x01800000 -Wl,--warn-common -Wl,-gc-sections /usr/bin/ld: cannot find -lgeneric_ts collect2: ld returned 1 exit status make[6]: *** [hiworld] error 1 make[6]: Leaving directory `/home/hector/Develop/L4-2007/l4/build/pkg/hiworld/server/src/OBJ-x86_586-l4v2' make[5]: *** [/home/hector/Develop/L4-2007/l4/build/pkg/hiworld/server/src/OBJ-x86_586-l4v2] error 2 make[5]: Leaving directory `/home/hector/Develop/L4-2007/l4/pkg/hiworld/server/src' make[4]: *** [src] error 2 make[4]: Leaving directory `/home/hector/Develop/L4-2007/l4/pkg/hiworld/server' make[3]: *** [server] error 2 make[3]: Leaving directory `/home/hector/Develop/L4-2007/l4/pkg/hiworld' make[2]: *** [hiworld.bin] error 2 make[2]: Leaving directory `/home/hector/Develop/L4-2007/l4/pkg' make[1]: *** [pkg] error 2 make[1]: Leaving directory `/home/hector/Develop/L4-2007/l4' make: *** [x] error 2 I wonder how to write the makefile myself without using the template. When I compile the "Hiworld" server, what other files(source files,head files) should I need to include.

2 1

PANIC
by Davide Fasoli 01 Jun '07

01 Jun '07

the problem was the vbeset command, i used the --vbemode=0x117 option in the con module and l4 booted correctly, thanks a lot for helping me. ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

1 0

PANIC
by Davide Fasoli 01 Jun '07

01 Jun '07

2 1

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 June 2007