Bonjour à tous, Y-a-t-il un moyen de savoir avec quel version de gcc a été compilé un noyau, entre autres les noyaux debian? Merci François Boisson