- l4-hackers - example.com Site

Seting Library search path
by Sören Jonsson 06 Mar '14

06 Mar '14

Hello, I am interested in L4 Fiasco as a virtualization environment. I am currently attempting to compile the L4 runtime environment, and I am getting the following error message: === Building package "bootstrap" === ==> Linking bootstrap32.elf /usr/bin/ld: skipping incompatible /usr/lib/gcc/x86_64-linux-gnu/4.7/libgcc.a when searching for -lgcc /usr/bin/ld: cannot find -lgcc collect2: error: ld returned 1 exit status make[5]: *** [bootstrap32.elf] Error 1 make[4]: *** [/home/osj/l4re/build/pkg/bootstrap/server/src/OBJ-amd64_amdfam10] Error 2 make[3]: *** [src] Error 2 make[2]: *** [server] Error 2 make[1]: *** bootstrap] Error 2 make: *** [pkg] Error 2 I have examined the problem, and can see that I have a library /usr/lib/gcc/x86_64-linux-gnu/4.7.2, as well as the /usr/lib/gcc/x86_64-linux-gnu/4.7. Can the problem be that the linker is attempting to link to a dated version of the library, and what is the best way to resolve this problem? Best regards, Sören Jonsson Sweden

2 1

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 supposed to create the output file and then open it by TIFFOpen function. So, I think there is a trick to launch this tiff application over L4/fiasco, so the kernel can permit the application to create a file. But, it's only my assumption and I'm not really sure about this. If by any chance you know something about it, please let me know. Thanks regards, Irvanda

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, and, finally, support for MS Windows guests. Therefore, we are happy to have enabled VirtualBox on the NOVA microhypervisor now, which brings all these features and (due to NOVA's virtualization support) integrates perfectly with the architecture of Genode. Besides VirtualBox, the main features and improvements of the current release are: - Base framework - Improved stack management - Storage - NetBSD file systems ported via rump kernels - Revised block-driver framework - New block cache - New FUSE-based NTFS-3g support - Ported e2fsprogs to the Noux runtime - Low-level OS infrastructure - New pseudo file system as tracing front end - Unified interfaces for graphics - New status-reporting mechanism - Nitpicker support for dynamic screen resizing - Libraries and applications - Extended Noux runtime with POSIX signals - Dynamic ROM service - Platforms - Basic support ODROID XU More details about version 14.02 can be found in the release documentation here http://genode.org/documentation/release-notes/14.02 Best regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

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 kernel ever broke any records in the last 20 years). If you have any data to contribute please let me know. Gernot

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 directory '/home/..'; aborting. I don't know why this problem occur when it worked just fine in another PC. regards, Irvanda

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/l4, which I did, though I didn't setup anything explicitly. I had to fetch 'pkg-config' from the repos, but that worked great, only it wouldn't work less the terminal had at least 80 columns - turns out, in the Linux VT, I have 73 columns (i.e., char width), and in X, in urxvt 78. But xterm was configurable in .Xresources like this: xterm*geometry: 80x28 Just sayin'. What is "stdlibs"? It sounds like the C standard library except for the trailing "s". I tried to remove the "include" stuff from the C source, as well as the 'puts' and 'sleep' (to just make it return 0) - this, I thought, would make it independent of any library routines, however, I got the same error message. -- underground experts united: http://user.it.uu.se/~embe8573

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/ramdisk-" .. L4.Info.arch() .. ".rd root=1:0 ramdisk_size=4000 init=/bin/sh l4bdds.add=rom/hello.ko"); But, when I booted the L4linux, I couldn't find the /dev/l4bdds0. Any opinion about this? Regards, Irvanda [1] http://os.inf.tu-dresden.de/Studium/KMB/WS2013/Exercise3-L4Linux.pdf [2] http://www.tldp.org/LDP/lkmpg/2.6/html/x181.html

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, which I introduced and have previously proposed for C11) and some new synchronization and scheduling primitives that I am already using as part of some Actor research. I am looking for a non-GPL kernel/executive/nano-kernel to redo some nano-kernel work I did as part of a joint Bell Labs-Sun collaboration that gave rise to SVR4 and, in opposition, the Open Software Foundation. Essentially I built a capability based nano-kernel somewhat along the lines of the V Kernel of David Cheriton (the Sun folks did “Spring”) My prototype at the time had IPC transfer speed of 10x vtable dispatch cost. At the time I wrote my own IDL, but after joining NeXT we added such a concept as a first class language feature, and it was copied into Java as “interfaces”. This is still an active interest of mine also in the context of Actors. Is this an appropriate list to discuss whether L4 is an appropriate starting point and such issues that might arise from my exploration? (My friends and former colleagues at Apple have IP restrictions such that I would prefer to not risk even the appearance of possible improprieties in discussing such matters) Blaine Garst

5 12