[CSE]  Advanced Operating Systems 
 COMP9242 2004/S2 

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

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

Valid HTML 4.0!

SOS Frequently asked questions

Question:I would like to be able to work from home, is there any way?

Answer: Yes, it is possible, there are two main ways you can achieve this:

Working over ssh
The easiest solution if you have a permanent 'net connection is to ssh into one of the asyst machines and do you work from there. You can then use Sulima or the actual hardware just as if you were in asyst. The main problem you run into here is how to reboot the machine. You can either use the kernel debugger to reboot the machine, or otherwise rely on someone physically in the lab to reset it for you.
Using the simulator at home
The other solution is to use Sulima. You can download this and install it on your home machine. You will also need cross-compilers (well, unless you have a MIPS machine at home!). For details of getting a cross compiler, see the FAQ question below.

Question: When I try to boot, I get the following message:

mips12> boot sos.danielp No such file or directory

Answer: This message is misleading. It may also mean that you have not set the global read/execute permissions on the file. For example:

chmod a+rx /tftpboot/sos.danielp

Question: Where can I get cross compilers for MIPS64?

Answer: There are .debs, RPMs and binary tarballs available here. These are only visible from the CSE network. While we don't strictly support them, we are willing try and assist you setup your own environment.

If you'd like to compile your own cross-compiler there are some instructions in the disy home directory, available at /home/disy/crossdev/README.build-gcc3.2.2. Make sure you get the patch (available in the same directory), and take note of the last line in the README file.

Last modified: 17 Aug 2004.