- l4-hackers - example.com Site

Hiworld Problem
by Marius.bao 06 Jun '07

06 Jun '07

Hi all, I followed the tutoral--<<Building Infrastructure for DROPS (BID) Tutorial>>(http://os.inf.tu-dresden.de/l4env/doc/html/bid-tut/node3.html) to wirte my fisrt "hiworld" server. I've used the template, ˜/src/l4/pkg/hiworld> ../../mk/tmpl/inst The "hiworld" source file is as follows: #include <stdio.h> int main(int argc, char** argv){ printf("HiWorld"); return 0; } An error occured when I compiled the server. I think it might be a link error. /usr/bin/ld: cannot find -lgeneric_ts ==> Linking hiworld LD_PRELOAD=/home/hector/Develop/L4-2007/l4/tool/gendep/libgendep.so GENDEP_TARGET=hiworld GENDEP_BINARY=ld gcc -o hiworld /home/hector/Develop/L4-2007/l4/build/lib/x86_586/crt0.o main.o -Ttext=0x01800000 -L/home/hector/Develop/L4-2007/l4/build/lib/x86_586/l4v2 -L/home/drops/lib/x86_586/l4v2 -L/home/hector/Develop/L4-2007/l4/build/lib/x86_586 -L/home/drops/lib/x86_586 -L/home/hector/Develop/L4-2007/l4/build/lib -L/home/drops/lib -T/home/hector/Develop/L4-2007/l4/build/lib/x86_586/main_stat.ld -static -lgeneric_ts -ll4env -ll4rm -ldm_generic -ldm_mem -lthread -lsemaphore -llogserver_capsule -lnames -ll4util_root -ll4util -lsigma0 -lroot -ll4env -ll4env_err -ll4rm -ldm_generic -ldm_mem -lthread -lslab -ll4sys -nostdlib -Wl,--nostdlib -luc_c -luclibc_support -u mmap_anon -lc_be_simple_mem -lc_be_mmap -lc_be_mmap_util -lc_be_l4env_start_stop -lc_be_minimal_log_io -luc_be_simple_sleep -ll4env -llogserver_capsule -ll4rm -ldm_generic -ldm_mem -lthread -lgeneric_ts -luc_c /usr/lib/gcc/i386-redhat-linux/3.4.2/libgcc.a -luc_c -ll4sys -Ttext=0x01800000 -Wl,--warn-common -Wl,-gc-sections /usr/bin/ld: cannot find -lgeneric_ts collect2: ld returned 1 exit status make[6]: *** [hiworld] error 1 make[6]: Leaving directory `/home/hector/Develop/L4-2007/l4/build/pkg/hiworld/server/src/OBJ-x86_586-l4v2' make[5]: *** [/home/hector/Develop/L4-2007/l4/build/pkg/hiworld/server/src/OBJ-x86_586-l4v2] error 2 make[5]: Leaving directory `/home/hector/Develop/L4-2007/l4/pkg/hiworld/server/src' make[4]: *** [src] error 2 make[4]: Leaving directory `/home/hector/Develop/L4-2007/l4/pkg/hiworld/server' make[3]: *** [server] error 2 make[3]: Leaving directory `/home/hector/Develop/L4-2007/l4/pkg/hiworld' make[2]: *** [hiworld.bin] error 2 make[2]: Leaving directory `/home/hector/Develop/L4-2007/l4/pkg' make[1]: *** [pkg] error 2 make[1]: Leaving directory `/home/hector/Develop/L4-2007/l4' make: *** [x] error 2 I wonder how to write the makefile myself without using the template. When I compile the "Hiworld" server, what other files(source files,head files) should I need to include.

2 1

PANIC
by Davide Fasoli 01 Jun '07

01 Jun '07

the problem was the vbeset command, i used the --vbemode=0x117 option in the con module and l4 booted correctly, thanks a lot for helping me. ___________________________________ L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

1 0

PANIC
by Davide Fasoli 01 Jun '07

01 Jun '07

2 1

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