Re:Kerla: Monolithic kernel in Rust, aiming for Linux ABI co...
by adwn on Tuesday October 26, 2021 @05:40AM
(#28998280)
> The point was to use compile-time checks instead of a MMU to separate kernel services.
Rust's compile time checks cannot replace the MMU. There were experimental SAS (single address space) operating systems which didn't depend on the MMU for protection, but they used "managed" languages, i.e., all code was executed in a sandboxed JIT.
Rust's compile time checks cannot replace the MMU. There were experimental SAS (single address space) operating systems which didn't depend on the MMU for protection, but they used "managed" languages, i.e., all code was executed in a sandboxed JIT.