Chapter 2. The 64k page size kernel