"microkernel" in German microkernel Mikrokernel Detailed translations for "microkernel" microkernel microkernel der Mikrokernel{masculine}