The Walnut Kernel
The WALlace Non Utopian Kernel

History - at Monash
Monads (~1975)
Password-Capability System (~1985)
Walnut Kernel (~1990)
IO Library (~1995)

Properties
Probabilistically Secure
Password-Capability based
Processes are First Class Objects
Persistent