El kernel Linux usa un temporizador (denominado timer) por cada CPU que utilice el computador en el cual se encuentra instalado.