"mikrokernel" auf Englisch Mikrokernel {m} microkernel Ausführliche Übersetzungen für "mikrokernel" der Mikrokernel{Maskulinum} Mikrokernel microkernel