ParentFull threadnicklarsennz·seL4 looks quite interesting. What use cases have you used it in?View on HN