 |
| English | German |
| Graphical Kernel System | Graphisches Kernsystem |
| kernel facilities | Basis-Dienstmerkmale |
| Kernel software for intelligent terminals | Kernsoftware für intelligente Terminals (DTAG T-Online, vtx software) |
| real-time kernel | Echtzeitkern (control software) |