Former ERTOS Research Projects
User-Level Device Drivers
The ULDD project improves the reliability of device drivers by running them as unprivilieged user processes, rather than in the kernel.
Gelato@UNSW is part of the global Gelato.org federation. It is supported by HP's Linux and Open Source Lab and a Linkage Grant from the Australian Research Council.
Potoroo: Probabilistic Temporal Analysis of Operating Systems
The Probabilistic Temporal Analysis of Operating Systems (Potoroo) a project developed techniques suitable for obtaining a complete timing model of an operating-system kernel such as L4.
Dante: Digital Audio Networking
The Dante project developed a networked solution for transporting digital audio over commodity hardware and data networking protocols, such as Ethernet and TCP/IP. The project's success resulted in the creation of a company, Audinate.
The Voodoo project aimed to develop architectural support for fine-grained memory access control.
The Mungi project developed a single-address-space operating system (SASOS). The SASOS approach simplifies sharing and supports the use of virtually-addressed caches.