Drivers will be pure Rust. Someone else can port a BSD to run on seL4 if they want.

Was there any discussion over implementing a hypercall interface for the userland and writing drivers in Rust that are rumpkernel-ready? Instead of writing yet another OS-specific network stack, be able to reuse the Rust drivers for BSD and all other rumpkernels.

None of us have experience with rump kernels, but I'd be very interested in seeing what is needed to make that work. Right now the drivers we're writing are parameterized over hardware-access with traits. If a rump-ready driver could work in that existing framework, that'd be ideal.

some useful links on rust + rump kernel:

https://gandro.github.io/2015/09/27/rust-on-rumprun/

https://polyfractal.com/post/adding-a-disk-to-a-rust-rumprun...