Geschrieben von einem produktiven und bekannten Autor bietet dieses fortgeschrittene Lehrbuch für Bachelor- und Masterstudiengänge eine umfassende Einführung in das Design von Betriebssystemen. Anstatt einen neuen Kurs einzuführen, der eingebettete Programmierung lehrt, integriert dieses Buch mehr eingebettete Verarbeitung in herkömmliche Kurse. Es ermöglicht den Studierenden, Konzepte anhand eines echten Betriebssystems, Xinu, zu erlernen. Der Text konzentriert die Diskussion über Betriebssysteme auf die Funktionen von Mikrokernel-Betriebssystemen, die in eingebetteten Systemen verwendet werden. Die im Text verwendete Beispielplattform für eingebettete Systeme ist weit verbreitet und kostengünstig.