Pre-RFC: To effortlessly develop seL4 systems in rust

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.

1 Like