Über Genode Labs Genode Labs ist eine 2008 erfolgte Ausgründung des Lehrstuhls für Betriebssysteme der TU Dresden. Das Unternehmen verfolgt zum einen die Weiterentwicklung des mikrokernbasierten Open-Source-Projekts Genode, zum anderen integriert Genode Labs dies Betriebssystem-Framework in besonders sicherheitsrelevante Projekte und liefert individuelle Anpassungen. Weitere Informationen: Unternehmen: Genode Labs: http://genode-labs.com/ Projekt: http://genode.org/ ...