Staila
In the StailaOS project a domain-specific, lightweight operating system (called StailaOS) is designed and implemented for an optimized data handling by the Mercury applicance. The designed operating system has a scalable multi-core applicability, intelligent thread management and a transactional runtime model. It is the first port of an Oberon-based operating system to a conventional programming language. The primary market is the financial, other areas of application are possible and being considered.
More information also available here:
Involved people at ETH: