I have managed to get PDOS-generic working sufficiently well on ARM hardware that I have produced a "University Challenge" version (unlike the other UC, this includes the copyrighted gcc/binutils tools as I don't have public domain versions of those - well, I do have SubC).
Available at http://pdos.org