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

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 2 points 1 week ago

The project looks amazing! It looks like its initial use case maybe closer to SEL4 in the trusted computing space but if it can support containers I'm pumped to try and get RKE2 running on it.

The thought put into DevX really is the nicest part to me though.