Alex Bonjour, Je voudrais savoir comment il fallait procéder pour recompiler le kernel avec la configuration de base mais en changeant juste les HZ à 1000 ? Merci de votre aide.