l4-hackers April 2003

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

10 participants
7 discussions

doxygen?!
by Flonai＠gmx.de 18 Apr '03

18 Apr '03

when i try to compile the the hello server by typing make hello in the l4 building dir, i got an error because i haven't installed doxygen. the problem is that i want to compile fiasco from an linux from scratch system and then using the l4linux microkernel. but doxygen needs xfree and some other progs and i do not want to compile it at this time course i am in an chroot environment with no other linux kernel. i heard doxygen is only need to build documantation files and i do not need them. … [View More]

2 1

Problem compiling Logserver
by Rudolf Weber 18 Apr '03

18 Apr '03

Hello, I miss a l4/env/errno.h when I try to compile the logserver in l4/pkg/log. I'm using the l4v2-API on i586 May this different on the remote cvs ? Greeting Rudolf Weber ... Compiling logserver.o LD_PRELOAD= GENDEP_TARGET=logserver.o GENDEP_BINARY=cpp0 gcc -c -D__USE_L4WQLOCKS__ -D__L4__ -DSYSTEM_x86_586_l4v2 -DARCH_x86 -DCPUTYPE_586 -DL4API_l4v2 -I../../../server/include -I../../../lib/include -I../../../../../include/x86/l4v2 -I/home/rw/l4/current/include/x86/l4v2 -I../../… [View More]

3 2

x2
by Igor Shmukler 08 Apr '03

08 Apr '03

on page 57. lipc conditions - use when it's clear that destination thread runs on the same CPU. does this mean scheduler will traverse the per CPU queue and look for idle destination thread?

1 0

RE: L4 on iPAQ
by Volkmar Uhlig 04 Apr '03

04 Apr '03

> I'm trying to install L4 on the iPAQ (3870). > So far, my iPAQ has the "bootldr" bootloader and Linux installed. > I tried to load the precompiled hazelnut rc2 evaluation suite > for the brutus > evaluation board over serial cable to ram (to address > 0xC1000000) und jumped > to this address (as Volkmar described in nov 2002 on this list). > This didn't work. The iPAQ wrote some digits on the serial > line and crashed. > Has anyone who sucessfully installed … [View More]

2 1

L4 on iPAQ
by Dominik Gummel 02 Apr '03

02 Apr '03

Hello, I'm trying to install L4 on the iPAQ (3870). So far, my iPAQ has the "bootldr" bootloader and Linux installed. I tried to load the precompiled hazelnut rc2 evaluation suite for the brutus evaluation board over serial cable to ram (to address 0xC1000000) und jumped to this address (as Volkmar described in nov 2002 on this list). This didn't work. The iPAQ wrote some digits on the serial line and crashed. Has anyone who sucessfully installed L4 on the iPAQ some hints for me? Must I … [View More]

1 0

Fiasco 1.0 released
by Udo A. Steinberg 02 Apr '03

02 Apr '03

Hello L4 hackers, The Fiasco Team is pleased to announce Fiasco version 1.0, the first official release of the Fiasco L4 microkernel developed at the University of Technology, Dresden. Fiasco currently supports Intel and AMD IA-32 processors (i486 and higher) and implements both version 2 and version X.0 of the L4 interface, as well as several other features such as I/O flexpages and small address spaces. Also included in this release are JDB, the powerful Fiasco kernel debugger, and Fiasco-… [View More]

1 0

Re: problems running hello in fiasco
by Fabian Sturm 01 Apr '03

01 Apr '03

Hello! Thanks for the reply and sorry that I have to write from a different account but my link to the host in germany seems to be down since two days now. > On Wed Mar 26, 2003 at 07:38:33 +0100, Fabian Sturm wrote: > > > When I then boot into it I see some messages of the RMGR but > > then the system is frozen. > > > > Maybe someone knows what I should try next to track this down? > > Which version of GRUB are you using? Is it "our" version from CVS? … [View More]

4 8

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 April 2003