INFOS
==============================================================================

InfOS is the Informatics research operating system, designed specifically for
the UG3 Operating Systems course.

InfOS has been designed by Tom Spink <tspink@inf.ed.ac.uk> to be used as a
teaching aid, and forms the basis of the OS coursework.  If you have any
questions/problems, please get in touch with Tom in the first instance.

DESIGN
==============================================================================