3 ms·Wouldn't have happened had they used seL4. I'd hope there's some EU investment on it now.by snvzz 2y agoWouldn't have happened had they used seL4. I'd hope there's some EU investment on it now.pas 2y agoit seems PEBKAC all the way down https://news.ycombinator.com/item?id=41784705 https://news.ycombinator.com/item?id=41784705snvzz 2y agoA good design would protect against PEBKAC somewhat.