The group cooperates with researchers from other institutions on a number of issues:
project and the world-wide
federation. This is funded by
and a Linkage Grant from the
Australian Research Council
systems architecture research group
at the University of Karlsruhe in Germany, on microkernel implementation
Hermann Härtig's operating systems research group
at Dresden University of Technology in Germany, on microkernel-based systems and real-time issues
The IA-64 Linux group at
on SASOS features for Linux on IA-64
project at IBM T.J. Watson Research Center, Hawthorne, USA, on microkernel-based systems
Cisco Wireless Systems
on a framework for embedded software controlling IEEE 802.11a implementations.
on high-performance kernels for their dual-MIPS-core chips.
who, under the
Itanium Donation Program
, donated to us US$129k worth of Itanium workstations and servers. These are used for Linux, Mungi and L4 work on Itanium.
There are a number of collaborations with UNSW-internal partners:
Compiler Research Group
Programming Languages & Systems Group
Vision Prosthesis Project
on behalf of the
Last modified 2002-12-19, last validated 2002-03-22.