Entering and leaving the kernel

Required reading: Chapter 9, 10, 11, and 12 (until sys1.c)