English | German | |
---|---|---|
kernel | Kern {m}; Betriebssystemkern {m}; Kernel {m} [comp.] | |
kernels | Kerne {pl}; Betriebssystemkerne {pl}; Kernel {pl} | |
real-time kernel /RTK/ | Echtzeitkern {m} | |
microkernel | Mikrokern {m}; Mikrokernel {m} | |
monolithic kernel | monolithischer Kernel |