Wie werden Betriebssysteme hergestellt?