• marcos@lemmy.world
    link
    fedilink
    arrow-up
    10
    ·
    8 hours ago

    We have to ride it for long enough so that a microkernel inevitably becomes the better option.

    Maybe L4? IDK, but it’s something that makes this kind of choice irrelevant.