ok thanks but I still have a Linker-Error:
ld: i386:x86-64 architecture of input file `/usr/lib/gcc/x86_64-linux-gnu/9/crtbeginS.o' is incompatible with i386 output ld: i386:x86-64 architecture of input file `/usr/lib/gcc/x86_64-linux-gnu/9/crtendS.o' is incompatible with i386 output
I did 'apt-get install lib32gcc-10-dev' previously. So maybe a -m32 flag missing somewhere?
Greets, B.
Gesendet: Donnerstag, 09. März 2023 um 21:36 Uhr Von: "Matthias Lange" matthias.lange@kernkonzept.com An: l4-hackers@os.inf.tu-dresden.de Cc: Lieutenant_Beaver@web.de Betreff: Re: building x86-32 Hi,
On [09-03-2023 18:42], Lieutenant_Beaver@web.de wrote:
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?
This is correct. The output you mentioned here is from building some host tools that are needed by the L4Re build system.
Best, Matthias.
Thanks B.
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
-- Matthias Lange phone: +49 (0) 351-41 888 614 Senior Operating Systems Engineer web: https://www.kernkonzept.com%5Bhttps://www.kernkonzept.com]
Kernkonzept GmbH Buchenstraße 16b 01097 Dresden
Geschäftsführer: Dr.-Ing. Michael Hohmuth Registergericht: Amtsgericht Dresden Handelsregister: HRB 31129
You might not be working when I am and that's ok! Please make sure to only reply when it suits you. Mails can wait.