> there's just an api compatibility layer (found in /rust) Even figuring out what exactly the Linux kernel API safety rules are is a huge task, much less encod

> there's just an api compatibility layer (found in /rust) Even figuring out what exactly the Linux kernel API safety rules are is a huge task, much less encoding them in a computer-readable form. The code there is not about C<->Rust FFI. It's about encoding Linux kernel API properties into a safe Rust API. The uncertainty of the calling/ordering rules is exactly why kernel C has been hard to write. For VFS locking rules, you pretty much have to simulate Al Viro's brain and replay his whole life experience...