Deleted Comment
Deleted Comment
SeL4 is extremely cool technology. It has been formally proven to be bug-free against its specification, which massively simplifies the development of high-security high-reliability systems. I feel like there’s a lot more development to be seen in this space.
I’ve benchmarked deleting files (around ~65,000 small node_modules sort of files) and it takes 40 seconds through Explorer, 20 seconds with rd, and roughly a second inside WSL2 (cloned to the VM’s ext4 virtual hard drive).