2 ms·seL4 looks quite interesting. What use cases have you used it in?by nicklarsennz 7y agoseL4 looks quite interesting. What use cases have you used it in?