"echtzeitkern" auf Englisch Echtzeitkern {m} real-time kernel /RTK/ Ausführliche Übersetzungen für "echtzeitkern" der Echtzeitkern{Maskulinum} Echtzeitkern real-time kernel /RTK/