Success! I added "-static" to the thread-hello2.c compile example shown in the aboriginal README, and it just said "Hello world!" on my K1.
I wish to thank
knc1 for turning me on to aboriginal linux. I just wish I avoided some of the other dead ends before trying it.
Now, I have some work to do, then I will get gmplay running on my K1, with videos compressed to 1/4th the size they are now (as tested, using xv instead of gzip), and with 2-bit video support (in addition to 4-bit and 8-bit dithering routines now in gmplay). And sound too (already written, but untested). The K1 has sound...
I think the armv4l support is probably the newest we can do, because /proc/cpuinfo already reports it as arm5tej. Though it might be worth trying newer targets, just to see...