Kry10 Operating System Release Announcement
Members of the Kry10 Team attended the 2022 seL4 Summit in Munich