Mungi OS on the R4x00 Indy ..
There seems to exist another effort to create an open-source OS for the Indy workstation, called Mungi. In case anyone is interested there exist a status report available at
http://www.cse.unsw.EDU.AU/~disy/Mungi.html
The R4x00 version of its 'L4 microkernel' (L4/MIPS) is freely available in source form under the terms of the GNU General Public License.
Best regards,
Theodore Nikitopoulos