[Translated] 17 The Linux Kernel--Configuring the Kernel Part 13