- l4-hackers - example.com Site

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 27 Aug '06

27 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

TPM Emulator with L4Linux
by Andreas Niederl 24 Aug '06

24 Aug '06

Hi, has anybody successfully used the TPM Emulator[1] module with L4Linux? I have been trying using it with TrouSerS[2] but fail on starting tcsd with the following two errors (always one of them but never both at the same time): gentoo-l4 TDDL[4480]: tddl.c:105 Calling write to driver gentoo-l4 tpm_emulator tpm_emulator-0.4/./linux_module.c:113: Debug: tpm_ioctl(21505, 0808e500) gentoo-l4 tpm_emulator tpm_emulator-0.4/tpm/tpm_cmd_handler.c:4156: Debug: tpm_handle_command() gentoo-l4 tpm_emulator tpm_emulator-0.4/tpm/tpm_cmd_handler.c:3473: Info: The tag value sent to for a command (0x6564) is invalid gentoo-l4 TCS[4480]: tcs_utils.c:260 ERROR: TCS GetCapability failed with result = 0x1e and gentoo-l4 TDDL[4483]: tddl.c:105 Calling write to driver gentoo-l4 tpm_emulator tpm_emulator-0.4/./linux_module.c:113: Debug: tpm_ioctl(21505, 0808e500) gentoo-l4 tpm_emulator tpm_emulator-0.4/tpm/tpm_cmd_handler.c:4156: Debug: tpm_handle_command() gentoo-l4 tpm_emulator tpm_emulator-0.4/tpm/tpm_cmd_handler.c:4160: Error: tpm_unmarshal_TPM_REQUEST() failed gentoo-l4 TDDL[4483]: tddl.c:148 ERROR: Zero bytes read from device /dev/tpm gentoo-l4 TCS[4483]: tcs_utils.c:260 ERROR: TCS GetCapability failed with result = 0x1087 I guess that something is going wrong with the call to ioctl from tddl but wasn't able to figure it out yet. Are there modifications necessary for using modules with L4Linux? Regards, Andi [1] http://tpm-emulator.berlios.de/ [2] http://trousers.sourceforge.net/

2 2

L4Linux with serial console / IRQ usage
by Andreas Niederl 24 Aug '06

24 Aug '06

Hi, I have been trying to get a serial console on L4Linux with the stub drivers and encountered the message 'l4ser: vkey_irq not set - input disabled!'. Unfortunately I don't know which IRQ number is required here. I tried passing some different values to L4Linux which resulted in the error message 'irq_thread: RMGR denied IRQ 4: Code 0x1'. I'd be grateful for some hints on that. I also noticed that there are several different ways for handling IRQs (omega0, rmgr, l4io, ...) which require different options for some servers and L4Linux. Are there any documents describing the IRQ handling in L4Env and how to follow one of these ways consistently? /boot/grub/menu.lst: title L4Linux-2.6 kernel /boot/bootstrap -serial modaddr 0x02000000 module /boot/bin/fiasco -nowait -nokdb -serial -serial_esc -comport 1 module /boot/bin/sigma0 module /boot/bin/roottask task modname "bmodfs" attached 5 modules module /boot/bin/names module /boot/bin/log module /boot/bin/dm_phys module /boot/bin/simple_ts -t 300 module /boot/bin/rtc module /boot/bin/l4io --noirq module /boot/bin/tftp -i module /boot/bin/bmodfs module /boot/bin/libld-l4.s.so module /boot/bin/libloader.s.so module /boot/bin/run-script module /boot/bin/vmlinuz26 module /boot/bin/drops-rd.rd module /boot/bin/loader --fprov=BMODFS run-script /boot/bin/run-script: modpath "/boot/bin" sleep 2 task "vmlinuz26" "mem=64M load_ramdisk=1 ramdisk_size=17000 root=/dev/ram l4env_rd=/boot/bin/drops-rd.rd console=ttyLv0 l4ser.vkey_irq=4" priority 0xA0 all_sects_writable Regards, Andi

3 15