Chapter 1. The Linux kernel