http://blog.developpez.com/index.php?blog=58&title=le_kit_de_survi_du_developpeur_linux&more=1&c=1&tb=1&pb=1

http://www.kernel.org/pub/linux/kernel/people/gregkh/ddk/