l’elenco aggiornato dei parametri del kernel Linux è contenuto nel file /usr/src/linux/Documentation/kernel-parameters.txt distribuito con i sorgenti del kernel stesso.