2 courts extraits du WikWik.org(WikWik est une base de données en ligne des mots définis sur les Wiktionnaires français, anglais, espagnol, italien, etc.)
micronoyau nom masculin (Informatique) Noyau système d’exploitation dépouillé pour placer la plus grande partie des services…
micro-noyau nom masculin (Informatique) Noyau minimaliste de système d’exploitation, plaçant la plus grande partie des services…