Did anybody mention plan9? At any rate it is not a microkernel. There is at leas...

bakul 6 months ago | parent | context | favorite | on: FreeBSD considers Rust in the base system

Did anybody mention plan9? At any rate it is not a microkernel. There is at least one effort implementing v6 unix in rust. That would probably meet your minimum requirements!