l4-hackers July 2004

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

5 participants
5 discussions

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

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 July 2004