Google hat den Code des geschützten Betriebssystems KataOS veröffentlicht.
Google hat die Veröffentlichung von Arbeiten im Zusammenhang mit dem Projekt KataOS angekündigt, das auf die Schaffung eines sicheren Betriebssystems für eingebettete Geräte abzielt. Die Systemkomponenten von KataOS sind in der Programmiersprache Rust geschrieben und laufen über den Mikrokernel seL4, für den auf RISC-V-Systemen ein mathematischer Nachweis der Zuverlässigkeit bereitgestellt wurde, der die volle Übereinstimmung des Codes mit den in einer formalen Sprache festgelegten Spezifikationen bestätigt. Der Projekcode ist unter der Lizenz […]
