Vorlesung Treiberentwicklung, Echtzeit- und Betriebssysteme