Title: Ein spezieller Betriebssystem-Kern für Bedienerrechner