Hi
I'm having trouble with building l4linux. First, I had the same problem as reported in this [1] post; then I tried to build l4linux from the latest snapshot as suggested in [2] by following the steps in the readme file ('make setup' and 'make').
If I setup the target as x86-32, at some point the build process fails with the following output (without further description of the error):
" make[6]: Leaving directory `/local/l4re-snap/l4re-snapshot-2010111519/src/l4/pkg/valgrind/build' make[5]: Leaving directory `/local/l4re-snap/l4re-snapshot-2010111519/src/l4/pkg/valgrind' make[4]: Leaving directory `/local/l4re-snap/l4re-snapshot-2010111519/src/l4/pkg' make[3]: *** [pkg] Error 2 make[3]: Leaving directory `/local/l4re-snap/l4re-snapshot-2010111519/src/l4' make[2]: *** [x] Error 2 make[2]: Leaving directory `/local/l4re-snap/l4re-snapshot-2010111519/obj/l4/x86' Error building the L4Re 'obj/l4/x86' variant. "
If I setup to the amd64 target, the build process fails with a compilation error:
" /tmp/camlasm564f4e.s: Assembler messages: /tmp/camlasm564f4e.s:580: Error: junk `lazy_force(%rip)' after expression /tmp/camlasm564f4e.s:580: Error: suffix or operands invalid for `lea' /tmp/camlasm564f4e.s:785: Error: junk `lazy_force(%rip)' after expression /tmp/camlasm564f4e.s:785: Error: suffix or operands invalid for `lea' Assembler error, input left in file /tmp/camlasm564f4e.s make[8]: *** [stream.cmx] Error 2 ... make[4]: Leaving directory `/local/l4re-snap/l4re-snapshot-2010111519/src/l4/pkg' make[3]: *** [pkg] Error 2 make[3]: Leaving directory `/local/l4re-snap/l4re-snapshot-2010111519/src/l4' make[2]: *** [x] Error 2 make[2]: Leaving directory `/local/l4re-snap/l4re-snapshot-2010111519/obj/l4/amd64' Error building the L4Re 'obj/l4/amd64' variant. "
The problematic assembly instruction is: leaq $25lazy_force(%rip), %rax
I'm using the snapshot from Nov 15th, on a machine running linux 2.6.32, gcc 4.3.2.
Any ideas on how to fix it?
Thanks for your help! --Nuno
[1] http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg04380.html [2] http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg04383.html