building x86-32

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.

_______________________________________________
l4-hackers mailing list
[email protected]
https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers