Screen Version
School of Computer Science & Engineering
University of New South Wales

 Advanced Operating Systems 
 COMP9242 2005/S2 

Development tools

This page contains crossdev tools for the different platforms that we use.

These tools are maintained by Daniel Potts. If you wish to add tools to the archive, find bugs or have other issues, please contact me.

Debian packages

The debian packages are found in To use these on your Debian system, you can add the folowing line to your /etc/apt/sources.list.
deb devel/
Some source packages are also available if you wish to build these:
deb-src src/devel/

Unsupported package formats

Tarball packages

Binary tarballs that are suitable for non-debian systems are available at These have been tested on a RedHat 9 system.

This is mostly incomplete. It is recommended that you convert the debian packages to your required format using alien.

RedHat packages

RedHat packages are available at

Note: These were converted from .deb to .rpm using alien.