- l4-hackers - example.com Site

build failure and fix for typo
by Julian Stecklina 12 Jul '05

12 Jul '05

Hello, I tried to build fiasco on FreeBSD today using the following commands: > cd kernel/fiasco > gmake config > env AWKP=awk gmake I got as far as: gmake srcdir=/usr/home/blitz/src/os/l4/kernel/fiasco/src -f /usr/home/ blitz/src/os/l4/kernel/fiasco/src/Makefile.sub2 all gmake[3]: Entering directory `/usr/home/blitz/src/os/l4/kernel/fiasco/build' ... Making kip.o g++ -c -MD -nostdinc -I/usr/home/blitz/src/os/l4/kernel/fiasco/ src/types/ia32 -I/usr/home/blitz/src/os/l4/kernel/fiasco/src/types -I/ usr/home/blitz/src/os/l4/kernel/fiasco/src/drivers/ia32 -I/usr/home/ blitz/src/os/l4/kernel/fiasco/src/drivers -I/usr/home/blitz/src/os/l4/ kernel/fiasco/src/kern/ia32 -I/usr/home/blitz/src/os/l4/kernel/fiasco/ src/kern/shared -I/usr/home/blitz/src/os/l4/kernel/fiasco/ src/kern -I/ usr/home/blitz/src/os/l4/kernel/fiasco/src/boot -I/usr/home/blitz/src/ os/l4/kernel/fiasco/src/lib/libk/ia32 -I/usr/home/b litz/src/os/l4/ kernel/fiasco/src/lib/libk -I/usr/home/blitz/src/os/l4/kernel/fiasco/ src/lib/kern/include -I/usr/home/blitz/src/os/l4/ kernel/fiasco/src/lib/ amm -I/usr/home/blitz/src/os/l4/kernel/fiasco/src/lib/gzip -I/usr/home/ blitz/src/os/l4/kernel/fiasco/src/lib/di sasm -I/usr/home/blitz/src/os/ l4/kernel/fiasco/src/lib/perfctr -I/usr/home/blitz/src/os/l4/kernel/ fiasco/src/lib/regex -I/usr/home/bl itz/src/os/l4/kernel/fiasco/src/lib/ minilibc/ia32/include -I/usr/home/blitz/src/os/l4/kernel/fiasco/src/lib/ minilibc/include -I. -Iauto -I/usr/lib//include -fno-implement-inlines -mpreferred-stack-boundary=2 -march=i686 -mtune=pentium2 -fno-defer-pop -freg-struct-re turn -g -Wall -W -Wformat=2 -ffunction-sections -fomit- frame-pointer -gstabs+ -fno-rtti -fno-exceptions -Wno-non-virtual- dtor -O2 - finline-limit=10000 --param large-function-insns=10000 - fweb -frename-registers auto/kip.cc -o kip.o In file included from auto/ kip.h:6, from auto/kip.cc:3: /usr/home/blitz/src/os/l4/kernel/fiasco/ src/types/types.h:4:20: stddef.h: No such file or directory (some spaces have crept in due to copy&paste from xterm) minilibc does not seem to provide stddef.h, so the one of the host compiler is probably meant (is this correct?), but -I/usr/include//bin seems kind of bogus. Has anyone an idea where to tweak this? As a general remark: Hardcoded paths in the build process should be avoided. Best example #!/bin/bash in scripts which should be replaced by #!/usr/bin/env bash or even better #!/bin/sh for better portability. I think the whole build process needs some kind of autoconf magic, too, to make it less GNU/Linux dependent. Regards, -- Julian Stecklina LISP has survived for 21 years because it is an approximate local optimum in the space of programming languages. - John McCarthy (1980)

2 7

using l4linux structures in l4
by Andrew Davenport 11 Jul '05

11 Jul '05

Hello, What is the simplest way to use (eg) the task_struct from linux inside the l4 microkernel. I want to use exactly the same declaration in the kernel, but I am having difficulty using it. Thanks, Andrew

2 1

exception -> l4_ipc ?
by Andrew Davenport 11 Jul '05

11 Jul '05

hi, i see thread::raise_exception(ts), and i know this is where l4 notices a linux sys call (int 0x80), however, i do *not* see where the ipc is sent to the linux server to tell it that a syscall has occured (and to get the parameters and handle it)... thanks in advance, -andrew

2 7

documentation booting fiasco
by Emanuel Thomas 11 Jul '05

11 Jul '05

Hello, is there any detailed documentation about the Fiasco boot process available? Emanuel

3 2

getting older version of l4linux 2.6
by fabs0028＠free.fr 07 Jul '05

07 Jul '05

Hello i would like to get l4linux 2.6.9 to compare with my current fedora kernel. Is it possible to get it with cvs ? I searched but i didn't find a way. Thanx for the help Fabien Chaillou

4 4

l4v2: l4linux2.6 Syscall logging via IPC in l4
by Andrew Davenport 07 Jul '05

07 Jul '05

Hello, I am trying to log linux syscalls from l4linux2.6 on top of l4v2. What is the simplest way to log this at the IPC level (i have enabled exception IPC) and log all the parameters? Thanks, Andrew

3 3

Some questions
by fabs0028＠free.fr 07 Jul '05

07 Jul '05

Hello, I first wanted to signal about a little problem i found : when i launch an application i did for l4 with the loader it works fine but after its end i want to launch a legacy linux application and i get the message KERNEL: Security violation: Not pager of 36. Maybe i forgot something to close my program but i don't know what or maybe it is something else. I also wondered if it was possible to build a standard linux kernel from the l4linux sources ? I think so but i'm not sure. And for a last question i'd like to know if there's a way to share devices such as for example hard drives between l4 and the l4linux server. I saw dde but i don't know if it is still up with the 2.6 portage and i haven't found a lot of doc about it except the manual. Thanx a lot for your help. Fabien Chaillou

2 2

using patched gcc toolchain
by Emanuel Thomas 07 Jul '05

07 Jul '05

Hello, I want to use a patched gcc toolchain, but i'm going to have problems. Is there a global configuration file where I can (easily) which gcc (and other tools) should be used? Even "make confg" seems to use the standard gcc. Where can I change that? Emanuel

3 10

Re: [Fwd: Re: l4lx: console without con or dope --fixed]
by Julian Grizzard 06 Jul '05

06 Jul '05

All, With this setup, what's the best way to reboot the system remotely (e.g. via ssh)? Rebooting the L4Linux server appears to exit all linux related activities and terminate their L4 tasks but the system does not reboot. Thanks! -Julian > Hi, > > I got it working. I had to go into fiasco config: > cd .../l4/kernel/fiasco > make config > > and enable a fourth experimental option in ABI extensions: > -->Allow association of multiple IRQs > > > Thanks for help! > -andrew > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers >

2 2

l4lx: l4FB via con and dope
by Andrew Davenport 06 Jul '05

06 Jul '05

Hi, I am trying to setup a lean l4linux-2.6 with a local text console, without dope or con. I got it printing out the console an login prompt but it ignores input from the keyboard. I have one of those multiplexing devices - that switches the keyboard, mouse and monitor from one computer to the other -- i have a computer for compiling and one for testing. This may be a reason why it ignores the keyboard.... Thanks, andrew

3 9