l4-hackers May 2007

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

19 participants
42 discussions

double page-fault
by Davide Fasoli 31 May '07

31 May '07

this is my bootloader setup for booting fiasco title Fiasco, Console, Loader, Tiny Shell (run) root (hd0,2) kernel /boot/fiasco_mod/bootstrap -modaddr 0x02000000 module /boot/fiasco_mod/fiasco -nowait -serial_esc -comspeed 115200 -comport 1 module /boot/fiasco_mod/sigma0 module /boot/fiasco_mod/roottask module /boot/fiasco_mod/names --events module /boot/fiasco_mod/log --events module /boot/fiasco_mod/dm_phys --isa=0x00800000 -v --events module /boot/fiasco_mod/con module /boot/fiasco_mod/simple_ts -t 300 --events module /boot/fiasco_mod/tftp #The loader should load and start the minishell module /boot/fiasco_mod/loader module /boot/fiasco_mod/run vbset 0x117 boot it returns me an error of Double Page Fault, how can i fix it? ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

2 1

region overlap
by Davide Fasoli 30 May '07

30 May '07

Now it starts, but it gives me a "region overlap error", i've tryed searching something about it and i've seen that the modaddr command is not a grub command, how can i make things work in a grub bootloader? i've heard about a single-image mode, how can i make it work? thanks in advance, Davide Fasoli ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

3 2

Re: perf_p6 error
by Davide Fasoli 30 May '07

30 May '07

Hi, thanks the problem is resolved. Davide Fasoli ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

1 0

perf_p6 error
by Davide Fasoli 30 May '07

30 May '07

Compiling it gives me that error: make[3]: Entering directory `/home/fasoz/soa/tudos/l4/pkg/l4util/examples' test -f perf/broken -o -f perf/obsolete || \ if [ -f perf/Makefile ] ; then PWD=/home/fasoz/soa/tudos/l4/pkg/l4util/examples/perf make -C perf ; fi make[4]: Entering directory `/home/fasoz/soa/tudos/l4/pkg/l4util/examples/perf' PWD=/home/fasoz/soa/tudos/l4/prova/pkg/l4util/examples/perf/OBJ-x86_586-l4v2 make -C /home/fasoz/soa/tudos/l4/prova/pkg/l4util/examples/perf/OBJ-x86_586-l4v2 -f Makefile make[5]: Entering directory `/home/fasoz/soa/tudos/l4/prova/pkg/l4util/examples/perf/OBJ-x86_586-l4v2' ==> Linking perf_p6 LD_PRELOAD=/home/fasoz/soa/tudos/l4/prova/tool/gendep/libgendep.so GENDEP_TARGET=perf_p6 GENDEP_BINARY=ld ld -o perf_p6 /home/fasoz/soa/tudos/l4/prova/lib/x86_586/crt0.o p6.o -Ttext=0xa00000 -L/home/fasoz/soa/tudos/l4/prova/lib/x86_586/l4v2 -L/home/fasoz/soa/tudos/l4/prova/lib/x86_586 -L/home/fasoz/soa/tudos/l4/prova/lib -L/home/drops/lib/x86_586/l4v2 -L/home/drops/lib/x86_586 -L/home/drops/lib -T/home/fasoz/soa/tudos/l4/prova/lib/x86_586/main_stat.ld -static -lmain -ll4util -ll4sys -nostdlib -luc_c -luc_be_minimal_io -luc_be_l4_start_stop -lc_be_sigma0_mem -luc_c -luclibc_support -ll4util -lsigma0 -luc_c /usr/lib/gcc/i486-linux-gnu/4.1.2/libgcc.a -luc_c -ll4sys -Ttext=0xa00000 --warn-common -gc-sections /home/fasoz/soa/tudos/l4/prova/lib/x86_586/libuc_c.a(vfprintf.o): In function `vfprintf': /home/fasoz/soa/tudos/l4/prova/pkg/uclibc/lib/uclibc/ARCH-all/libc/stdio/_vfprintf.c:1948: undefined reference to `__stack_chk_fail' /home/fasoz/soa/tudos/l4/prova/lib/x86_586/libuc_c.a(wcrtomb.o): In function `wcrtomb': /home/fasoz/soa/tudos/l4/prova/pkg/uclibc/lib/uclibc/ARCH-all/libc/misc/wchar/wchar.c:365: undefined reference to `__stack_chk_fail' /home/fasoz/soa/tudos/l4/prova/lib/x86_586/libuc_c.a(wcsnrtombs.o): In function `wcsnrtombs': /home/fasoz/soa/tudos/l4/prova/pkg/uclibc/lib/uclibc/ARCH-all/libc/misc/wchar/wchar.c:917: undefined reference to `__stack_chk_fail' /home/fasoz/soa/tudos/l4/prova/lib/x86_586/libuc_c.a(_fpmaxtostr.o): In function `_fpmaxtostr': /home/fasoz/soa/tudos/l4/prova/pkg/uclibc/lib/uclibc/ARCH-all/libc/stdio/_fpmaxtostr.c:769: undefined reference to `__stack_chk_fail' /home/fasoz/soa/tudos/l4/prova/lib/x86_586/libuc_c.a(_ppfs_parsespec.o): In function `_ppfs_parsespec': /home/fasoz/soa/tudos/l4/prova/pkg/uclibc/lib/uclibc/ARCH-all/libc/stdio/_vfprintf.c:1155: undefined reference to `__stack_chk_fail' make[5]: *** [perf_p6] Error 1 make[5]: Leaving directory `/home/fasoz/soa/tudos/l4/prova/pkg/l4util/examples/perf/OBJ-x86_586-l4v2' make[4]: *** [/home/fasoz/soa/tudos/l4/prova/pkg/l4util/examples/perf/OBJ-x86_586-l4v2] Error 2 make[4]: Leaving directory `/home/fasoz/soa/tudos/l4/pkg/l4util/examples/perf' make[3]: *** [perf] Error 2 make[3]: Leaving directory `/home/fasoz/soa/tudos/l4/pkg/l4util/examples' make[2]: *** [examples] Error 2 make[2]: Leaving directory `/home/fasoz/soa/tudos/l4/pkg/l4util' make[1]: *** [l4util.bin] Error 2 make[1]: Leaving directory `/home/fasoz/soa/tudos/l4/pkg' make: *** [pkg] Error 2 what about that error? ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

2 2

Re: multiple compilations
by Davide Fasoli 30 May '07

30 May '07

If i compile without "/home/fasoz/soa/tudos/kernel/fiasco/src/boot/ia32/boot.S" gcc -c -MD -MP -MF .boot.S.d.new -o boot.o -nostdinc -I/home/fasoz/soa/tudos/kernel/fiasco/src/types/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/types -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/shared -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern -I/home/fasoz/soa/tudos/kernel/fiasco/src/boot -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/kern/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/amm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/gzip -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/disasm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/perfctr -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/regex -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/ia32/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/include -I. -Iauto -I/usr/lib/gcc/i486-linux-gnu/4.1.2//include -DASSEMBLER gcc: unrecognized option `-MP' gcc: unrecognized option `-MF' gcc: .boot.S.d.new: linker input file unused since linking not done but, if I use: g++ -c -MD -MP -MF .boot.S.d.new -o boot.o -nostdinc -I/home/fasoz/soa/tudos/kernel/fiasco/src/types/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/types -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/shared -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern -I/home/fasoz/soa/tudos/kernel/fiasco/src/boot -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/kern/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/amm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/gzip -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/disasm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/perfctr -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/regex -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/ia32/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/include -I. -Iauto -I/usr/lib/gcc/i486-linux-gnu/4.1.2//include -DASSEMBLER /home/fasoz/soa/tudos/kernel/fiasco/src/boot/ia32/boot.S it compiles, where can I modify the makefile??? ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

2 1

Re: multiple compilations
by Davide Fasoli 28 May '07

28 May '07

----- Messaggio originale ----- Da: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> A: l4-hackers(a)os.inf.tu-dresden.de Inviato: Lunedì 28 maggio 2007, 13:21:55 Oggetto: Re: multiple compilations On Mon May 28, 2007 at 11:04:55 +0000, Davide Fasoli wrote: > On Mon May 28, 2007 at 09:15:43 +0200, Davide Fasoli wrote: > > I've installed fiasco following the step of the howto I've found > > here(http://os.inf.tu-dresden.de/fiasco/use.html) from > > this(http://os.inf.tu-dresden.de/drops/download.html) repository, i've > > tried following the hints you gave me but still no results. > > I'm sure you exactly followed the howto but again, what Linux > distribution are you using? > > Ubuntu 6.10; > > I'd also like to know which version of gcc, > > gcc 2.95.2 > gcc 3.3 > gcc 3.4 > gcc 4.1 > > binutils > > No > > and make > > make 3.81 Ok, thanks. Can please issue 'make -C /home/fasoz/soa/tudos/kernel/fiasco/build V=1' and post the output? The output is this: make: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' make srcdir=/home/fasoz/soa/tudos/kernel/fiasco/src objbase=/home/fasoz/soa/tudos/kernel/fiasco/build -f /home/fasoz/soa/tudos/kernel/fiasco/src/Makefile.sub1 make[1]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' Checking compiler config... .Compiler-config is unchanged unchanged. make[1]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' make srcdir=/home/fasoz/soa/tudos/kernel/fiasco/src objbase=/home/fasoz/soa/tudos/kernel/fiasco/build -f /home/fasoz/soa/tudos/kernel/fiasco/src/Makefile.sub2 all make[1]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' if [ -d /home/fasoz/soa/tudos/kernel/fiasco/src/.svn ]; then \ v=`svnversion -nc /home/fasoz/soa/tudos/kernel/fiasco/src`; v=${v%[A-Z]}; \ echo "#define CODE_VERSION \"r${v#*:}\"" > version.h; \ else \ echo "#define CODE_VERSION \"rUNKNOWN\"" > version.h; \ fi -e ... Making kip.o g++ -c -MD -MP -MF .kip.cc.d.new -o kip.o \ -nostdinc -I/home/fasoz/soa/tudos/kernel/fiasco/src/types/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/types -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/shared -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern -I/home/fasoz/soa/tudos/kernel/fiasco/src/boot -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/kern/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/amm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/gzip -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/disasm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/perfctr -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/regex -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/ia32/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/include -I. -Iauto -I/usr/lib/gcc/i486-linux-gnu/4.1.2//include -fno-implement-inlines -mpreferred-stack-boundary=2 -mregparm=3 -march=i586 -fno-defer-pop -freg-struct-return -g -Wall -W -Wformat=2 -ffunction-sections -fomit-frame-pointer -gstabs+ -fno-rtti -fno-exceptions -fno-threadsafe-statics -Wno-non-virtual-dtor -O2 --param large-function-insns=10000 -fweb auto/kip.cc -e ... Making kip-ia32.o g++ -c -MD -MP -MF .kip-ia32.cc.d.new -o kip-ia32.o \ -nostdinc -I/home/fasoz/soa/tudos/kernel/fiasco/src/types/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/types -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/shared -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern -I/home/fasoz/soa/tudos/kernel/fiasco/src/boot -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/kern/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/amm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/gzip -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/disasm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/perfctr -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/regex -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/ia32/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/include -I. -Iauto -I/usr/lib/gcc/i486-linux-gnu/4.1.2//include -fno-implement-inlines -mpreferred-stack-boundary=2 -mregparm=3 -march=i586 -fno-defer-pop -freg-struct-return -g -Wall -W -Wformat=2 -ffunction-sections -fomit-frame-pointer -gstabs+ -fno-rtti -fno-exceptions -fno-threadsafe-statics -Wno-non-virtual-dtor -O2 --param large-function-insns=10000 -fweb auto/kip-ia32.cc -e ... Making kip-debug.o g++ -c -MD -MP -MF .kip-debug.cc.d.new -o kip-debug.o \ -nostdinc -I/home/fasoz/soa/tudos/kernel/fiasco/src/types/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/types -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/shared -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern -I/home/fasoz/soa/tudos/kernel/fiasco/src/boot -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/kern/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/amm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/gzip -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/disasm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/perfctr -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/regex -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/ia32/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/include -I. -Iauto -I/usr/lib/gcc/i486-linux-gnu/4.1.2//include -fno-implement-inlines -mpreferred-stack-boundary=2 -mregparm=3 -march=i586 -fno-defer-pop -freg-struct-return -g -Wall -W -Wformat=2 -ffunction-sections -fomit-frame-pointer -gstabs+ -fno-rtti -fno-exceptions -fno-threadsafe-statics -Wno-non-virtual-dtor -O2 --param large-function-insns=10000 -fweb auto/kip-debug.cc -e ... Making kip-ia32-debug.o g++ -c -MD -MP -MF .kip-ia32-debug.cc.d.new -o kip-ia32-debug.o \ -nostdinc -I/home/fasoz/soa/tudos/kernel/fiasco/src/types/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/types -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/shared -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern -I/home/fasoz/soa/tudos/kernel/fiasco/src/boot -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/kern/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/amm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/gzip -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/disasm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/perfctr -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/regex -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/ia32/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/include -I. -Iauto -I/usr/lib/gcc/i486-linux-gnu/4.1.2//include -fno-implement-inlines -mpreferred-stack-boundary=2 -mregparm=3 -march=i586 -fno-defer-pop -freg-struct-return -g -Wall -W -Wformat=2 -ffunction-sections -fomit-frame-pointer -gstabs+ -fno-rtti -fno-exceptions -fno-threadsafe-statics -Wno-non-virtual-dtor -O2 --param large-function-insns=10000 -fweb auto/kip-ia32-debug.cc -e ==> Archiving into libabi.a rm -f libabi.a ar crs libabi.a kip.o kip-ia32.o kip-debug.o kip-ia32-debug.o l4_types.o l4_types-iofp.o l4_types-32bit.o l4_types-debug.o l4_types-caps.o utcb-ia32-ux.o -e ... Making boot.o gcc -c -MD -MP -MF .boot.S.d.new -o boot.o \ -nostdinc -I/home/fasoz/soa/tudos/kernel/fiasco/src/types/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/types -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/drivers -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern/shared -I/home/fasoz/soa/tudos/kernel/fiasco/src/kern -I/home/fasoz/soa/tudos/kernel/fiasco/src/boot -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk/ia32 -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/libk -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/kern/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/amm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/gzip -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/disasm -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/perfctr -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/regex -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/ia32/include -I/home/fasoz/soa/tudos/kernel/fiasco/src/lib/minilibc/include -I. -Iauto -I/usr/lib/gcc/i486-linux-gnu/4.1.2//include -DASSEMBLER /home/fasoz/soa/tudos/kernel/fiasco/src/boot/ia32/boot.S gcc: cannot specify -o with -c or -S and multiple compilations make[1]: *** [boot.o] Error 1 make[1]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' make: *** [all] Error 2 make: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' > > Thanks. > > > Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> ha scritto: Hi, > > > > On Fri May 25, 2007 at 13:47:33 +0200, Davide Fasoli wrote: > > > when running this command from shell > > > > > > make O=/home/fasoz/soa/tudos/l4/prova > > > > > > where /home/fasoz/soa/tudos/l4/prova is the installation directory of l4, I had the following text as output: > > > > > > ... > > > make -C build > > > make[2]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' > > > make srcdir=/home/fasoz/soa/tudos/kernel/fiasco/src objbase=/home/fasoz/soa/tudos/kernel/fiasco/build -f /home/fasoz/soa/tudos/kernel/fiasco/src/Makefile.sub1 > > > make[3]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' > > > Checking compiler config... unchanged. > > > make[3]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' > > > make srcdir=/home/fasoz/soa/tudos/kernel/fiasco/src objbase=/home/fasoz/soa/tudos/kernel/fiasco/build -f /home/fasoz/soa/tudos/kernel/fiasco/src/Makefile.sub2 all > > > make[3]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' > > > -e ... Making kip.o > > > -e ... Making kip-ia32.o > > > -e ... Making kip-debug.o > > > -e ... Making kip-ia32-debug.o > > > -e ==> Archiving into libabi.a > > > -e ... Ma king boot.o > > > gcc: cannot specify -o with -c or -S and multiple compilations > > > make[3]: *** [boot.o] Error 1 > > > make[3]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' > > > make[2]: *** [all] Error 2 > > > make[2]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' > > > make[1]: *** [build] Error 2 > > > make[1]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco' > > > make: *** [../kernel/fiasco] Error 2 > > > > > > I was wondering about what can cause this error, i spent something > > > like 15 days on this without coping on... could you please help me? I > > > need to install l4 for an exam... > > > > Just plain building the kernel with the default setup works just fine > > for me. Which distribution are you using? > > And build with more output with "make V=1". Doing this in the > > kernel/fiasco/build directory is sufficient. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers(a)os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers thanks ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

2 1

Re: multiple compilations
by Davide Fasoli 28 May '07

28 May '07

Hi, ----- Messaggio originale ----- Da: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> A: l4-hackers(a)os.inf.tu-dresden.de Inviato: Lunedì 28 maggio 2007, 11:43:35 Oggetto: Re: multiple compilations Hi, On Mon May 28, 2007 at 09:15:43 +0200, Davide Fasoli wrote: > I've installed fiasco following the step of the howto I've found > here(http://os.inf.tu-dresden.de/fiasco/use.html) from > this(http://os.inf.tu-dresden.de/drops/download.html) repository, i've > tried following the hints you gave me but still no results. I'm sure you exactly followed the howto but again, what Linux distribution are you using? Ubuntu 6.10; I'd also like to know which version of gcc, gcc 2.95.2 gcc 3.3 gcc 3.4 gcc 4.1 binutils No and make make 3.81 are you using, and I'd like to see the build done with V=1. Thanks. > Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> ha scritto: Hi, > > On Fri May 25, 2007 at 13:47:33 +0200, Davide Fasoli wrote: > > when running this command from shell > > > > make O=/home/fasoz/soa/tudos/l4/prova > > > > where /home/fasoz/soa/tudos/l4/prova is the installation directory of l4, I had the following text as output: > > > > ... > > make -C build > > make[2]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' > > make srcdir=/home/fasoz/soa/tudos/kernel/fiasco/src objbase=/home/fasoz/soa/tudos/kernel/fiasco/build -f /home/fasoz/soa/tudos/kernel/fiasco/src/Makefile.sub1 > > make[3]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' > > Checking compiler config... unchanged. > > make[3]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' > > make srcdir=/home/fasoz/soa/tudos/kernel/fiasco/src objbase=/home/fasoz/soa/tudos/kernel/fiasco/build -f /home/fasoz/soa/tudos/kernel/fiasco/src/Makefile.sub2 all > > make[3]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' > > -e ... Making kip.o > > -e ... Making kip-ia32.o > > -e ... Making kip-debug.o > > -e ... Making kip-ia32-debug.o > > -e ==> Archiving into libabi.a > > -e ... Ma king boot.o > > gcc: cannot specify -o with -c or -S and multiple compilations > > make[3]: *** [boot.o] Error 1 > > make[3]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' > > make[2]: *** [all] Error 2 > > make[2]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' > > make[1]: *** [build] Error 2 > > make[1]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco' > > make: *** [../kernel/fiasco] Error 2 > > > > I was wondering about what can cause this error, i spent something > > like 15 days on this without coping on... could you please help me? I > > need to install l4 for an exam... > > Just plain building the kernel with the default setup works just fine > for me. Which distribution are you using? > And build with more output with "make V=1". Doing this in the > kernel/fiasco/build directory is sufficient. > Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers(a)os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers Thanks. Davide ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

2 1

multiple compilations
by Davide Fasoli 28 May '07

28 May '07

I'm writing this mail about some problem i had during the l4 microkernel installation.. when running this command from shell make O=/home/fasoz/soa/tudos/l4/prova where /home/fasoz/soa/tudos/l4/prova is the installation directory of l4, I had the following text as output: ... make -C build make[2]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' make srcdir=/home/fasoz/soa/tudos/kernel/fiasco/src objbase=/home/fasoz/soa/tudos/kernel/fiasco/build -f /home/fasoz/soa/tudos/kernel/fiasco/src/Makefile.sub1 make[3]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' Checking compiler config... unchanged. make[3]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' make srcdir=/home/fasoz/soa/tudos/kernel/fiasco/src objbase=/home/fasoz/soa/tudos/kernel/fiasco/build -f /home/fasoz/soa/tudos/kernel/fiasco/src/Makefile.sub2 all make[3]: Entering directory `/home/fasoz/soa/tudos/kernel/fiasco/build' -e ... Making kip.o -e ... Making kip-ia32.o -e ... Making kip-debug.o -e ... Making kip-ia32-debug.o -e ==> Archiving into libabi.a -e ... Ma king boot.o gcc: cannot specify -o with -c or -S and multiple compilations make[3]: *** [boot.o] Error 1 make[3]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' make[2]: *** [all] Error 2 make[2]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco/build' make[1]: *** [build] Error 2 make[1]: Leaving directory `/home/fasoz/soa/tudos/kernel/fiasco' make: *** [../kernel/fiasco] Error 2 I was wondering about what can cause this error, i spent something like 15 days on this without coping on... could you please help me? I need to install l4 for an exam... thanks in advance Davide Fasoli --------------------------------- L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail

2 4

Can we install L4 on a "bare machine"?
by Marius.bao 26 May '07

26 May '07

Hi everybody, I have installed L4 under Linux successfully. Now I wonder can we install L4 on a "bare machine"--a computer which haven't installed any OS at all. If we can, then how to install it. If not, what extra job should I do to make it possible. As I'm thinking of that L4 is just a microkernel, it hasn't got a filesystem, if we want to install it on a "bare machine", how shall we manage the files.

2 1

Re: The boot error of L4Linux
by chenggh 24 May '07

24 May '07

On Wednesday 23 May 2007 08:46, Adam Lackorzynski wrote: > On Wed May 23, 2007 at 09:21:11 +0000, chenggh wrote: > > On Tuesday 22 May 2007 10:40, chenggh wrote: > > > Hi: > > > When I boot the L4Linux there are some errors. In this mail there are > > > 2 attachments of linux26.cfg, grub configuration and boot log. Please > > > help me to check the boot log. > > > > The new boot log is as following: > > > > l4lx | L4RM: no fpage received (page fault -- asked pager C.03, result > > 0x000 > > l4lx : 04000) > > l4lx | L4RM: [PF] read at 0x000a0000, ip 00000000, src E.04 > > l4lx | [E.0] l4rm/lib/src/pagefault.c:78:__unknown_pf(): > > l4lx | unhandled page fault > > You probably need 'allow_vga' in your l4linux loader configuration file. The error is same when I add the "allow_vga" in linux26.cfg like this: modpath "(hd0,1)/boot/L4Linux" task "vmlinuz26" "earlyprintk=yes console=ttyS1,115200 init=3 mem=64M root=/dev/hda2" all_sects_writable allow_vga The boot log is : names | Starting threaistening for `exit' events simplets| Configured for 300 tasks. rtc | Date:23.05.2007 Time:17:44:03 DMphys | DMphys memory ap: DMphys | phys. memory 0x00000000-0x0dff0000 (from L4 kernel info page) DMphys | using 0x00100000-0x0dff0000 DMphys | Memory area Pool PS Flags DMphys | 0x00000000-0x00100000 -- -- RESERVED DMphys | 0x00100000-0x00106000 7 12 MAPPhys | 0x00107000-0x00136000 7 12 MAPPED DMphys | 0x00136000-0x001be000 -- -- DENIED DMphys | 0x001be000-0x002d0000 7 12 MAPPED DMphys | 0x002d0000-0x002e3000 -- -- DENIED DMphys | 0x002e3000-0x00400000 7 12 MAPPED DMphys | 0x00400000-0x0043a000 -- -- DENIED DMphys | 0x0043a000-0x009d6000 7 12 MAPPED DMphys | 0x009d6000-0x00b80000 0 12 MAPPED DMphys | 0x00b80000-0x00c14000 -- -- DENIED DMphys | 0x00c14000-0x01080000 0 12 MAPPED DMphys | 0x01080000-0x0108a000 -- -- DENIED DMphys | 0x0108a000-0x01220000 0 12 MAPPED DMphys | 0x01220000-0x01257000 -- -- DENIED DMphys | 0x01257000-0x01300000 0 12 MAPPED DMphys | 0x01300000-0x01350000 -- -- DENIED DMphys | 0x01350000-0x01400000 0 12 MAPPED DMphys | 0x01400000-0x0141c000 -- -- DENIED DMphys | 0x0141c000-0x01500000 0 12 MAPPED DMphys | 0x01500000-0x0151c000 -- -- RESERVED DMphys | 0x0151c000-0x01540000 0 12 MAPPED DMphys | 0x01540000-0x01560000 -- -- DENIED DMphys | 0x01560000-0x01800000 0 12 MAPPED DMphys | 0x01800000-0x06400000 0 22 MAPPED DMphys | 0x06400000-0x06720000 0 12 MAPPED DMphys | 0x06720000-0x0798d000 -- -- DENIED DMphys | 0x0798d000-0x07c00000 0 12 MAPPED DMphys | 0x07c00000-0x0cc00000 0 22 MAPPED DMphys | 0x0cc00000-0x0cd2c000 0 12 MAPPED DMphys | 0x0cd2c000-0x0dff0000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 179632KB total, 179632KB free, 32KB reserved DMphys | 0x000x00c14000-0x01080000 ( 4528KB, 4MB) free DS: DMphys | 0x0108a000-0x01220000 ( 1624KB, 2MB) free DS: DMphys | 0x01257000-0x01300000 ( 676KB, 1MB) free DS: DMphys | 0x01350000-0x01400000 ( 704KB, 1MB) free DS: DMphys | 0x0141c000-0x01500000 ( 912KB, 1MB) free DS: DMphys | 0x0151c000-0x01540000 ( 144KB, 0MB) free DS: DMphys | 0x01560000-0x06720000 ( 83712KB, 82MB) free DS: DMphys | 0x0798d000-0x0cd2c000 ( 85628KB, 84MB) free DS: DMphys | pool 7 (ISA DMA memory pool): DMphys | size: 8192KB total, 8192KB free, 0KB reserved DMphys | 0x00100000-0x00106000 ( 24KB, 0MB) free DS: DMphys | 0x00107000-0x00136000 ( 188KB, 0MB) free DS: DMphys | 0x001be000-0x002d0000 ( 1096KB, 1MB) free DS: DMphys | 0x002e3000-0x00400000 ( 1140KB, 1MB) free DS: DMphys | 0x0043a000-0x009d6000 ( 5744KB, 6MB) free DS: bmodfs | Passed the following modules: bmodfs | module "/boot/L4Linux/vmlinuz26" (17684kB) bmodfs | module "/boot/L4Linux/linux26.cfg" (1kB) bmodfs | module "/boot/L4Linux/libloader.s.so" (670kB) bmodfs | module "/boot/L4Linux/libld-l4.s.so" (505kB) io | do_args(): Disabling internal IRQ handling. io | do_args(): Enabling events support. io | CPU supports 8 MTRRs. Allocated: io | 0: 00000000-08000000 ( 128MB) type WB io | 1: 08000000-0c000000 ( 64MB) type WB io | 2: 0c000000-0e000000 ( 32MB) type WB io | 3: d0000000-d8000000 ( 128MB) type WC io | 4: d8000000-d8800000 ( 8MB) type WC io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) io | PCI: Via IRQ fixup loader | vmlinuz26: Starting application using libld-l4.s.so loader | vmlinuz26,#e: Loading binary io | PCI: Via IRQ fixup io | 00000000-ffffffff : PCI mem io | d0000000-d7ffffff : VIA Technologies, Inc. VT8623 [Apollo CLE266] io | d8000000-dbffffff : PCI Bus #01 io | d8000000-dbffffff : VIA Technologies, Inc. VT8623 [Apollo CLE266] io : integrated CastleRock graphics io | dc000000-ddffffff : PCI Bus #01 io | dc000000-dcffffff : VIA Technologies, Inc. VT8623 [Apollo CLE266] io : integrated CastleRock graphics io | de000000-de0000ff : VIA Technologies, Inc. VT6105 [Rhine-III] io | de001000-de0010ff : VIA Technologies, Inc. USB 2.0 io | de002000-de0020ff : VIA Technologies, Inc. VT6102 [Rhine-II] io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | d000-d0ff : VIA Technologies, Inc. VT6105 [Rhine-III] io | d400-d41f : VIA Technologies, Inc. VT82xxxxx UHCI USB 1.1 Controlle io : r io | d800-d81f : VIA Technologies, Inc. VT82xxxxx UHCI USB 1.1 Controlle io : r (#2) io | dc00-dc1f : VIA Technologies, Inc. VT82xxxxx UHCI USB 1.1 Controlle io : r (#3) io | e000-e00f : VIA Technologies, Inc. VT82C586A/B/VT82C686/A/B/VT823x/ io : A/C PIPC Bus Master IDE io | e400-e4ff : VIA Technologies, Inc. VT8233/A/8235/8237 AC97 Audio Co io : ntroller io | e800-e8ff : VIA Technologies, Inc. VT6102 [Rhine-II] loader | vmlinuz26,#e: Loading ldso loader | Capability support not enabled. loader | vmlinuz26,#e: Starting libld-l4.s.so at 00013ea0 via 0000cf44 l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.21-l4 (root@darkstar) (gcc version 3.3.6) #1 Wed Ma l4lx : y 23 16:40:01 CST 2007 l4lx | Binary name: vmlinuz26 l4lx | Kernel command line (5 args): earlyprintk=yes console=ttyS1,115200 in l4lx : it=3 mem=64M root=/dev/hda2 l4lx | Image: 00400000 - 007ba000 [3816 KiB]. l4lx | Areas: Text: 00400000 - 006e9000 [2980kB] (a bit longer) l4lx | Data: 006e9000 - 007092cc [128kB] l4lx | Initdata: 0070c000 - 007490a0 [244kB] l4lx | BSS: 0074c000 - 007b7480 [429kB] l4lx | l4lx_thread_create: Created thread 0e.03 (tamer) l4lx | Using tamed mode. l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 0e.04 (server) l4lx | main thread wiection: addr = 006e9000 size = 401408 l4lx | sec-w-init: virt: 0x006e9000 to 0x0074afff [392 KiB] l4lx | sec-w-init: Number of physical regions: 1, 401408 Bytes l4lx | sec-w-init: 1: Phys: 0x01161000 to 0x011c3000, Size: 401408 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | setup_l4env_memory: Forcing superpages for mai memory l4lx | Main memory size: 64MB l4lx | Got 2048kB of ISA DMA memory. l4lx | ISA DMA memory: virt: 0x00800000 to 0x009fffff [2048 KiB] l4lx | ISA DMA memory: Number of physical regions: 1, 2097152 Bytes l4lx | ISA DMA memory: 1: Phys: 0x0043a000 to 0x0063a000, Size: 2097152 l4lx | Main memory: virt: 0x00c00000 to 0x04bfffff [65536 KiB] l4lx | Main memory: Number of physical regions: 1, 67108864 Bytes l4lx | Main memory: 1: Phys: 0x08c00000 to 0x0cc00000, Size: 67108864 l4lx | Filling lower ptabs... l4lx | Done (1473 entries). l4lx | L4RM: no fpage received (page fault -- asked pager C.03, result 0x000 l4lx : 04000) l4lx | L4RM: [PF] read at 0x0E.0] l4rm/lib/src/pagefault.c:78:__unknown_pf(): l4lx | unhandled page fault Thanks. cheng

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 May 2007