cotalks.dev

seL4 Microkernel Status Update

(link)
Channel: FOSDEM