rml, 7 months ago systems beyond #posix: #sel4 https://www.youtube.com/watch?v=ekV7wWQf7_g #microkernel #os
systems beyond #posix: #sel4
https://www.youtube.com/watch?v=ekV7wWQf7_g #microkernel #os