Não cheguei a ler por completo, mas pelo pouco que li, deu pra
ver que o advanced linux programming e linux device drivers são
ótimos livros.
o linux device drivers tenho a 2nd e 3rd edições, em pdf... se quiserem...
(ou se já tiverem)
Linux Kernel Internals e Understanding the Linux Kernel não conhecia,
mas só pelo título, percebe-se que é algo bem profundo em relação
ao linux. Ótimo para quem quer ser o mantenedor do kernel do linux.
Aliás, o antigo mantenedor do kernel era brasileiro, e deixou o cargo
para trabalhar na Red Hat (se não me falha a memória). O atual é
um francês que não lembro o nome.