Folks,I know it's ancient history, but ages ago I got a good way along making a version of KRoC for the ARM (v4) architecture. It was never finished, but would make a starting point for those wanting to get further.
See my shiny new website: http://www.ivimey.org/ for details and downloads, under "Software".
Regards, Ruth