# seL4 Foundation: G’Day KataOS

**URL:** <https://sel4.discourse.group/t/sel4-foundation-g-day-kataos/607>\
**Category:** Uncategorized\
**Created:** [October 21, 2022, 1:04am UTC](https://sel4.discourse.group/t/sel4-foundation-g-day-kataos/607 "2022-10-21T01:04:49Z")\
**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:** [October 21, 2022, 1:04am UTC](https://sel4.discourse.group/t/sel4-foundation-g-day-kataos/607/1 "2022-10-21T01:04:49Z")

</div>

The seL4 Foundation welcomes the [open-sourcing of core components of KataOS](https://opensource.googleblog.com/2022/10/announcing-kataos-and-sparrow.html) created by our Member [Google](https://google.com/). KataOS is based on seL4 and implemented mostly in the [Rust programming language](https://www.rust-lang.org/). KataOS is to be combined with a secure hardware platform on the RISC-V architecture.

This is an exciting addition to the seL4 ecosystem that will ease deployment of seL4-based systems. It also adds improved support for [running Rust programs on seL4](https://antmicro.com/blog/2022/08/running-rust-programs-in-sel4/), which is a hot topic in the seL4 community.