laarcnew | comments | discord | tags | ask | show | place | submitlogin
MesaLock Linux: A Memory-Safe Linux Distribution - Mingshen Sun @ Baidu X-Lab (
3 points by rain1 to linux rust security safety 468 days ago | 1 comment

Title probably should've been user-land given I had impression they secured the kernel. I still like the project idea. They picked the right, two languages if wanting maximal contributions that are safe by default.

I don't know about SGX, though, since bugs keep being found in the CPU extensions. I have little confidence in Intel's QA. I haven't put time into learning SGX for that reason. Muen SK claimed to just depend on one, widely-used mechanism (virtualization) to reduce that risk.


Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)