The seL4 Foundation thanks Kry10 [0] for becoming a Gold sponsor of the seL4 Summit 2023 [1].
Kry10 offers a full-featured operating system on top of the seL4 kernel, along with tooling, services, key management and more. The Kry10 Platform is a fast and easy way to build highly secure, next-generation cyber-physical devices. It leverages the verification of seL4 to provide a secure, self-healing, truly dynamic system with minimal downtime, even during upgrades.
Kry10 is an Endorsed Service Provider [2] of the seL4 Foundation, offering support to enable seL4-based secure projects to be affordable, maintainable, and remotely manageable.
See here [3] if you are interested in sponsoring the seL4 summit 2023.
[0] https://www.kry10.com/ [1] https://sel4.systems/Foundation/Summit/2023/ [2] https://sel4.systems/Foundation/Services/ [3] https://events.linuxfoundation.org/sel4-summit/sponsor/
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au
seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems
0433 880 571
Mon 9am-5pm
Wed 2pm-5pm
Fri 9am-5pm