Comment by snvzz Comment by snvzz 3 days ago 0 replies Copy Link View on Hacker News seL4 foundation member list[0] might give you some hints.0. https://sel4.systems/Foundation/Membership/