5 ms·
Drivers will be pure Rust. Someone else can port a BSD to run on seL4 if they want.
by cmrx64 11y ago
Drivers will be pure Rust. Someone else can port a BSD to run on seL4 if they want.
- chc4 11y agoWas 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.
- cmrx64 11y agoNone 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.
- n3mes1s 11y agosome useful links on rust + rump kernel: https://gandro.github.io/2015/09/27/rust-on-rumprun/ https://gandro.github.io/2015/09/27/rust-on-rumprun/ https://polyfractal.com/post/adding-a-disk-to-a-rust-rumprun-unikernel/ https://polyfractal.com/post/adding-a-disk-to-a-rust-rumprun...