Kernel Memory Safety: Mission Accomplished

asterinas.github.io

4 pointsAr-Curunir2 comments

I am the author of this post and also the first co-author of the ATC'25 paper. Ask me anything :)

this is a really epic acheivement if it holds up. hats off.! rust in the deeper levels is no joke.

so want to play with this :') gave up and went back to C myself so excited to dive into this work when i have some time again. thanks for sharing!