l4-hackers March 2006

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

19 participants
14 discussions

Strange L4Linux behavior
by Jugwan Eom 14 Apr '06

14 Apr '06

Hi, L4Linux fails to run correctly with the SCSI and network device under heavy load. My system has a Adaptec AIC7902 SCSI adapter (one SCSI hard disk is connected) and a E1000 network adapter. When the two devices is used at the same time under heavy load (some benchmarks to SCSI disk and transferring files using ftp), SCSI adapter driver prints error message and dumps device's status. and then system is not work. Actually, this error doesn't happen immediately after using the two devices. … [View More]

2 3

Lovelace Web-Site
by Frederic BOYER 30 Mar '06

30 Mar '06

By the way, Lovelace has now a little web-site (I've just began to do it) and there is a mailing list. Please visit The Lovelace web-site. http://lovelace.rochebrune.org Regards, Frédéric. "This message, including any attachments may contain confidential and privileged material; it is intended only for the person to whom it is addressed. Its contents do not constitute a commitment by Credit Agricole Cheuvreux except where provided for in a written agreement. Credit Agricole Cheuvreux … [View More]

2 1

L4Linux without libloader?
by Daniel Vandersee 23 Mar '06

23 Mar '06

Hi there, is it possible to compile L4Linux without the need of libloader.s.so (e.g. by using other libs) to have it statically linked? Thanks, Daniel

4 7

Reloading L4Linux problem
by Jugwan Eom 17 Mar '06

17 Mar '06

Hi. I encountered problems reloading L4Linux. After shutdown loaded L4Linux, I tried reloading the L4Linux (same configuration) using 'l' command in l4con but it didn't work(network device probe failed, lost ide disk interrupt). During booting L4linux showed "irq_thread: RMGR denied IRQ 14: code 0x1". Because I use l4con, I can see the system memory on bottom right. After shutdown loaded L4Linux, it still shows the same value before. Using 'a' command in l4con memory region used by previous … [View More]

4 7

What is trampoline.S for?
by BVK Groups 17 Mar '06

17 Mar '06

Hi, Whenever i try to start executing first thread in a new address space, its pager is receiving pagefault (at 0x0000002b), eventhough none of the mapped code touches that place. Why is it? I found out that CHACMOS is mapping trampoline.S at that address. I What is this trampoline.S is for? I tried to understand trampoline.S code, but i couldn't. I didnt find any FAQ entry regarding this. Can anyone please help me here? NOTE: I am using pistachio-0.4 Thanks, -bvk

4 4

Announce: OS Group of TU Dresden (TUD:OS) releases Live-Demo CD
by Norman Feske 13 Mar '06

13 Mar '06

The OS Group of Technische Universität Dresden (TUD:OS) has released a live demo CD of our operating system project. Some highlights of the Demo CD include a new approach for securing graphical user interfaces called Nitpicker, multiple L4Linux kernels running at the same time on top of a L4/Fiasco, a survey on our reuse of device drivers on the TUD:OS platform, native Qt-applications, the DOpE windowing system and a prototype of a secure E-commerce application based on TUD:OS. More … [View More]

1 0

some weird performance result
by Sungkwan Heo 11 Mar '06

11 Mar '06

Hi all, I measured network I/O performance of native Linux-2.4 and Fiasco-1.2+L4Linux-2.4 using the netperf benchmark. The TCP streaming test results are following: Recv Socket Size bytes: Linux = 87380, L4Linux = 87380 Send Socket Size bytes: Linux = 16384, L4Linux = 16384 Send Message Size bytes: Linux = 16384, L4Linux=16384 Elapsed Time secs: Linux = 10.002, L4Linux = 10.002 Throughput MBytes/s: Linux = 11.22, L4Linux = 11.206 Utilization Send local % S: Linux = 11.359, L4Linux = 4.35 ... … [View More]

2 1

config for 2 L4Linux instances
by Sungkwan Heo 11 Mar '06

11 Mar '06

Hi all, Is there anyone who succeeded in running multiple L4Linux (2.4 or 2.6) instances on native fiasco, not fiasco-ux? If so, could I share the configuration and howto? Especially, I want to boot L4Linux-2.4 mounting root disk partition where RedHat 9.0 is already installed. I expect that another L4Linux-2.4 image can be loaded MODFS or TFTP. However I can't figure out how I can setup my L4 box to load any application that I want from where I want. Another issue is the second L4Linux … [View More]

2 1

Update on NICTA's secure embedded L4 project
by Kevin Elphinstone 10 Mar '06

10 Mar '06

Hi All, I'm please to announce the release of more information on the secure embedded L4 (seL4) project, including a reference manual of the experimental kernel API. You can get more info on the project's web page at http://www.ertos.nicta.com.au/research/sel4/ cheers - Kevin Dr. Kevin Elphinstone Senior Researcher and seL4 Project Leader National ICT Australia

1 0

L4.Sec Implementation
by Anton Soppelsa 08 Mar '06

08 Mar '06

Hi, My name is Anton Soppelsa and I'm doing a PhD course at the "Istituto Gas Ionizzati" (Ionized Gas Institute) in Padova (Italy). I am a control system engineer and at the moment I'm involved in some work with a Motorola mv5500 Single Board Computer installed in a VME rack. As I am a free software supporter and I don't like too much our working developing platform as is based on the proprietary VxWorks operative system. For this reason I am interested in GPL-ed real time operative … [View More]

2 2

2025

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 March 2006