l4-hackers December 2012

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

14 participants
11 discussions

No known ld emulation found
by Torsten Rüger 25 Dec '12

25 Dec '12

Hi, I got the latest fiasco sources, tried to compile on a macbook pro (intel core 2 duo) but i get the above message. I did try to set it to amd64 with intel duo option. This is not my final target, i just wanted to play a bit (possibly on an emulator). Do i need a cross compiler or something , because i only have gcc 4.2.1. Something simple i'm missing ? Torsten hopea:build raisantorsten$ make test -e source || ln -sf /Users/raisantorsten/Desktop/fiasco-2012111623/src/kernel/fiasco/src … [View More]

3 3

Raspberry pi ?
by Torsten Rüger 25 Dec '12

25 Dec '12

Hi, sorry I'm not really a os "hacker" and I haven't even got the code yet, but was wondering if someone could help me with my issue: Is there any activity of L4 on raspberry pi (a pocket size computer) ? Or is there elsewhere I can ask. Specifically the plan would be to build a ruby-machine on it. Single user but multi-process. If would only need to be able to access usb,ethernet and gpios. And run and start several ruby processes. I know ruby vm well enough to cut that down to size. … [View More]

3 2

Page tables apparently don't get completely freed on 64-bit Fiasco.OC
by Christian Prochaska 13 Dec '12

13 Dec '12

When running the test case from https://github.com/genodelabs/genode/issues/559 on 64-bit Fiasco.OC, the kernel runs out of memory after the sequential construction and destruction of tasks. I've added some debug output to the kernel which tracks the kernel memory allocations and deallocations. The attached log files cover the creation and destruction of one task on 64-bit and 32-bit Fiasco.OC. In the 64-bit case the allocations reported in lines (05/06), (07/08), (12/13), (14/15), (20/21) and … [View More]

2 1

L4linux on virtual box
by FU_LONG 13 Dec '12

13 Dec '12

Hi, I have built L4linux(l4linux-mag-x86.iso) and made it run on qemu successfully. But when I try to run it on virtual box, it stops, please see the following picture: I have put the iso file in Attachment, could you please have a try and give me some advise? ------------------ Best Regard, Long Fu 从QQ邮箱发来的超大附件 l4linux-mag-x86.iso (42.18M, 2013年01月06日 17:05 到期)进入下载页面：http://mail.qq.com/cgi-bin/ftnExs_download?t=exs_ftn_download&k=7…

2 1

Nova+Nul one Execution Context suspend a second Execution Context
by Mehdi AICHOUCH 12 Dec '12

12 Dec '12

Hello Alexander, I wrote a simple example to test the NOVA+NUL. In my example, I created two Execution Contexts. When the the first Execution Context starts, it obtains a portal capability to the second Execution Context, and run a while(true) loop as follow : ... while(1) { Logging::printf("#tsc=%llu\n", now); nova_call(pt); } ... The second Execution Context run also a while(true) loop as follow: ... while(1) { count++; Logging::printf("WorkerThread is working... count= %u\n", count); } … [View More]

2 1

Re: startstop test case of the NOVA-NUL microhypervisor
by Alexander Boettcher 10 Dec '12

10 Dec '12

Hi, try to add "name::/s0/timer" to the hello config. Cheers, Alexander Böttcher. Mehdi AICHOUCH <foxmehdi(a)gmail.com> schrieb: >_______________________________________________ >l4-hackers mailing list >l4-hackers(a)os.inf.tu-dresden.de >http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

2 1

startstop test case of the NOVA-NUL microhypervisor
by Mehdi AICHOUCH 07 Dec '12

07 Dec '12

Hello everyone, I am trying to test the NOVA+NUL microhypervisor. I played with the test application "nul/michal/apps/tests/startstop". So, I modified this test to try a new a new test case, by modifying the "hello" program that is started by the "startstop" program. I added to the Hello program the following code : ... TimerHelper * timer; timer = new TimerHelper(this); while(1) { Logging::printf("Hello ... \n", now); timer->msleep(1000); } ... This simple code will print a message … [View More]

1 0

how to use initramfs with l4linux
by Ryan Brown 06 Dec '12

06 Dec '12

How do I use an initramfs with l4linux? I tried using "l4x_rd=rom/initrd.cpio.gz" but it doesn't work. I see linux trying to use it: INITRD: 15000000 - 15114e00 ... Unpacking initramfs... INITRD: Freeing memory. ... But then I get Failed to execute /init Kernel panic - not syncing: No init found. Try passing init= option to kernel. See Linux Documentation/init.txt for guidance. I'm able to use the same initramfs file to boot normal linux kernel. I tried various combinations of cpio formats … [View More]

1 0

error of building fiasco.OC
by FU_LONG 04 Dec '12

04 Dec '12

2 1

apic
by Ryan Brown 03 Dec '12

03 Dec '12

Is it possible to configure x86 fiasco to avoid using the apic? If so, would this have a bad effect on performance? Thanks, Ryan Brown

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 December 2012