# \#sel4

**URL:** https://forum.elixirforum.com/tag/sel4/3602.md

[Latest](https://forum.elixirforum.com/latest.md) · [Categories](https://forum.elixirforum.com/categories.md) · [Tags](https://forum.elixirforum.com/tags.md)

---

## [Kry10 - a robust and secure OS for the IoT, based on seL4 and the Elixir stack](https://forum.elixirforum.com/t/kry10-a-robust-and-secure-os-for-the-iot-based-on-sel4-and-the-elixir-stack/54003)

<div class="topic-metadata">

**Author:** [@Rich\_Morin](https://forum.elixirforum.com/u/Rich_Morin)\
**Replies:** 12\
**Last updated:** [March 19, 2023, 4:28pm UTC](https://forum.elixirforum.com/t/kry10-a-robust-and-secure-os-for-the-iot-based-on-sel4-and-the-elixir-stack/54003 "2023-03-19T16:28:29Z")

</div>

I’ve been watching some videos on Kry10 - a robust and secure OS for the IoT. Because Kry10 is based on the seL4 microkernel, it has a performant, secure, verified, capability-based foundation. And, because it is also ba…