News for hackers. Stuff that matters.

A comment on Kerla: Monolithic kernel in Rust, aiming for Linux ABI compatibility. Parent comment

Re:Kerla: Monolithic kernel in Rust, aiming for Linux ABI co... by afiori on Tuesday October 26, 2021 @05:24AM (#28998168)
The point was to use compile-time checks instead of a MMU to separate kernel services.

The concept is interesting (if maybe untested) it allows to have explicit opt-in sharing while blocking accidental sharing

[ Parent | on HN ]
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.

[ Parent | on HN ]