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