> austral

thanks, can't believe the idea isn't more mainstream -- I've never thought dependency safety could be a thing

In rust if you can verify a dependency is no_std with no unsafe code and that all of it's dependencies are the same, then it can't get to libc or the kernel syscalls. So any privilege it works with is something you passed it. But that amounts to writing everything yourself in practice.