University of Waterloo SE350 Operating Systems RTX Project Starter Files and Documentation