Hello,

 

I try to build a x86-32 image on 20.04.1-Ubuntu x86_64.

Doing 'make setup' and select ia32 gives this output:

#
# configuration written to .kconfig
#
All build tools checked ok.
gcc -fPIC -Wall -pedantic -g -m64 -c /home/b/l4re-snapshot-22.04.0/src/l4/tool/gendep/deptrack.c -o /home/b/l4re-snapshot-22.04.0/obj/l4/x86/tool/gendep/deptrack.64.o
gcc -fPIC -Wall -pedantic -g -m64 -c /home/b/l4re-snapshot-22.04.0/src/l4/tool/gendep/syscall.c -o /home/b/l4re-snapshot-22.04.0/obj/l4/x86/tool/gendep/syscall.64.o
gcc -m64 -shared -Wl,--no-as-needed -Wl,-soname,/home/b/l4re-snapshot-22.04.0/obj/l4/x86/tool/gendep/64/libgendep.so -ldl -o /home/b/l4re-snapshot-22.04.0/obj/l4/x86/tool/gendep/64/libgendep.so /home/b/l4re-snapshot-22.04.0/obj/l4/x86/tool/gendep/deptrack.64.o /home/b/l4re-snapshot-22.04.0/obj/l4/x86/tool/gendep/syscall.64.o

 

Notice 'gcc -m64'! And also the object-files are '*.64.o'

Is there a fault in the Makefile?

Shouldn't it be m32?

 

Thanks

B.