Martial Demolins (./218) :

Kevin Kofler (./212) :

le micro-kernel embarqué dans le code de démarrage

Arrête d'appeler notre code de démarrage un "micro-kernel"!

Un mini-kernel alors, ça te va?

Mini c'est plus gros que micro, donc je dirasi plutot nano voir pico, et pourquoi pas femta ?