talks
talks copied to clipboard
Robigalia: developing device drivers and other operating system services in pure Rust, using the seL4 microkernel
I can give this, although no earlier than February.