- l4-hackers - example.com Site

dice bug?
by Spring, Ryan C 06 Sep '06

06 Sep '06

When I compile the following idl statement: library kpr { interface memserv { void foo([out] fpage *thepage,[in] int size); }; }; It produces the following memserv-client.c ... if (l4_ipc_fpage_received(_dice_result)) else { ... This causes compile errors because of the empty if. This is obviously an epsilon change to fix, just wondered if this is a bug in the dice compiler or is my idl somehow wrong? Regards, Ryan Spring --- Ryan Spring Doctoral Student University of Texas at El Paso (UTEP) Cell: +1 915-539-7311 (when in USA) Alt Cell: +49 179-9624406 (when in Germany) http://www.spring-west.net/ryan

2 1

No mouse with L4Linux/DOpE
by FERANDELLE Pascal 29 Aug '06

29 Aug '06

Hi, I try to use L4Linux-2.6/DOpE under Fiasco on a PC, which has keyboard and mouse on the USB bus. I have no problem with the keyboard, either with con or l4dope, but for DOpE, the mouse pointer appears at (0,0), but I can't move it. The mouse is well detected on the USB bus by the kernel. Thanks for help. Pascal

2 1

Re: How can I download the L4Linux-2.6.16
by chenggh 29 Aug '06

29 Aug '06

On Tuesday 29 August 2006 16:05, Andreas Niederl wrote: > Hi, > > chenggh wrote: > > Hi: > > I want to use the L4Linux-2.6.16 but according to the instruction of > > L4Linux website the latest version is L4Linux-2.6.17. How can I download > > it? If I use the "cvs -z3 -d > > :pserver:guest@os.inf.tu-dresden.de:/home/remote-cvs co l4linux-2.6" to > > download the L4Linux-2.6 what is the detailed version of L4Linux-2.6? > > The L4Linux currently sitting in CVS is based on 2.6.17. You can get the > version of a Linux source tree by reading the first 5 lines of its > Makefile: > > someone@somewhere src % cd l4linux-2.6 > someone@somewhere l4linux-2.6 % head -n5 Makefile > VERSION = 2 > PATCHLEVEL = 6 > SUBLEVEL = 17 > EXTRAVERSION = -l4 > NAME=Crazed Snow-Weasel Sorry, I think I can't express my meaning correctly. I want to download the L4linux-2.6.16 package. But now if I download the l4linux-2.6 with cvs the l4linux-2.6 is based on linux-2.6.17 not 2.6.16. But how I download the L4Linux-2.6.16? Thank you! chenggh

3 2

How can I download the L4Linux-2.6.16
by chenggh 29 Aug '06

29 Aug '06

Hi: I want to use the L4Linux-2.6.16 but according to the instruction of L4Linux website the latest version is L4Linux-2.6.17. How can I download it? If I use the "cvs -z3 -d :pserver:guest@os.inf.tu-dresden.de:/home/remote-cvs co l4linux-2.6" to download the L4Linux-2.6 what is the detailed version of L4Linux-2.6? Thank you! chenggh

2 1

Is there a service in L4 packages like shell in Linux?
by chenggh 29 Aug '06

29 Aug '06

Hi, I think if a servive in l4/pkgs like shell in Linux exists it will help the L4-user very much. We could start or stop a seriver like creating or destroying a process in Linux. I don't know whether there is a server like this? If it is not done I want to have a development with this server. thank you! chenggh

2 1

Amount of threads per task?
by Oskar Senft 28 Aug '06

28 Aug '06

Hi L4 Hackers! When creating new threads within the L4Linux kernel, I "sometimes" (whatever that means) get the following output and error: *l4lx | l4lx_thread_create: Created thread 0e.1a (Command) --Thread names exhausted!--------------------------------IP: 0050758e What does that mean? After pressing "g", the system continues running. However when I try to kill the thread later, I get the following: --Unknown TID to delete thread name!---------------------IP: 0050760a Is it not possible to create more than 0x19 = 25 threads within the L4Linux kernel? Or am I doing anything wrong? Regards Oskar. -- Sirrix AG security technologies - http://www.sirrix.com Oskar Senft eMail: o.senft(a)sirrix.com Tel +49 (681) 936 251 - 119 Fax +49 (681) 936 251 - 519 get public key from keyserver Fingerprint 6FC6 3E44 233F 7F4B 33C7 A8D0 2EDA F3BA B5A3 0BA4 This message may contain confidential and/or privileged information. If you are not the addressee, you must not use, copy, disclose or take any action based on this message or any information herein. If you have received this message in error, please advise the sender immediately by reply e-mail and delete this message.

3 5

L4Linux threads - interrupt context
by Oskar Senft 28 Aug '06

28 Aug '06

Hi L4Linux hackers! When creating threads within the L4Linux kernel and running the command l4x_prepare_irq_thread(current_thread_info()); the thread obviously ;-) is being run in the interrupt context. This means the thread (let's call it thread X) must not sleep and is restricted in other ways. This implies, that I cannot run Linux functions that would cause the thread X to sleep - that's clear. On top of that, let's create the following scenario: some other task issues an IPC call to the described L4Linux thread X waiting for IPC. For handling the call, thread X would need to use Linux functions causing thread X to sleep. This will cause a kernel panic, deadlock or other severe errors. Our idea for solving that is to use *another* "normal" *Linux* thread (let's call it Z) not running in interrupt context. This thread Z would sleep until it is awakened by the L4Linux thread X and then call the Linux function that causes thread Z to sleep. But: the L4Linux thread X would have to send a reply to the IPC call immediately. So, I would need another L4 thread Y (not known to L4Linux), acting as a notifier thread for the calling task. This thread would receive the IPC notify call, go into a L4 semaphore waiting to be woken by thread Z. So, the simple IPC call from another task which should use a Linux function requires *three* threads to run ... If we had the possiblity to send the reply to an incoming IPC from _another_ thread than the called thread, this at least would eliminate the notifier thread Y. If we had the possibility to run L4Linux threads (like thread X) in some Linux context where it could sleep, this could even eliminate both threads Y and Z. Is there a simpler solution? Is it possible to make it easier? Best regards Oskar. -- Sirrix AG security technologies - http://www.sirrix.com Oskar Senft eMail: o.senft(a)sirrix.com Tel +49 (681) 936 251 - 119 Fax +49 (681) 936 251 - 519 get public key from keyserver Fingerprint 6FC6 3E44 233F 7F4B 33C7 A8D0 2EDA F3BA B5A3 0BA4 This message may contain confidential and/or privileged information. If you are not the addressee, you must not use, copy, disclose or take any action based on this message or any information herein. If you have received this message in error, please advise the sender immediately by reply e-mail and delete this message.

2 1

NICTA-Ericsson secure-OS collaboration
by Gernot Heiser 26 Aug '06

26 Aug '06

For those who haven't looked at l4hq.org recently: NICTA and Ericsson have announced a research collaboration, among others on secure embedded operating systems. This is based on NICTA's L4-embedded/Iguana operating system. Gernot

1 0

L4.sec implementation and formal verification
by William DUCK 26 Aug '06

26 Aug '06

Hello Misters, As you are microkernel experts, I am asking your help. I am attempting to build up a team. I believe it's time for a full-fledge verified OS. If somebody is interested in functional programming and in formal methods to help to implement the L4.sec kernel , he is welcome :) Here is an example of a protocol formalisation : network stack : http://www.cl.cam.ac.uk/~pes20/Netsem/ If you want to contact me, my mail is guillaume_dot_fortaine_at_wanadoo_dot_fr I will set up a mailing-list, a web server, a wiki and an IRC Best Regards, Guillaume FORTAINE

2 1

Re: L4Linux threads - interrupt context
by Bjoern Doebel 25 Aug '06

25 Aug '06

2 3