====== Configuration du kernel Linux ======

J'utilise une config générique afin de n'avoir qu'une seule compilation à faire pour toutes mes machines. Cependant, il y a des options qui diffèrent suivant si on en fait un usage desktop ou serveur. Voici les options en question que j'ai retenu :\\

<code>
General setup ---> Preemption Model
</code>
Le choix est assez simple à faire. Cette option peut s'ajuster sans recompiler en command-line de grub :\\
preempt=none\\
preempt=voluntary\\
preempt=full

<code>
Processor type and features ---> Timer frequency
</code>
Une fréquence assez faible pour un serveur relativement puissant. Une fréquence plus forte pour du desktop. J'ai cru comprendre que 1000HZ est bien sur un desktop un peu ancien, par contre c'est trop sur un desktop récent avec un bon proc. Cette option ne peut être modifiée sans recompiler si j'ai bien compris.

<code>
Power management and ACPI options ---> CPU Frequency scaling ---> Default CPUFreq governor
</code>
Cette option peut être modifié pendant l'usage de l'OS, pas besoin de recompiler spécialement le kernel.