# Thanks Kry10 for being Gold Sponsor of the seL4 Summit 2023

**URL:** https://sel4.discourse.group/t/thanks-kry10-for-being-gold-sponsor-of-the-sel4-summit-2023/741
**Category:** Uncategorized
**Created:** [August 2, 2023, 7:17am UTC](https://sel4.discourse.group/t/thanks-kry10-for-being-gold-sponsor-of-the-sel4-summit-2023/741 "2023-08-02T07:17:07Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![bbrcknl](https://avatars.discourse-cdn.com/v4/letter/b/a183cd/32.png) [@bbrcknl](https://sel4.discourse.group/u/bbrcknl)
#### Post date: [August 2, 2023, 7:17am UTC](https://sel4.discourse.group/t/thanks-kry10-for-being-gold-sponsor-of-the-sel4-summit-2023/741/1 "2023-08-02T07:17:08Z")

</div>

The seL4 Foundation thanks [Kry10](https://www.kry10.com/) for becoming a Gold sponsor of the [seL4 Summit 2023](https://sel4.systems/Foundation/Summit/2023).

 ![Kry10](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/0da09ef743e1e92741b73c9e89d2483c419a8ebb.png)

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](https://sel4.systems/Foundation/Services/) of the seL4 Foundation, offering support to enable seL4-based secure projects to be affordable, maintainable, and remotely manageable.

See [here](https://events.linuxfoundation.org/sel4-summit/sponsor/) if you are interested in sponsoring the seL4 summit 2023.

 ![sel4_summit_2023_location](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/a2a859f0422da9100377409d4e48517c963c1aab.png)