l4-hackers February 2014

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

19 participants
17 discussions

Running application can't create a file
by Irvanda Kurniadi 03 Mar '14

03 Mar '14

Hi, Recently I'm using libtiff library on L4/Fiasco. I can use some function from that library. But when I'm trying to create an image by using libtiff function, I got this error message: TIFFOpen: output.tif: Cannot open. Could not open output.tif for writing MOE: task 1561539 exited with 42 Here is my configuration in module.list entry tiff_test2 roottask moe --init=rom/tiff_test2 module l4re module tiff_test2 I compile and run it over linux and it works properly. This application is … [View More]

2 3

Framebuffer in L4Re for Raspberry PI
by Peter Hanzel 03 Mar '14

03 Mar '14

Hello. I have compiled Fiasco.OC and L4Re for Raspberry PI. It boots ok with UART output. Now I want to add framebuffer device and output to monitor. Is this a work in progress or is it already implemented? or to be implemented? Thanks.

4 4

Genode 14.02 enables VirtualBox on NOVA
by Christian Helmuth 28 Feb '14

28 Feb '14

Today we released a new version of Genode, which, beside many other improvements, adds support for VirtualBox as VMM on NOVA. For years, we addressed virtualization in Genode beginning with OKLinux on the OKL4 kernel. Later, we added support for L4Linux on Fiasco.OC and the Vancouver/Seoul VMM on NOVA. All these solutions had strong points in distinct usage scenarios but we always missed support for a wide range of guest OSes, guest-host integration features, ease of use, active development, … [View More]

1 0

L4 Performance
by Gernot Heiser 24 Feb '14

24 Feb '14

Given the recent discussions re IPC performance, I thought it’d be helpful to summarise the state of the art. I’ve put up a performance page on http://l4hq.org (linked from the home page) showing IPC latencies of various L4 kernels across 20 years of architectures. It’s an expanded version of what’s in [Elphinstone & Heiser, SOSP’13]. Each entry in there is, AFAIK, the fastest ever-reported IPC performance of any full-semantics microkernel (i.e. not jsut L4, it’s just that no non-L4 … [View More]

1 0

Fortran Compiler Missing
by Irvanda Kurniadi 22 Feb '14

22 Feb '14

Hi, I have some problem in building some package. It is a little bit weird because the packages just compiled fine in my office, but when I tried to build the same package on the same system in my laptop using VMware, I got this debug message: Fortran compiler (gcc-4.6 or later) missing, skipping directory '/home/..' Since the other package requires the library which is supposed to be built by fortran compiler, then I got this error message: Library dependencies missing: libmpich_f77sup in … [View More]

2 2

Library dependencies missing: stdlibs in directory
by Emanuel Berg 21 Feb '14

21 Feb '14

I tried to do exactly as your 'hello' application to see if I could compile and link. Among some other output, I got this message on 'make O=obj_path': Library dependencies missing: stdlibs in directory '/home/incal/core/l4re-snapshot-2013123021/src/l4/pkg/hi/server/src'; aborting. Cflags dependencies missing: stdlibs in directory '/home/incal/core/l4re-snapshot-2013123021/src/l4/pkg/hi/server/src'; aborting. Stop. Before I did that, it told me to 'make O=obj_path config' from src/… [View More]

4 16

Build kernel modules and run it on L4linux
by Irvanda Kurniadi 19 Feb '14

19 Feb '14

Hi, Have you tried to build kernel modules and run it on L4linux? I read [1] and followed the instructions given by that document. 1. I built a "Hello world" Kernel module by following [2], then I got my .ko file. 2. I mounted my L4linux Ramdisk and copied my hello.ko into the Ramdisk 3. In src/l4/conf/examples/l4lxgfx.cfg, I add a kernel parameter: l4bdds.add=rom/hello.ko, as shown below: -- Start Linux loader:start( { .......... }, "rom/" .. lxname .. " mem=64M console=tty0 l4x_rd=rom/… [View More]

2 6

Re: Re: Build kernel modules and run it on L4linux
by Irvanda Kurniadi 18 Feb '14

18 Feb '14

> > On 18.02.2014 07:36, Irvanda Kurniadi wrote: > > Hi, > > > > Have you tried to build kernel modules and run it on L4linux? I > > read [1] and followed the instructions given by that document. 1. I > > built a "Hello world" Kernel module by following [2], then I got > > my .ko file. > > Did you enable CONFIG_L4_BLK_DS_DRV in the L4Linux configuration? > Yes I did. I just checked the .config file # Stub drivers CONFIG_L4_BLK_DS_DRV=y regards, Irvanda

1 0

Hello!
by Blaine Garst 17 Feb '14

17 Feb '14

Greetings, all! I am beginning to explore nano/micro-kernel issues again after a long hiatus (24 years). I don’t know how active this list is nor its followers, so I will be brief. At the moment I am discussing kernel vs user scheduling speed bumps in the now prevalent multi-core cpu architectures in the context of the ISO C11 subcommittee CPLEX which is considering adding parallelization language extensions. I have already demonstrated feature equivalence using closures (Apple’s Blocks, … [View More]

5 12

FOSDEM microkernel dinner
by Julian Stecklina 13 Feb '14

13 Feb '14

Hello fellow microkernel hackers, for those of you at FOSDEM: Some of us want to meet up for dinner tonight. I suggest we meet on Grand Place / Grote Markt at 20:30. This should leave everyone enough time to drop off their stuff at the hotel and get to the city center. Julian

2 1

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