-
http://etudiant.epita.fr/~jaquem_o/NetBSD_LKM_Driver
-
http://netbsd-fr.org/?sect=tips&tip=2004-04-14_10:38:54.tip
-
http://lwn.net/Articles/232575
-
http://www.brunotorres.net/en/gnulinux/kernel-rss
-
http://www-106.ibm.com/developerworks.../l-kexec.html?ca=dgr-lnxw04RebootFast
-
http://www.pallier.org/ressources/timing_linux/timing.html
kernel process latency mesuring
http://www.latencytop.org/download.php
Linux Kernel internal giitbook
https://0xax.gitbooks.io/linux-insides/content
-
http://www.makelinux.net/kernel_map