Ben

It's been too long since I've had a dig into the codebase to look at generation. I could see myself having some fun to extend the generation to build this...

> is this attempting to be documentation only or is it describing one of the existing seL4 Rust libraries (e.g. from Robigalia or Icecap)? Documentation only. It started off as...

I'm really happy to hear that! It's getting late for me (paris time). I'd welcome any ideas/suggestions you have on areas of focus I can work on to add rust...

I'm keen.

I'm getting a 404 when I click through to it.

@SimonPersson got it working

Adding an explanation/instruction to add to dependencies would have eliminated my steps 1-4 for sure. My guess is I would not have opened this issue had that been the case....

+1 on the release. I'm currently using a a forked repo as the dependency, and love to be depending on a crates release.

Another issue could be the indirection. key-matrix polling could be considered a perf-sensitive hot-loop (latency, for example). Not too familiar with how it works in the embedded world, or if...

I'm making a tui using an actor model: each actor has a channel to send data to the main event loop, which iterates over data from actors as they come...