[CSE]  Advanced Operating Systems 
 COMP9242 2005/S2 
UNSW
CRICOS Provider
Number: 00098G

PRINTER Printer-Friendly Version
Administration               
- Notices
- Course Intro
- Consultations
- Survey Results
 
Work
- Lectures
- Selected Papers
- Project Spec
- Project FAQ
- Exam
 
Forums
- Forums
- Can't Login?
 
Documentation
- Project Resources
- ASysT Lab
- Using Sulima
- L4 Debugging Guide
- L4Ka::Pistachio FAQ
- L4 source browser
- SOS source browser
- L4 reference manual
- L4 user manual
- Sulima ISA Simulator
R4x00 ISA Summary 
MIPS R4700 ReferenceMIPS R4000 User Manual 
- GT64111

 
Related Info
- Aurema OS Prize
- OS Hall of Fame
 
History
- 2004
- 2003
- 2002
- 2000
- 1999
- 1998
- 1997
 
Staff
- Gernot Heiser (LiC)
- Kevin Elphinstone
- Guest Lecturers (TBA)
 
Stureps
- Student Reps

 
Valid HTML 4.0!

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 ftp://ftp.cse.unsw.edu.au/pub/users/disy/pub/debian. To use these on your Debian system, you can add the folowing line to your /etc/apt/sources.list.
deb ftp://ftp.cse.unsw.edu.au/pub/users/disy/pub/debian devel/
Some source packages are also available if you wish to build these:
deb-src ftp://ftp.cse.unsw.edu.au/pub/users/disy/pub/debian src/devel/

Unsupported package formats

Tarball packages

Binary tarballs that are suitable for non-debian systems are available at ftp://ftp.cse.unsw.edu.au/pub/users/disy/pub/binary. 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 ftp://ftp.cse.unsw.edu.au/pub/users/disy/pub/redhat/.

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