"real time kernel rtk" in German real-time kernel /RTK/ Echtzeitkern Detailed translations for "real time kernel rtk" real-time kernel /RTK/ real-time kernel /RTK/ der Echtzeitkern{masculine}