A awards.acm.org ACM Software System Award Given to seL4 Microkernel 222 points pjmlp 3 years ago 63 comments
