# Pre-RFC: To effortlessly develop seL4 systems in rust

**URL:** <https://sel4.discourse.group/t/pre-rfc-to-effortlessly-develop-sel4-systems-in-rust/539>\
**Category:** RFC discussion\
**Created:** [July 17, 2022, 10:53pm UTC](https://sel4.discourse.group/t/pre-rfc-to-effortlessly-develop-sel4-systems-in-rust/539 "2022-07-17T22:53:19Z")\
**Posts on this page:** 1\
**Showing post:** 47

<div class="post-metadata">

**Author:** ![BenPH](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/benph/32/174_2.png) [@BenPH](https://sel4.discourse.group/u/BenPH)\
**Post date:** [July 25, 2022, 10:20pm UTC](https://sel4.discourse.group/t/pre-rfc-to-effortlessly-develop-sel4-systems-in-rust/539/47 "2022-07-25T22:20:42Z")

</div>

Since the last hangouts, there’s been a lot of things brought up. I’m gonna try and distill this conversation as much as possible into key points and filter by the points most useful for a such a hangout. I’ll also try to add some “discussion provoking statements/questions/etc.”,

The idea is to get the most out of this topic, without sucking the O2 out of the room for other discussions. I’ll add another comment when I’ve got something to show.

---

_[View the full topic](https://sel4.discourse.group/t/pre-rfc-to-effortlessly-develop-sel4-systems-in-rust/539)._