OSDev.org

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