Operating System Design: The XINU Approach (v. 1)