Kry10 OS, KOS, Formal Methods, National CyberSecurity.
Interview with Oliver Bloch at The IoT Show Podcast
Kry10 Operating System Release Announcement
Members of the Kry10 Team attended the 2022 seL4 Summit in Munich
Interview with Simon Pound at Business is Boring podcast.