l4-hackers December 2006

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

24 participants
30 discussions

L4Linux on L4Ka::Pistachio
by Christian, Martin, OPEE45 14 Dec '06

14 Dec '06

Hi! 1. Status Report ================ I've got a L4Ka::Pistachio running on an embedded PowerPC and my goal is to get a Linux running on top by end of January. This is part of my "Diplomarbeit" at the University of Leipzig. 2. Questions ============ a) Is the L4Env required for running L4Linux? b) How much time would it take to port L4Env to L4Ka::Pistachio? c) If L4Env was ported to L4Ka::Pistachio, could I run L4Linux without changes? d) What about the Fiasco port to PowerPC from Mathias Lange? He mentioned some problems, so it didn't work. Is it running now? Where could I get the source code? e) If Fiasco would be running on PowerPC, would it be possible to run L4Linux without changes? f) I've read something about L4Linux running on L4Ka::Pistachio with Kernel 2.4? Did I get that right? So I could at least get an old Linux kernel running on my system. g) Anything else? Best regards and thanks for your time, Martin.

2 1

Building Fiasco-UX
by Shakthi Kannan 11 Dec '06

11 Dec '06

Hi, I am trying to build Fiasco-UX as per the documentation: http://os.inf.tu-dresden.de/fiasco/ux/building.shtml on Ubuntu Dapper (Intel, x86). gcc is 4.0.3. g++ is 4.0.3. I have obtained the code from CVS. Did menuconfig: cd l4/kernel/fiasco make menuconfig Have enabled: * Target platform (choose UX) * Generate inline code I don't see the "Assembler IPC shortcut" option. Saved the config. On running: make I get the following errors: make[1]: Circular l4/kernel/fiasco/src/Modules.ux.o <- Modules.ux dependency dropped. make[1]: Circular .Modules.deps <- Modules.ux dependency dropped. make[1]: Circular l4/kernel/fiasco/src/rules.cml.o <- Modules.ux dependency dropped. make[1]: Circular l4/kernel/fiasco/src/rules.cml.o <- .Modules.deps dependency dropped. make[1]: Circular create-sources <- Modules.ux dependency dropped. make[1]: Circular create-sources <- globalconfig.out dependency dropped. make[1]: Circular create-sources <- .Modules.deps dependency dropped. l4/kernel/fiasco/src/Makefile.sub1:17: .Modules.deps: No such file or directory make[2]: *** No rule to make target `.Modules.deps'. Stop. make[1]: *** [create-sources] Error 2 make: *** [build] Error 2 Appreciate any help in building fiasco-ux. Thanks, SK -- Shakthi Kannan http://www.shakthimaan.com ____________________________________________________________________________________ Cheap talk? Check out Yahoo! Messenger's low PC-to-Phone call rates. http://voice.yahoo.com

3 5

segment fault for fiasco-ux
by halo.duan 11 Dec '06

11 Dec '06

Hi all I am newbie for L4 and just downloaded the fiasco last week. as i compiled as ux and run fiasco hello stuff. loading of sigma0 and roottask and irq0 is ok. but nothing displayed. as i use strace attach the fiasco process, it shown full screen segment fault. only think i can do is "kill -9 PID". any sugestion? best regards

2 1

Re: l4-hackers Digest, Vol 44, Issue 4
by cb huang 09 Dec '06

09 Dec '06

> > Hi, > > On Mon Dec 04, 2006 at 22:33:48 +0800, cb huang wrote: > > These days I'm studying the fiasco especially the IPC mechanism, so I > > want to get the paper The Fiasco Kernel: System Architecture, but it > seems > > that the paper is not yet published.Who can tell me where I can get it. > > I think this will never be published. It's also quite old and the IPC > path has changed significantly since then so it's probably not very > useful either. Yes, I know it's quite old, whereas I don't know whether there is another more useful one. Thanks for your reply!

2 1

Where can I get the paper The Fiasco Kernel: System Architecture
by cb huang 06 Dec '06

06 Dec '06

Hi These days I'm studying the fiasco especially the IPC mechanism, so I want to get the paper The Fiasco Kernel: System Architecture, but it seems that the paper is not yet published.Who can tell me where I can get it. Thanks a lot! -- cbhuang

2 1

Re: L4Linux and USB Keyboard/Mouse
by FERANDELLE Pascal 06 Dec '06

06 Dec '06

I added the UHCI HCD support to my config (thanks to lspci -v command ...), and now my keyboard is ok. Under DOpE, my mouse doesn't move from (0,0), but that's an old problem ... Pascal

1 0

L4Linux and USB Keyboard/Mouse
by FERANDELLE Pascal 05 Dec '06

05 Dec '06

On a PC with keyboard/mouse on USB, I booted L4Linux 2.6.17, but I only had keyboard running. That was not a problem when using only l4con. Now, with L4Linux 2.6.18, neither keyboard and mouse are running ... Everything is ok on a PC with keyboard/mouse on PS/2.

2 1

vbemode option in l4dope?
by "Gábor Bérczi (Gabucino)" 05 Dec '06

05 Dec '06

Greetings. I'd like to ask if it's planned to implement l4con's --vbemode command line option in l4dope too? I couldn't get grub's vbeset option to work in QEMU (always ends up in black screen), but l4con-s vbemode option does work. -- Gábor Bérczi

3 9

Can't start L4Linux-2.6.18
by FERANDELLE Pascal 04 Dec '06

04 Dec '06

In august, I tested L4Linux on PC, and everything was working fine with L4Linux-2.6.17. Now, I get the snapshots of 20061116, and rebuild everything. The L4Linux kernel is now 2.6.18. The build is ok, but I can't start it under Fiasco. Here is the log : Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden Rev: Sat Nov 11 18:26:23 2006 compiled with gcc 3.4.6 for Intel Pentium Performance-critical config option(s) detected: CONFIG_ASSEMBLER_IPC_SHORTCUT is off CONFIG_NDEBUG is off Enabling special fully nested mode for PIC Using the PIT (i8254) on IRQ 0 for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Absolute KIP Syscalls using: Sysenter CPU: GenuineIntel (F:4:9:0) Model: Pentium 4E (Prescott/Nocona) at 2793 MHz 64 Entry I TLB (4K or 4M pages) 64 Entry D TLB (4k or 4M pages) 12K µ-ops T Cache (8-way associative) 16 KB L1 D Cache (8-way associative, 64 bytes per line) 1024 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 20480 bytes (5 pages) SIGMA0: Hello! ... ... l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.18-l4 (root@PClinux) (gcc version 3.4.6) #1 Fri Dec l4lx : 1 18:41:42 CET 2006 l4lx | Binary name: vmlinuz26 l4lx | Kernel command line (7 args): earlyprintk=yes mem=64M video=l4fb load l4lx : _ramdisk=1 ramdisk_size=16384 root=/dev/ram l4env_rd=test-rd.rd l4lx | The running kernel does not have the l4lx | exception_ipc l4lx | feature enabled! Of course, I have the exception_ipc feature enabled in Fiasco !!! If I rebuild L4Linux-2.6.17, with the L4Env from 20061116, and try to start it under Fiasco, there is no problem ...

2 3

L4Env for X.2 (L4Ka::Pistachio)?
by Christian, Martin, OPEE45 01 Dec '06

01 Dec '06

Hi! On "http://l4hq.org/projects/env/l4env/" I read about L4Env: "Support for X.2 (L4Ka::Pistachio) will follow shortly." Is someone working on it? How is the status? When could I expect a release? Will it be architecture/platform independent? Thanks, Martin.

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