Это старая версия документа.
Ядро (kernel) — то, вокруг чего строится всё остальное. Именно оно и называется Linux. Сейчас словом Linux в быту называют построенную на нём операционную систему, хотя по-хорошему она называется GNU/Linux (ядро Linux и ПО от ОС GNU, многие десятилетия находящейся в разработке).
Ссылки
- Kernel/Compile — компиляем ядро, если уж совсем нет другого выхода
- Опции сборки Linux — вроде бы не является официальной документацией, лучше вставить ссылку на доки от разработчиков