CS 416: Operating Systems Design