l4-hackers

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

2827 discussions

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

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

Jump to page:

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