I've helped work some on a project doing that right now, although it's mostly been the awesome cmr.

https://gitlab.com/robigalia/sel4-sys