"mikrokernel" in English Mikrokernel {m} microkernel Detailed translations for "mikrokernel" der Mikrokernel{masculine} Mikrokernel microkernel