4 ms·seL4 is open source and pretty small. What's stopping you?by snvzz 2mo agoseL4 is open source and pretty small. What's stopping you?