[im_down_w_otp]

With a bit of dedication you could probably get that put together with https://github.com/auxoncorp/ferros using Rust & seL4.