diff options
Diffstat (limited to 'results/classifier/phi4:14b/output/manual-review/1263747')
| -rw-r--r-- | results/classifier/phi4:14b/output/manual-review/1263747 | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/results/classifier/phi4:14b/output/manual-review/1263747 b/results/classifier/phi4:14b/output/manual-review/1263747 new file mode 100644 index 000000000..3dfdf616c --- /dev/null +++ b/results/classifier/phi4:14b/output/manual-review/1263747 @@ -0,0 +1,32 @@ + + + +Arm64 fails to run a binary which runs OK on real hardware + +This binary: + +http://oirase.annexia.org/tmp/test.gz + +runs OK on real aarch64 hardware. It is a statically linked Linux binary which (if successful) will print "hello, world" and exit cleanly. + +On qemu-arm64 userspace emulator it doesn't print anything and loops forever using 100% CPU. + +---- +The following section is only if you wish to compile this binary from source, otherwise you can ignore it. + +First compile OCaml from: + +https://github.com/ocaml/ocaml + +(note you have to compile it on aarch64 or in qemu, it's not possible to cross-compile). You will have to apply the one-line patch from: + +https://sympa.inria.fr/sympa/arc/caml-list/2013-12/msg00179.html + + ./configure + make -j1 world.opt + +Then do: + + echo 'print_endline "hello, world"' > test.ml + ./boot/ocamlrun ./ocamlopt -I stdlib stdlib.cmxa test.ml -o test + ./test \ No newline at end of file |