		README for L4/MIPS

Prequisites before building

1) You need an SGI running the IDO 6.1 development tools.

2) Copy /usr/include/sgidefs.h to $(TOP)/include/sgidef.h

3) Copy /usr/include/stdarg.h to $(TOP)/include/sgiargs.h

4) A running version of GNU make, from here on referred to as gmake.



Now, to build the Downloadable Image Tool (DIT)

1) First set $(TOP) in src/Makefile.conf to the top of the directory
   structure.

2) run "gmake tools" to build dit.

3) run "gmake tools-install" to install it in $(TOP)/bin

Now to build L4/MIPS, serial driver and the libraries

1) In src/Makefile.conf set TARGET to one of the supported machines and
   HOST_BAUD to one of the baudrates.

2) run "gmake all"

You now have a bootable image (in $(TOP)/src/kernel/kernel) containing
the kernel and serial driver, see the docs for more info on doing
further development.

good luck

	- Kevin

Kevin Elphinstone                          Email: kevine@cse.unsw.edu.au
Distributed Systems Group,                 Phone: +61 2 9385 4048
Computer Science and Engineering,          Fax:   +61 2 9385 5995
University of New South Wales, Sydney 2052, Australia.
