4 ms·
That's basically what we did with https://github.com/auxoncorp/ferros https://github.com/auxoncorp/ferros, Bundle Rust programs together as tasks to run atop th
by im_down_w_otp 5y ago
That's basically what we did with https://github.com/auxoncorp/ferros https://github.com/auxoncorp/ferros, Bundle Rust programs together as tasks to run atop the formally verified seL4 microkernel.