What's MonashOs?

A bunch of mysterious URLs with no attendant description does not a wiki page make.

See Walnut
*** http://www.csse.monash.edu.au/research/WalNUT/
*** http://doi.ieeecomputersociety.org/10.1109/ACAC.2001.903370
*** http://www.csse.monash.edu.au/~rdp/fetch/castro-thesis.ps