• 1 Post
  • 9 Comments
Joined 7 months ago
cake
Cake day: December 2nd, 2023

help-circle
  • aubeynarf@lemmynsfw.comtolinuxmemes@lemmy.worldNo Mercy
    link
    fedilink
    arrow-up
    14
    ·
    edit-2
    1 day ago

    Performance is the major flaw with microkernels that have prevented the half-dozen or more serious attempts at this to succeed.

    Incurring context switching for low-level operations is just too slow.

    An alternative might be a safe/provable language for kernel and drivers where the compiler can guarantee properties of kernel modules instead of requiring hardware guarantees, and it ends up in one address space/protection boundary. But then the compiler (and its output) becomes a trusted component.