I think I sent this before to 9fans, but
here's it again.

It's /sys/src/boot/arm/il.s.

Let me know if you have problems with it. I haven't
compiled it for so long...