O pacote kernel-devel
no Fedora e outros derivados da Red Hat não contém a fonte completa do kernel , apenas cabeçalhos para interfaces públicas e makefiles necessários para o desenvolvimento do driver. A maioria dos cabeçalhos pode ser encontrada em /usr/src/kernels/$(uname -r)/include/
e alguns cabeçalhos específicos de arquitetura, por exemplo, para x86 em /usr/src/kernels/$(uname -r)/arch/x86/include/
.
Os diretórios com Kconfig
e Makefile
não são inúteis, você só não vê a imagem completa porque você não tem toda a fonte do kernel (o que você normalmente não precisaria para o desenvolvimento do driver).