I tried to build L4 Fiasco O.C + L4RE on Ubuntu 14.04 LTS x86_64 host, but I get the following error:
Checking for needed programs and tools
make ... ok
gcc ... ok
g++ ... ok
ld ... ok
gawk ... ok
perl ... ok
pkg-config ... ok
Checking for needed cross programs and tools
arm-linux-gcc ... ok
arm-linux-cpp ... ok
arm-linux-nm ... ok
arm-linux-g++ ... ok
arm-linux-ld ... ok
Checking optional programs and tools
doxygen ... NOT DETECTED but optional
Some optional command is missing on your system, don't worry.
doxygen
Creating build directories...
make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco'
Creating build directory "../../../obj/fiasco/arm-mp-rv-a9-vexpress"...
done.
make[1]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco'
make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress'
make -C /home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/src/../tool/kconfig O=/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress Kconfig=Kconfig KCONFIG_AUTOHEADER=globalconfig.h KCONFIG_TRISTATE=include/config/tristate.conf KCONFIG_CONFIG=globalconfig.out KCONFIG_AUTOCONFIG=include/config/auto.conf KERNELVERSION=SVN MENUCONFIG_COLOR=blackbg INCLUDE_PPC32= INCLUDE_SPARC= fiasco_srcdir=/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/src/.. olddefconfig
make[2]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/tool/kconfig'
make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress'
HOSTCC scripts/basic/fixdep
HOSTCC scripts/kconfig/conf.o
SHIPPED scripts/kconfig/zconf.tab.c
SHIPPED scripts/kconfig/zconf.lex.c
SHIPPED scripts/kconfig/zconf.hash.c
HOSTCC scripts/kconfig/zconf.tab.o
HOSTLD scripts/kconfig/conf
scripts/kconfig/conf --olddefconfig Kconfig
#
# configuration written to globalconfig.out
#
make[2]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/tool/kconfig'
make[1]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress'
make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/src/l4'
All build tools checked ok.
Creating build directory "../../obj/l4/arm-ca"...
make[2]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/src/l4'
make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca'
HOSTCC scripts/basic/fixdep
HOSTCC scripts/kconfig/conf.o
SHIPPED scripts/kconfig/zconf.tab.c
SHIPPED scripts/kconfig/zconf.lex.c
SHIPPED scripts/kconfig/zconf.hash.c
HOSTCC scripts/kconfig/zconf.tab.o
HOSTLD scripts/kconfig/conf
scripts/kconfig/conf --oldconfig /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/Kconfig.generated
#
# configuration written to .kconfig
#
scripts/kconfig/conf --silentoldconfig /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/Kconfig.generated
All build tools checked ok.
gcc -fPIC -Wall -pedantic -g -m64 -c /home/mahdi/OS/l4re-core-2014092821/src/l4/tool/gendep/deptrack.c -o /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/deptrack.64.o
gcc -fPIC -Wall -pedantic -g -m64 -c /home/mahdi/OS/l4re-core-2014092821/src/l4/tool/gendep/syscall.c -o /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/syscall.64.o
mkdir -p /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/64
gcc -m64 -shared -Wl,--no-as-needed -Wl,-soname,/home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/64/libgendep.so -ldl -o /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/64/libgendep.so /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/deptrack.64.o /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/syscall.64.o
ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored.
ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored.
ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored.
make[6]: *** [Makeconf.bid.local-internal-names] Error 1
make[5]: *** [Makeconf.bid.local-helper] Error 2
make[4]: *** [DROPSCONF_CONFIG_MK_POST_HOOK] Error 1
make[3]: *** [/home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/.config.all] Error 2
make[2]: *** [oldconfig] Error 2
make[2]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/src/l4'
make[1]: *** [all] Error 2
make[1]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/src/l4'
make: *** [setup] Error 1
Does someone have an idea of how to resolve this.
Thank you very much in advance.