Как найти источник в настоящее время рабочего ядра на моей машине?
Это - часто также установка BIOS. Можно проверить его с:
grep ^PWRB /proc/acpi/wakeup
и включите его с
echo "PWRB" > /proc/acpi/wakeup
/lib/modules/$ (uname-r) / источник должен быть символьной ссылкой на исходное дерево ядра (если бы это было установлено разумным способом).
Кроме этого
find / -type d -name "linux-3.14.0"
будет искать каталог распределения 3.14.0 ядер Linux - который является тем, который вы получаете при распаковке tarball. Если это перестало работать,
find / -type d -name "linux-*"
find / -type f -name "Kbuild"
не должен давать вам слишком много ложных положительных сторон.
, Если необходимо скомпилировать его затем, можно передать источники машине и сделать это с нуля, если он скомпилировал его со встроенным .config ( опция CONFIG_IKCONFIG). Можно извлечь это любой от /proc/config.gz (если поддерживается ядром - посмотрите опция CONFIG_IKCONFIG_PROC), или с сценарий scripts/extract-ikconfig из исходного каталога ядра.
Кроме этого, спрашивает ваш совершенно исключенный коллега?