Oberon V4
Oberon V4 for Linux and sources for different Oberon V4 implementation
...Binaries can be found on their server[1] and on the one of the University of Linz[2] where Mössenböck's group did further development after he left ETH and the Group at ETH concentrated on System 3.
More Information can be found in the wiki https://sourceforge.net/p/oberon/wiki/Home/ of this Project and on Wikipedia https://en.wikipedia.org/wiki/Oberon_(operating_system).
In 2013 they were moved here for easy access and, in case of interest, collaboration on further development.
The Oberon mailing list[3] is an established channel for its discussion and followed also by the administrators of this SF project...