Es basiert auf Linux und steht unter einer Open-Source-Lizenz. Eine Partitionierungstechnik trennt öffentliche und vertrauliche Daten strikt voneinander. Einzelne Sicherheitsmodule sind auch separat erhältlich, um sie in andere Projekte zu integrieren.