l4-hackers

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

2 participants
2880 discussions

Problems compiling from CVS
by Daniel Koch 04 May '03

04 May '03

Hello, when I try to compile the hello world servers with "make hello" from your newest cvs version I get the following error: ... Compiling cfg-parse.o LD_PRELOAD= GENDEP_TARGET=cfg-parse.o GENDEP_BINARY= gcc -c -DSYSTEM_x86_586_l4v2 -DARCH_x86 -DCPUTYPE_586 -DL4API_l4v2 -I../../../server/src -I. -I../../../../../include/x86/l4v2 -I/home/drops/include/x86/l4v2 -I../../../../../include/x86 -I/home/drops/include/x86 -I../../../../../include -I/home/drops/include -nostdinc -I../../../../../../oskit -I../../../../../../oskit/flux/c -I/home/drops/include -I/home/drops/include/flux/c -I/usr/lib/gcc-lib/i386-linux/3.2.3//include -g -O2 -march=i586 -Wall -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -Wno-unused -Wno-parentheses cfg-parse.c -o cfg-parse.o In file included from ../cfg-parse.y:320: <stdout>:23:20: stdint.h: Datei oder Verzeichnis nicht gefunden In file included from ../cfg-parse.y:320: <stdout>:2086: warning: no previous prototype for `yyget_lineno' <stdout>:2095: warning: no previous prototype for `yyget_in' <stdout>:2103: warning: no previous prototype for `yyget_out' <stdout>:2111: warning: no previous prototype for `yyget_leng' <stdout>:2120: warning: no previous prototype for `yyget_text' <stdout>:2129: warning: no previous prototype for `yyset_lineno' <stdout>:2141: warning: no previous prototype for `yyset_in' <stdout>:2146: warning: no previous prototype for `yyset_out' <stdout>:2151: warning: no previous prototype for `yyget_debug' <stdout>:2156: warning: no previous prototype for `yyset_debug' <stdout>:2162: warning: no previous prototype for `yylex_destroy' make[4]: *** [cfg-parse.o] Fehler 1 make[4]: Leaving directory `/home/daniel/Projekt/DROPS/l4/pkg/rmgr/server/src/OBJ-x86_586-l4v2' make[3]: *** [all] Fehler 2 make[3]: Leaving directory `/home/daniel/Projekt/DROPS/l4/pkg/rmgr/server/src' make[2]: *** [src] Fehler 2 make[2]: Leaving directory `/home/daniel/Projekt/DROPS/l4/pkg/rmgr/server' make[1]: *** [server] Fehler 2 make[1]: Leaving directory `/home/daniel/Projekt/DROPS/l4/pkg/rmgr' make: *** [hello] Fehler 2 daniel@skywalker:~/Projekt/DROPS/l4$ Im using gcc 3.2.3 on an Athlon system. Any suggestions ? Daniel

2 1

ANNOUNCE: L4Ka::Pistachio version 0.1
by Espen Skoglund 02 May '03

02 May '03

The L4Ka team is happy to announce the first release of the L4Ka::Pistachio microkernel. L4Ka::Pistachio is the latest L4 microkernel developed by the System Architecture Group at the University of Karlsruhe, Germany, in collaboration with the DISY group at the University of New South Wales, Australia. It is the first available kernel implementation of the L4 Version 4 kernel API (currently code-named Version X.2), which is fully 32 and 64 bit clean and provides multiprocessor support. A broad overview of L4Ka::Pistachio and the L4 Version 4 API can be found in: http://l4ka.org/projects/pistachio/pistachio-whitepaper.pdf L4Ka::Pistachio is built from ground up incorporating the research results of the last seven years of microkernel and multi-server research. The code is written in C++ with a strong focus on performance and portability. The first release includes support for many of today's widely used commodity architectures: o Intel IA32 (Pentium and higher) o Intel IA64 (Itanium1) o PowerPC 32bit (IBM 750) o Alpha (21164) o MIPS 64bit (R4000, R5000) The variety of supported architectures makes L4Ka::Pistachio an ideal research and development platform for a wide variety of systems. Additional architectural support for AMD64, ARM, Power4, and UltraSparc is either planned or already in progress. L4Ka::Pistachio is available under the two-clause BSD license. Source and binary distributions, documentation, and other online resources can be found on the L4Ka website: http://l4ka.org/ Within the next few weeks we are going to release L4Linux 2.4.20 which has support for L4Ka::Pistachio/ia32 (besides the old V2 and X.0 APIs). Happy hacking, The L4Ka Development Team

1 0

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. so is there a way to change one/some makefiles to exclude doxygen. i used the cvs-reposetory (l4,oskit,and then linux22) modules from April 02. -- +++ GMX - Mail, Messaging & more http://www.gmx.net +++ Bitte lächeln! Fotogalerie online mit GMX ohne eigene Homepage!

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../../../../../include/x86 -I/home/rw/l4/current/include/x86 -I../../../../../include -I/home/rw/l4/current/include -nostdinc -I../../../../../../oskit10 -I../../../../../../oskit10/oskit/c -I/home/rw/l4/current/include -I/home/rw/l4/current/include/oskit/c -I/usr/lib/gcc-lib/i386-redhat-linux/3.2//include -g -O2 -march=i586 -Wall -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations ../../../lib/src/logserver.c -o logserver.o ../../../lib/src/logserver.c:17:26: l4/env/errno.h: No such file or directory ../../../lib/src/logserver.c: In function `LOG_channel_open': ../../../lib/src/logserver.c:161: `L4_ENOMEM' undeclared (first use in this function) ../../../lib/src/logserver.c:161: (Each undeclared identifier is reported only once ../../../lib/src/logserver.c:161: for each function it appears in.) ../../../lib/src/logserver.c:162: `L4_ENOTFOUND' undeclared (first use in this function) ../../../lib/src/logserver.c: In function `LOG_channel_write': ../../../lib/src/logserver.c:204: `L4_EIPC' undeclared (first use in this function) ../../../lib/src/logserver.c: In function `LOG_channel_flush': ../../../lib/src/logserver.c:230: `L4_EIPC' undeclared (first use in this function) ../../../lib/src/logserver.c: In function `LOG_channel_close': ../../../lib/src/logserver.c:256: `L4_EIPC' undeclared (first use in this function) -- -- --------------------------------------------------------------- Rudolf Weber http://www.infnet.verein.de/~rw E-Mail: rfweber(a)tesionmail.de

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 L4 on the iPAQ some hints for me? > Must I compile my own custom L4 for the iPAQ? > Or must I use angelboot (I didn't find docs about it in google)? You have to compile your own version of Hazelnut specifically for the iPaq. The Brutus board is not compatible (the memory layout is different). - Volkmar

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 compile my own custom L4 for the iPAQ? Or must I use angelboot (I didn't find docs about it in google)? We need L4 on the iPAQ because we are going to port PERSEUS to it. My part will be the port of Linux 2.4 to L4/ARM (it will be my master thesis). Thanks & Regards, Dominik -- Universität des Saarlandes Department for Computer Science, Cryptography and Security Dominik Gummel email: bofh(a)krypt.cs.uni-sb.de Building 45, Room 536 Im Stadtwald,D-66123 Saarbrücken Tel.: +49(681)302-5608 Fax.: +49(681)302 4631 Fu 0172-6916265 public key http://www-krypt.cs.uni-sb.de/~bofh Fingerprint 5057 7FD9 A0DB 5B92 F1A2 46C1 0070 6200 AAE1 98A9

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-UX, a user-mode port of Fiasco to the Linux system call interface. For further information please visit the Fiasco homepage at: http://os.inf.tu-dresden.de/fiasco/ Udo Steinberg Operating Systems Group University of Technology Dresden, Germany

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? Hmm I just took the newest from apha.gnu.org 0.93. I read that you have an own but I thought that is only needed if you have overlapping modules. > How did you configure Fiasco? Could you supply your configuration > (globalconfig.out)!? Sure. I followed the manual and did a make menuconfig in the build directory. I now also tried with the assertions compiled in but none gets triggered so far. Thansk a lot, Fabian # # Automatically generated, don't edit # # Generated on: californium # At: Wed, 26 Mar 2003 02:30:06 +0000 # Linux version 2.4.20 (root@californium) (gcc version 2.95.4 20011002 (Debian p rerelease)) #13 Thu Dec 5 19:48:30 EST 2002 # # Main menu # # # Compiler # CONFIG_USE_GCC=y CONFIG_USE_GCC_3_X=n # # Target Architectures # # # Target platform # CONFIG_IA32=y CONFIG_IA64=n CONFIG_ARM=n CONFIG_UX=n # # Kernel ABI Version # CONFIG_ABI_V2=y CONFIG_ABI_X0=n # # Target processor # CONFIG_IA32_586=y CONFIG_IA32_686=n CONFIG_IA32_K6=n CONFIG_IA32_K6_2=n CONFIG_IA32_K6_3=n CONFIG_ASSEMBLER_IPC_SHORTCUT=y CONFIG_SCHED_RTC=y CONFIG_SLOW_RTC=n CONFIG_DECEIT_BIT_DISABLES_SWITCH=n CONFIG_DISABLE_AUTO_SWITCH=n CONFIG_APIC_MASK=n CONFIG_POWERSAVE_GETCHAR=y CONFIG_X2_LIKE_SYS_CALLS=n CONFIG_SYNC_TSC=n CONFIG_SMALL_SPACES=n # # Kernel Debugging # CONFIG_INLINE=y CONFIG_NDEBUG=y CONFIG_PROFILE=n CONFIG_NO_FRAME_PTR=n CONFIG_KDB=y CONFIG_JDB=y CONFIG_JDB_LOGGING=n CONFIG_MAINTAINER_MODE=n # # Derived symbols # CONFIG_ABI="v2" CONFIG_IA32_TARGET="Intel Pentium" CONFIG_XARCH="ia32" CONFIG_SCHED_PIT=n # # That's all, folks!

4 8

DROPS Konsole
by Daniel Koch 31 Mar '03

31 Mar '03

Hi, finally I managed to get l4linux running without overlapping modules, thanks for the help ! Now I d like to install a Drops console with a con_server, but I don t know where I can download the necessary files. Im also interested in DOpE... id appreciate it if anyone can tell me where to download the files. Daniel

2 1

Jump to page:

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