Hi Jack,
I think things are better, but now:
jack@uv:~/fiasco/src/l4$ rm -rf mybuild/ jack@uv:~/fiasco/src/l4$ make B=./mybuild jack@uv:~/fiasco/src/l4$ make O=./mybuild config [snip] *** End of the configuration. *** Execute 'make' to start the build or try 'make help'.
scripts/kconfig/conf --silentoldconfig /home/jack/fiasco/src/l4/mybuild/Kconfig.generated All build tools checked ok. make[4]: Nothing to be done for `all'. <stdin>:1:28: fatal error: bits/c++config.h: No such file or directory compilation terminated. ln -snf /home/jack/fiasco/src/l4 /home/jack/fiasco/src/l4/mybuild/source make[1]: `/home/jack/fiasco/src/l4/mybuild/.config.all' is up to date.
jack@uv:~/fiasco/src/l4$ make mk/Makeconf:264: *** need to give builddir with O=.../builddir. Stop. jack@uv:~/fiasco/src/l4$ make O=./mybuild make[2]: Nothing to be done for `all'. ... Compiling /home/jack/fiasco/src/l4/mybuild/tool/elf-patcher/elf-patcher Makefile:103: /home/jack/fiasco/src/l4/mybuild/pkg/.Package.deps: No such file or directory === Building package "boehm_gc" === === Building package "libstdc++-headers" === ... Building /home/jack/fiasco/src/l4/mybuild/pkg/libstdc++-headers/include/.general.d ... Updating symlinks ... Building /home/jack/fiasco/src/l4/mybuild/pkg/libstdc++-headers/include-4.7/.general.d ... Updating symlinks ... Building /home/jack/fiasco/src/l4/mybuild/pkg/libstdc++-headers/include-std/.general.d ... Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks ==> Updating symlinks === Building package "libgcc-pure" === ... Building /home/jack/fiasco/src/l4/mybuild/pkg/libgcc-pure/lib/.general.d ... Building .general.d ... Building Makefile.inc ... Generating libgcc.a ==> Installing libgcc.a to local build-tree === Building package "ldscripts" === ... Building /home/jack/fiasco/src/l4/mybuild/pkg/ldscripts/.general.d ... Building .general.d ... Building Makefile.inc ... Generating main_stat.ld ==> Installing main_stat.ld to local build-tree ... Generating main_rel.ld ==> Installing main_rel.ld to local build-tree ... Generating main_dyn.ld ==> Installing main_dyn.ld to local build-tree ... Compiling crti_s.o ... Compiling kip_addr.o ... Generating crti.o ==> Installing crti.o to local build-tree ... Compiling crtn.o ==> Installing crtn.o to local build-tree ... Compiling crt1.o ==> Installing crt1.o to local build-tree ... Compiling crti.s.o ==> Installing crti.s.o to local build-tree ... Compiling crtn.s.o ==> Installing crtn.s.o to local build-tree ... Compiling crt1.s.o ==> Installing crt1.s.o to local build-tree === Building package "l4sys" === ... Building /home/jack/fiasco/src/l4/mybuild/pkg/l4sys/include/.general.d ... Updating symlinks ... Building /home/jack/fiasco/src/l4/mybuild/pkg/l4sys/lib/src/.general.d ... Building .general.d ... Building Makefile.inc ... Compiling kobject.o ... Compiling utcb.o ... Compiling errtostr.o ==> Archiving into libl4sys.a ==> "libl4sys.a" built ... Compiling kobject.s.o ... Compiling utcb.s.o ... Compiling errtostr.s.o ==> Linking to shared libl4sys.so ld: i386 architecture of input file `/usr/lib/gcc/i686-linux-gnu/4.7/crtbeginS.o' is incompatible with i386:x86-64 output ld: i386 architecture of input file `/usr/lib/gcc/i686-linux-gnu/4.7/crtendS.o' is incompatible with i386:x86-64 output
It seems you selected to build an x86-64 L4Re. For this purpose you will need the respective gcc installed. If you only want x86-32, select this during the "make config" step. If you really want to cross-compile for x86-64, you will need to install the respective libs (in Debian those are called gcc-multilib and g++-multilib).
Bjoern