Ist es grundsätzlich möglich, auf den Shiftphones seL4 als Hypervisor laufen zu lassen und ShiftOS läuft dann als VM auf seL4?
seL4 ist eine Open Source Plattform, die eine Verifikation im Bereich der Sicherheit durchlaufen hat und überhaupt auch verifizierbar ist. Damit könnte man die Shiftphones auf eine ganz neue Ebene im Bereich der Sicherheit heben. Android würde dann jede Möglichkeit genommen, unkontrolliert auf die Hardware zuzugreifen, jegliche Kontrolle erfolgt über die seL4 Konfiguration.
Eine solche Konfiguration könnte die Shiftphones auch für die Verwendung in sicherheitsempfindlichen Bereichen interessant machen.
seL4 ist eine Open Source Plattform, die eine Verifikation im Bereich der Sicherheit durchlaufen hat und überhaupt auch verifizierbar ist. Damit könnte man die Shiftphones auf eine ganz neue Ebene im Bereich der Sicherheit heben. Android würde dann jede Möglichkeit genommen, unkontrolliert auf die Hardware zuzugreifen, jegliche Kontrolle erfolgt über die seL4 Konfiguration.
Eine solche Konfiguration könnte die Shiftphones auch für die Verwendung in sicherheitsempfindlichen Bereichen interessant machen.
