English edit

Noun edit

microkernels

  1. plural of microkernel