Ситуация была такова. Требовалось пересобрать ядро Линукса с определенными настройками. Делал это из-под Убунты 12.04, ставил версию ядра 3.13.8. Ядро скомпилилось, но хэдеров ядра в нужной директории (по крайней мере, думаю, что нужной /usr/inlcude/linux) не оказалось. Нужны были всякие list.h, mutex.h, hash.h - короче все то добро, что нужно для работы с ядрышком. С Линуксом плотненько не работал, потому прошу помощи.
Доп. информация. После установки ядра и перезагрузки вызвал sudo apt-get update, который нашел какие-то хэдеры для 11-го ядра. Могло это как-то повлиять на отсутствие верной версии хэдеров?