[PPT] - CS 423 Operating System Design: The Kernel Abstraction Professor PowerPoint Presentation