l4-hackers September 2000

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

3 participants
4 discussions

Task generation & Fiasco scheduler
by kargahi 18 Sep '00

18 Sep '00

Hi L4 hackers I am trying to write some servers on the L4 MK but i have two problems, please guide me with enough details and simple examples. my problems are here : 1. I tried more than a few times to create a 'task' with the l4_task_new system call but i couldn't. If possible, please send me some examples and describtion on creating tasks except the L4 manuals. 2. I am looking for the manager of resource CPU( scheduler ). Please guide me that where is the scheduler and how i can change it with my algorithm. thanks so much M. KARGAHI

1 0

Compiling L4 on FreeBSD (Part 2)
by Farid Hajji 15 Sep '00

15 Sep '00

Hi Michael, I tried again to compile l4 and I'm a step further: cd l4 mkdir include/l4/log cd include/l4/log ln -s ../../../pkg/log/include/l4/log/l4log.h . Now, gmake bombs with gmake[4]: Entering directory `/tmp/l4-devel/l4/pkg/l4util/examples/perf' gmake[4]: *** No rule to make target `main.ld', needed by `perf_p6'. Stop. How can a main.ld be generated? The two other main.ld I've found: ./pkg/log/server/src/main.ld ./pkg/names/server/src/main.ld were quite old (nov 1999) and certainly not generated by gmake! I'm still suspecting an incomplete l4 distribution, probably due to CVS. Trying to compile oskit10, I'm also missing files (I already told you this). I generated a oskit10/modules.x86.pc manually by putting the name of each subdirectory of oskit10 by itself on a line. Using gcc-2.95.2, configure resumes but misses the following files: sed: ./unsupported/scripts/sym-trace.in: No such file or directory sed: ./boot/GNUmakefile.in: No such file or directory sed: ./examples/GNUmakefile.in: No such file or directory sed: ./freebsd/GNUmakefile.in: No such file or directory sed: ./fs/GNUmakefile.in: No such file or directory sed: ./fsnamespace/GNUmakefile.in: No such file or directory sed: ./linux/GNUmakefile.in: No such file or directory sed: ./netbsd/GNUmakefile.in: No such file or directory sed: ./posix/GNUmakefile.in: No such file or directory sed: ./video/GNUmakefile.in: No such file or directory sed: ./wimp/GNUmakefile.in: No such file or directory sed: ./x11/GNUmakefile.in: No such file or directory Here again, I'm suspecting an incomplete distribution due to cvs problems. Thank you, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | farid.hajji(a)ob.kamp.net - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - Murphy's Law fails only when you try to demonstrate it, and thus succeeds.

2 3

CVS Server broken? + compiling L4 on FreeBSD
by Farid Hajji 14 Sep '00

14 Sep '00

Hi Michael, I already asked this on l4-hackers, but I didn't get any replies (yet): -------- begin forwarded message ----------- begin forwarded message -------- 1. I'm missing some files, like e.g. in l4 module the file pkg/log/lib/include/l4/liblog.h (among others). [oskit10 is missing _a lot_ of files too, not only .html's] 2. In l4-hackers archive http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg00399.html Michael refers to an additional "log" package. This is fine, but this package (included in l4) doesn't include liblog.h (cvs server says: nothing known about pkg/log/lib/include/l4/liblog.h) --------- end forwarded message ------------ end forwarded message -------- I did a complete "checkout l4" again in a fresh directory today, but the problem remained (the same with cvs update -d). One guess may be that the files are not present in the repository or that they have wrong permissions. Could you please check that the cvs server is running correctly (at least for l4 and oskit10)? I'm trying to compile l4 on a FreeBSD machine. I was able to compile oskit (_not_ oskit10) with gcc-2.7.2.3 and binutils-2.9.1 without problems (gcc-2.95.2 couldn't grok some asm directives because of forbidden use of certain x86 regs) except for the usual warnings. Compiling l4 with gcc-2.95.2 and binutils-2.9.1 went well, up to the point where liblog.h is required. I was not able to proceed any further at this point (liblog.h was not present either in l4-990428.tar.gz). BTW, I had to modify l4/Makeconf slightly, so that the native gcc(-2.95.2) of FreeBSD be used instead of the cross-compiler i486-linux-gcc. This is the modified part of l4/Makeconf: ifdef CROSS CPPFLAGS+= -DCROSS ifeq ($(SYSTEM),Linux) SYSTEM_TARGET= FLOPPY=/dev/fd0 else ifeq ($(SYSTEM),FreeBSD) SYSTEM_TARGET= FLOPPY=/dev/rfd0.1440 else SYSTEM_TARGET=i386-linux- endif endif endif I also tried to compile oskit10, but to no avail. Probably due to the missing files problem reported earlier (I'm not sure though...), even oskit10/configure bombed at a very early stage with the following error message: checking if compiler groks __attribute__((packed)) on structs... yes checking if compiler groks __attribute__((pure))... yes checking if compiler groks __attribute__((noreturn))... yes checking if compiler groks __attribute__((constructor))... yes configure: error: OSKit modules file ./modules.x86.pc was not found. It didn't matter wether I used gcc-2.95.2 or gcc-2.7.2.3: env CC=gcc27 MAKE=gmake ./configure env CC=gcc MAKE=gmake ./configure This is my compile environment: gcc -v Using builtin specs. gcc version 2.95.2 19991024 (release) gcc27 -v Reading specs from /usr/local/lib/gcc-lib/i386-portbld-freebsd5.0/2.7.2.3/specs gcc version 2.7.2.3 as -v GNU assembler version 2.9.1 (i386-unknown-freebsdelf), using BFD version 2.9.1 ld -v GNU ld version 2.9.1 (with BFD 2.9.1) gmake -v GNU Make version 3.79, by Richard Stallman and Roland McGrath. Built for i386--freebsd5.0 uname -rs FreeBSD 5.0-20000506-CURRENT Please help! Thanks, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | farid.hajji(a)ob.kamp.net - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - Murphy's Law fails only when you try to demonstrate it, and thus succeeds.

1 0

CVS server problems?
by Farid Hajji 12 Sep '00

12 Sep '00

Hi, is the CVS server currently broken? 1. I'm missing some files, like e.g. in l4 module the file pkg/log/lib/include/l4/liblog.h (among others). [oskit10 is missing _a lot_ of files too] 2. In l4-hackers archive http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg00399.html Michael refers to an additional "log" package. This is fine, but this package (included in l4) doesn't include liblog.h (cvs server says: nothing known about pkg/log/lib/include/l4/liblog.h) Thanks, -Farid. -- Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555 Broicherdorfstr. 83, D-41564 Kaarst, Germany | farid.hajji(a)ob.kamp.net - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - Murphy's Law fails only when you try to demonstrate it, and thus succeeds.

1 0

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 September 2000