Asterinas
asterinas.github.io

After reading Drew’s pitch to the rust community to write our own kernel, I’ve searched for “linux abi compatible rust kernel” and found “Asterinas”. Surprised that it is not mentioned here

  • SQkwax5cJJ2N9b
    1·
    2 months ago

    The GPL is the kernels biggest feature, but this uses MPL, which doesnt protect the user at all.