Bonjour à tous,

J'ai juste une petite question qui me trotte dans la tete depuis deux jours:
Qu'est-ce qu'un infokernel et à quoi ca sert?

sur le net, je retombe encore et toujours sur le meme pdf:
http://www.cs.rochester.edu/sosp2003/papers/p162-arpacidusseau.pdf

mais je dois avouer, que ma connaissance de linux ne me permet pas bien d'en comprendre le principe. Si une ame charitable pouvait en une ligne me dire à quoi ca sert, je lui en serait reconnaissant

merci