I see that when booting to aboriginal armv4l, "cat /proc/cpuinfo" shows it as 5TEJ (with java bytecode support, absent on the K1). That does not matter though, as long as we do not use that feature, I hope.
However, when I follow his directions here:
http://landley.net/aboriginal/README
it fails on the "gcc" step:
PHP Code:
(armv4l:1) / $ gcc -lpthread /usr/src/thread-hello2.c
hush: can't execute 'gcc': No such file or directory
Starting ./dev-environment.sh instead of ./run-emulator (as his README says) lets me compile and execute the resulting a.out inside the emulator, but I have to exit and loop-mount the "hdb.img" file to copy the compiled binary to my K1. Doing that now...
Bummer! It segfaulted!
EDIT: Duh! Its file info show it as dynamically linked.
Time for -static.