l4-hackers

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

2827 discussions

names for the L4 ipc functions for the x86 architecture
by Rafal Somla 26 Aug '04

26 Aug '04

Hi, I tried to compile and install Fiasco-ux and L4Env. It seems that the l4sys ipc functions for the x86 architecture have additional _i386_ part in their name. E.g., l4_i386_ipc_call instead of l4_ipc_call. The result is that, for instance, I can't compile the hello server without renaming the functions. Is that intentional or did I messed up the instalation? Thanks for any help on that, Rafal

2 1

L4 based schedulers
by Aidan Delaney 25 Aug '04

25 Aug '04

Hey all (Güten tag or G'day), How many "full" operating systems use l4? I'm aware of DROPS and am wondering if there is anything else that has a "process" model and scheduler build around l4. Thank you, -- Aidan Delaney email: adelaney(a)cs.may.ie web: http://www.cs.may.ie/~adelaney gpg: http://www.cs.may.ie/~adelaney/public_key.asc

2 1

ANNOUNCE: L4Linux 2.6
by Adam Lackorzynski 20 Aug '04

20 Aug '04

We are happy to announce the release of the latest version of L4Linux based on Linux 2.6. L4Linux is a modified version of Linux running on L4. This version of L4Linux is based on L4Env and on the Fiasco microkernel. It supports the x86 architecture and is available via anonymous CVS. This release is not ready for performance assessments and still awaits improvements in some regions but is nevertheless stable enough to run most of the available Linux programs. For more information refer to the L4Linux-2.6 website: http://os.inf.tu-dresden.de/L4/LinuxOnL4/ For other available L4Linux versions start at http://l4linux.org/ Adam

1 0

fwd: SPARC Pistachio
by Benno 14 Aug '04

14 Aug '04

In case anyone isn't on l4ka... ----- Forwarded message from Dan Koren <dk(a)inraid.com> ----- Date: Fri, 13 Aug 2004 23:03:48 -0400 From: Dan Koren <dk(a)inraid.com> Subject: SPARC Pistachio Message-ID: <012b01c481ab$52452370$0300a8c0@inRAID007> Reply-To: Dan Koren <dk(a)inraid.com> To: l4ka(a)ira.uka.de Is there a SPARC Pistachio port? Best regards, dk --------- Dan Koren Principal, inRAID, LLC 775-833-1407/voice 775-833-1405/fax ============================================================== This email and any attachments thereto may contain private, confidential, and privileged material for the sole use of the intended recipient. Any review, copying, or distribution of this email (or any attachments thereto) by others is strictly prohibited. If you are not the intended recipient, please contact the sender immediately and permanently delete the original and any copies of this email and any attachments thereto. ============================================================= ----- End forwarded message -----

1 0

file format
by Alexander Grotzsch 01 Aug '04

01 Aug '04

Hi everybody! Is there any tool out there, with which I can read files having the extension "&l3" with windows XP? I worked with the L3 system during my schooldays and found an old disk containing ELAN-code. I desperatly need to review this code, but unfortunately I can not install L3 because I do not have the Install-disks anymore! ---------------------------------------------------------------------------------------- Hallo Zusammen! Gibt es irgendwo ein Tool, mit dem ich ".&l3"-Dateien unter windwos XP lesen kann? Während meiner Schulzeit haben wir viel mit ELAN programmiert und ich habe eine Diskette, auf der verschiedene Quellcodes aus dieser Zeit sind. Ich muß diese Codes dringend lesen! Habe aber kein L3-System mehr auf meinem Rechner. ---------------------------------------------------------------------------------------- Thanks for any help Dankbar für jeden Tipp Alexander Grotzsch ________________________________________________________________ Verschicken Sie romantische, coole und witzige Bilder per SMS! Jetzt neu bei WEB.DE FreeMail: http://freemail.web.de/?mc=021193

1 0

RE: qemu and l4linux2.4
by Volkmar Uhlig 16 Jul '04

16 Jul '04

There is a bug in the current interrupt handler code. I'm not 100% sure but I think we have a patch to that. The problem is that with Pistachio we run APIC interrupt mode and when IRQs are disabled they usually get re-injected with a self-IPI (I'm not arguing about the sensibility of that strategy though). Right now L4Linux doesn't do that and the IRQ gets lost. - Volkmar > > -- > Mat/tia Belletti - Undergraduate student @ cs.unibo.it > ICQ: 33292311 - email: mbellett(a)cs.unibo.it > IRC: RedGlow - site(s): http://www.cs.unibo.it/~mbellett > Linux registered user 299762 @ Linux registered machine 213003 > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers >

1 0

qemu and l4linux2.4
by Mattia Belletti 16 Jul '04

16 Jul '04

I tried to run an l4linux (pistachio 0.4, l4linux from daily cvs), and it all went fine until: hda: QEMU HARDDISK, ATA DISK drive hdc: QEMU CD-ROM, ATAPI CD/DVD drive ide0 at 0x1f0-0x1f7,0x3f6 on irq 14 ide1 at 0x170-0x177,0x376 on irq 15 hda: attached ide-disk driver. irq 14 not enabled irq 14 not enabled IRQ resend (14) With quite a lot of delay after each of the two 'hda: QEMU HARDDISK...' and 'hdc: QEMU CD-ROM...', and, after that, it finally stops. Qemu runs normal linux fine - any idea where to go to find the problem? -- Mat/tia Belletti - Undergraduate student @ cs.unibo.it ICQ: 33292311 - email: mbellett(a)cs.unibo.it IRC: RedGlow - site(s): http://www.cs.unibo.it/~mbellett Linux registered user 299762 @ Linux registered machine 213003

1 0

paper about l4
by Fabian Sturm 04 Jul '04

04 Jul '04

Hi! I just wanted to let you know that I wrote a small paper about the L4 Microkernel for a seminar in my school. It's a summary of many of the information which is available on the various websites. I doubt that it has much usefulness since the reference manual and other sources are more detailed and precise. But anyways some might be interested. http://www.rtfs.org/ext/l4_microkernel.pdf Thanks a lot, Fabian P.s. even I already gave my talk I still would be interested in any wrong claims given in the paper.

1 0

The error "tempfile: command not found" on compliing fiasco.
by Daniel Yu 04 Jul '04

04 Jul '04

Hi all: I meet the troubles when "make config" the fiasco. After the graphic configure setting, the make process is stopped by error: .......... echo INT_CPP_x86_NAME= 'cat $X.out' >> ./.Makeconf.bid.converted;\ rm -f $X $X.{c,out} /bin/bash: line1: tempfile: command not found. .......... I have browsed the source code of Makefile, there is one sentence: X='tempfile -s .c' . But there is not a command named tempfile in bash or /bin, /sbin. Then what's wrong about the error? Thanks! Daniel

2 1

The build error on l4linux and fiasco!
by Daniel Yu 01 Jul '04

01 Jul '04

Hello All: I am a newbie for using u-kernel: fiasco and l4linux. However, I meet some problems when building them. For building l4linux: Under redhat 9.0, kernel version is linux-2.4.20-8 and gcc version is 3.2.2. After typing the command: "make config". the error is as following: /bin/sh scripts/Configure arch/l4/config.in : command not foundline 51: ' script/Configure: line 72: syntax error near unexpected token `{ ' script/Configure: line 72: ' function mainmenu_option () { make: *** [config] Error 2 Under the same environment, it is successful to build linux-2.4.20 kernel. So what's wrong? For Fiasco building, I get the other error information:(Using fiasco-1.1) Malformed UTF-8 character (unexpected continuation byte 0xb5, with no preceding start byte) in substitution (s///) at /fiasco-1.1/tool/preprocess/src/preprocess line 672, <> line 2058. When compiling process went this place, it dies and I must use CTRL-C to stop it. Can you give me some suggestions? Thank yu all very much!

2 2

Jump to page:

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