• marcos@lemmy.world
    link
    fedilink
    arrow-up
    13
    ·
    13 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.