l4-hackers February 2011

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

22 participants
19 discussions

thread creation help
by Jason Philip 27 Feb '11

27 Feb '11

Can someone tell me how to create a thread (in the same address space as the creating thread)? This very confusing to me, I need help.

3 5

Announcement: Genode 11.02 with support for both NOVA v0.3 and Fiasco.OC
by Norman Feske 24 Feb '11

24 Feb '11

Dear L4 hackers, I am pleased to announce the release of the version 11.02 of the Genode OS Framework. Genode is an OS architecture that promises to align high security and robustness with dynamic application workloads. The Genode OS Framework as the reference implementation of this architecture. With the new version 11.02, we enabled the framework to be used with the Fiasco.OC kernel developed at TU Dresden in addition to the already supported base platforms L4/Fiasco, L4ka::Pistachio, Linux, OKL4v2, Codezero, and NOVA. Furthermore, we upgraded the NOVA support to version 0.3, which was published earlier this month. So now, both current kernel developments at TU Dresden are fully embraced by the framework. We are grateful for the excellent support we got from Alexander Warg and Udo Steinberg. Alongside the expanded platform support, the new release features many improvements, the most prominent being - Fiasco.OC as new base platform - Running Genode natively on MicroBlaze CPUs - Support for version 0.3 of the NOVA hypervisor - Noux execution environment for GNU userland software - Base framework - Core resource accounting using guarded allocators - Protocol enhancements for upgrading session quotas - Qt4 updated to version 4.7.1 - New tooling support for automated integration and testing Please find a more elaborative description of the changes accompanied with a lot of background information in the release notes of version 11.02: http://genode.org/documentation/release-notes/11.02 The new version is ready for download at our download page at Sourceforge and our public SVN repository: http://genode.org/download Best Regards -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

L4Re: C++ or DICE for IPC
by Valery V. Sedletski 24 Feb '11

24 Feb '11

Hi, all. I checked out a new L4Re userland and a new Fiasco.OC microkernel. I noticed that it seems, no IDL compiler is used for IPC anymore, but found that, like in l4\pkg\examples\clntsrv\ example, IPC is encapsulated in C++ classes. That's nice, C++ is a feature-rich object oriented language. But what can I do if I want to write a program on other languages, like plain C, Ada etc.? I think, such possibility must exist too, and IDL is a means of implementing such a language neutrality. Is DICE discontinued? And how can I do something with communication code if not using IDL? Thanks in advance, WBR, valery

4 6

Boot into video mode with grub2
by Dan Haim 23 Feb '11

23 Feb '11

Hi, I'm trying to boot L4Linux under MAG. I used to use the "vbeset 0x117" GRUB command to set the screen into the correct video mode but now I'm using GRUB2 and I can't find any equivalent command(s). Has anyone successfully booted MAG under GRUB2?

2 2

[L4 on realview Cortex A9] Failing on board check during fiasco bootup
by Naveen Chandrakar 23 Feb '11

23 Feb '11

Hello Guys, I was attempting to run fiasco built for CortexA9/realview-pbx board on qemu. "qemu-system-arm" version used for this experimentation is "QEMU PC emulator version 0.12.5 (qemu-kvm-0.12.5)" L4 Code used "l4re-core-2011020417" with hello world example. Below are the messages which i got when i tried to run fiasco on qemu - 1st set of logs I tried to comment the check inside Board_check::check_board() in the hope that it might boot up, but later i got crash for qemu (hw mismatch ?) - 2nd set of logs *1st set of logs* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ L4 msgs specifying invalid sys id~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ novino@naveen-linux:~/L4/l4re-core-2011020417/src/l4/mybuild-realview-pbx-a9/images$ qemu-system-arm -M realview-pbx-a9 -cpu cortex-a9 -kernel bootstrap_hello.elf -m 256 -nographic -net nic -net user L4 Bootstrapper Build: #2 Thu Feb 10 18:21:42 MVT 2011, 4.5.1 Scanning up to 256 MB RAM ........some messages ..... Starting kernel fiasco at 00001000 Cache config: ON Realview System ID: Rev=0 HBI=178 Build=0 Arch=5 FPGA=00 Invalid System ID for this kernel config Expected (01780500 & ffffff00) == 1182f500 Stopping. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ end of msgs ~~~~~~~~~~~~~~~~~~~~~ *2nd Set of logs* ~~~~~~~~~~~~~~~~~~~ L4 msgs after modifying Board_check::check_board() ~~~~~~~~~~~~~~~~~~~~~~~~ novino@naveen-linux:~/L4/l4re-core-2011020417/src/l4/mybuild-realview-pbx-a9/images$ qemu-system-arm -M realview-pbx-a9 -cpu cortex-a9 -kernel bootstrap_hello.elf -m 256 -nographic -net nic -net user L4 Bootstrapper Build: #3 Thu Feb 10 19:06:41 MVT 2011, 4.5.1 Scanning up to 256 MB RAM Memory size is 256MB (00000000 - 10000000) RAM: 0000000000000000 - 000000000fffffff: 262144kB Total RAM: 256MB mod04: 010d3000-010f4450: hello mod03: 010b1000-010d2488: l4re mod02: 01073000-010b066c: moe mod01: 01061000-01072304: sigma0 mod00: 01015000-010608f8: fiasco Moving 5 modules to 1100000 with offset eb000 moving module 05 { 10d3000-10f4450 } -> { 11be000-11df450 } moving module 04 { 10b1000-10d2488 } -> { 119c000-11bd488 } moving module 03 { 1073000-10b066c } -> { 115e000-119b66c } moving module 02 { 1061000-1072304 } -> { 114c000-115d304 } moving module 01 { 1015000-10608f8 } -> { 1100000-114b8f8 } Scanning fiasco Scanning sigma0 Scanning moe --init=rom/hello Relocated mbi to [0x100f000-0x100f0d6] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x2000 Regions of list regions [ 1000, 19ff] { a00} Kern fiasco [ 2000, 5cfff] { 5b000} Kern fiasco [ 90000, 9e193] { e194} Sigma0 sigma0 [ 140000, 18b48b] { 4b48c} Root moe [ 1000000, 10143eb] { 143ec} Boot bootstrap [ 100f000, 100f1d3] { 1d4} Root Multiboot info [ 119c000, 11df44f] { 43450} Root Modules Memory API Version: (87) experimental Sigma0 config ip:00090000 sp:01013044 Roottask config ip:00140088 sp:00000000 Starting kernel fiasco at 00001000 Cache config: ON Realview System ID: Rev=0 HBI=178 Build=0 Arch=5 FPGA=00 <<Commented>> Invalid System ID for this kernel config Expected (01780500 & ffffff00) == 1182f500 Stopping. Hello from Startup::stage2 Initialize page table Number of IRQs available at this GIC: 96 Number of IRQs available at this GIC: 32 Vmem_alloc::init() qemu: fatal: Unimplemented cp15 register write (c9, c14, {0, 0}) R00=00000000 R01=00000000 R02=80000000 R03=00000001 R04=f00487b0 R05=00054004 R06=00215406 R07=00115406 R08=00015406 R09=00002000 R10=00000000 R11=0100f058 R12=ffffffff R13=f0048670 R14=f005bd3c R15=f005bd28 PSR=a00001d3 N-C- A svc32 Aborted ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~end of msgs ~~~~~~~~~~~~~~~~~~~~~~~~ Warm Regards, Naveen

2 9

13th Real Time Linux Workshop - 1st Call for Papers
by Nicholas Mc Guire 23 Feb '11

23 Feb '11

Hi ! would be nice if we could get an update of the current L4 activities for at the next RTLWS - CfP bellow. thx! hofrat 13th Real-Time Linux Workshop October 20-22, 2011 Faculty of Electrical Engineering Czech Technical University in Prague Prague, Czech Republic Following the meetings of academics, developers and users of real-time and embedded Linux at the previous 12 real-time Linux workshops held world-wide (Vienna, Orlando, Milano, Boston, Valencia, Singapore, Lille, Lanzhou, Linz, Guadalajara, Dresden and Nairobi), the Real-Time Linux Workshop for 2011 will come to the Czech Technical University in Prague, Faculty of Electrical Engineering, Dept. of Control Engineering - academic OSADL member since 2008. The workshop will be held from October 20 to 22. Rationale Embedded and real-time Linux are gaining traction in consumer electronics and in industrial computing in breath-taking speed. Linux runs a wide range of industrial applications including real-time and safety-related systems. And the best is that everyone on earth has access to this unparalleled pool of Open Source software as long as he or she has access to the Internet. Nevertheless, this access is by no means one-way - the return paths are from providing bug reports, additions and ideas for enhancements and, finally, the very important mechanism of peer review that makes Linux, and particularly real-time Linux, as stable and innovative as it is. In addition to sending patches and providing feedback via Internet, direct mutual exchange between field engineers, system integrators, and project managers, and hardware, driver, board support package and kernel developers is needed. The Real Time Linux Workshop is successfully serving this purpose since more than 10 years. We are looking forward to meeting each other at another great Real Time Linux Workshop - this time in Prague, Czech Republic. Call for papers Authors from academics, industry as well as the user community are invited to submit papers on original work related to Open Source real-time systems. Such work may deal with general topics related to Open Source based real-time systems but also with research, experiments and case studies, as well as with issues of integration of Open Source real-time and embedded systems. A special focus will be on industrial case studies and safety-related systems. Topics of interest include, but are not limited to: - Modifications and variants of the GNU/Linux operating systems extending its real-time capabilities - Contributions to real-time Linux variants, drivers and extensions - User-mode real-time concepts, implementation and experience - Real-time Linux applications, in academia, research and industry - Safety-related FLOSS systems - Work in progress reports, covering recent developments - Educational material on real-time Linux - Tools for embedding Linux or real-time Linux and embedded real-time Linux applications - RTOS core concepts, RT-safe synchronization mechanisms - RT-safe interaction of RT and non RT components - IPC mechanisms in RTOS - Analysis and benchmarking methods and results of real-time GNU/Linux variants - Real-time networking with COTS - Medical applications using COTS and FLOSS - Debugging techniques and tools, both for code and temporal debugging of core RTOS components, drivers and real-time applications - Real-time related extensions to development environments Abstract submission If you wish to present a paper at the workshop, please submit an abstract using the submission page at https://www.osadl.org/RTLWS13-Abstract.submission-form.0.html. Final paper to be included into the RTLWS13 Proceedings Upon acceptance of an abstract by the RTLWS13 Program Committee, the author will be invited to submit a full paper in a form defined by https://www.osadl.org/paper.tgz. A detailed description of the editing and formatting process will be provided along with the notification email. Important dates - Release of this Call for Papers on February 22, 2011 - Second Call for Papers on May 3, 2011 - Third Call for Papers on May 31, 2011 - Deadline for abstract submission on June 13, 2011 - Notification upon acceptance by July 8, 2011 - Paper submission deadline on September 5, 2011 - RTLWS13 from October 20 to 22, 2011 - LinuxCon Europe in Prague from October 26 to 28, 2011 - Embedded Linux Conference (ELC) Europe in Prague from October 26 to 28, 2011 For more information about the Czech Technical University in Prague, the organizers and the members of the program committee, please refer to the RTLWS13 Homepage at osadl.org/RTLWS. The Organization committee Local staff at the Czech Technical University Prague - Michal Sojka (Faculty of Electrical Engineering, Department of Control Engineering) - Pavel Pisa (Faculty of Electrical Engineering, Department of Control Engineering) - Petr Hodac (SUT - Stredisko un*xovych technologii, UN*X Technologies Center) Real-Time Linux Foundation Working Group and OSADL - Nicholas Mc Guire (Distributed and Embedded Systems Lab, Lanzhou University, China) - Qingguo Zhou (Distributed and Embedded Systems Lab, Lanzhou University, China) - Andreas Platschek (Opentech, Austria) - Carsten Emde (OSADL, Germany)

1 0

A few general questions about L4
by Maciej Katafiasz 22 Feb '11

22 Feb '11

Hello, I'm currently investigating L4 as the platform on which to base an OS I'm considering writing, and for this reason I have several more or less specific questions to help me get oriented in the whole L4 ecosystem. As a matter of introduction, the OS I have in mind is a modern incarnation of a Lisp Machine (http://en.wikipedia.org/wiki/Lisp_machine), attempting to marry the good parts of LispM's such as hackability and the ability to inspect and touch the OS on any level, without their problems (such as the great ease of _crashing_ the OS by mistake, and their inherent lack of security and compartmentalisation). The OS is intended to be practical, and I'm greatly interested in preserving compatibility with existing software, and the ability to mix Lisp apps with C libraries and vice-versa. The practicality requirement also means that I want to avoid writing everything I can avoid writing, in particular drivers. With this being said, here are my initial questions: * Which implementations are currently considered active and sufficient for basing new efforts on? I know Fiasco.OC, seL4, OKL4 and L4Ka. Out of these, seL4 and OKL4 are closed-source and proprietary, thus not really suitable for my needs. Fiasco.OC seems active, L4Ka somewhat less so, with last full release from 2004 (although the last commit to Hg seems to be from 2 months ago). * Furthermore, Fiasco.OC includes, from what I understand, a capability security model, which'd probably be handy for my purposes. However, I can find no documentation on this model. Are there any docs I'm missing? That actually holds for L4 in general as well as Fiasco, the only thing I could find is the X.2 API reference manual, and the very incomplete user manual. Are there any more complete versions of the user manual or other documents explaining the whys of L4, not just hows? * On the other hand, L4Ka has existing projects such as driver virtualisation, which are of great interest to me, as mentioned in the introduction. Thus I'd like to know how compatible in practice the different L4 implementations are. If I took the code from L4Ka's Afterburner, is it at all possible to run it on top of Fiasco, or would I have to rewrite it? Similarly, would it be possible to port NICTA's L4/Darwin IOKit compatibility layer to another L4, or is it tied to the specific implementation of L4 from NICTA? * Since I want to preserve the compatibility with existing environments such as POSIX and/or Win32, I'd like to know if anybody has done any practical research into running multiple OS personalities on top of a microkernel such as L4. I'd be extremely grateful for any links and/or advice regarding running personalities, as well as mixing code operating within the different subsystems. * Lastly, I'd like to know if there's any reasonably-populated IRC channel dedicated to L4. Since I'm still very much exploring the problem space more than the solution space, I appreciate the interactive nature of IRC, which helps me formulate questions I might not even know I have yet. I've found one old mail asking about IRC previously, with Adam's reply pointing to his personal homepage, but I still wasn't able to find any L4 channels that way. Cheers, Maciej Katafiasz

2 1

Fiasco-oc l4linux
by David Leimbach 18 Feb '11

18 Feb '11

Hi Using the latest snapshot, and kind of lost on how to get l4linux to actually build. I did get python running with mag in vmware however, so I've got a little experience. Just not sure what the right way to do this is. My obj/l4linux directory is empty. Any thoughts what I should try? I used "make setup". Then "make" which died for some reason. So i went into obj/l4.../pkg and did "make all". The top level make now completes. Sent from my iPhone

2 3

which is faster an ipc or a function call
by Jason Philip 17 Feb '11

17 Feb '11

I suspect that function call will faster but is this really so? And how faster will it be, it noticeable?

3 3

[ANNOUNCE] NOVA Microhypervisor 0.3 prerelease
by Udo A. Steinberg 17 Feb '11

17 Feb '11

Hi, The NOVA project is happy to announce that there is a new prerelease of the NOVA microhypervisor available for download at http://www.hypervisor.org/ or http://os.inf.tu-dresden.de/~us15/nova/ under the terms of the GNU General Public License version 2. NOVA is based on a modern microhypervisor written in C++ and assembler. The current implementation runs on multi-core x86 machines that support ACPI, under QEMU (including VM support), and as a microkernel in a virtual machine on top of itself. NOVA makes use of hardware virtualization features such as Intel VT-x/VT-d or AMD-V, and facilitates running unmodified guest operating systems in virtual machines with near-native performance. The new release brings virtual-machine support to QEMU and older AMD CPUs, both of which lack nested paging. Furthermore, the microhypervisor can now translate related capabilities during message passing. Cheers, - Udo

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 February 2011