Formalizing Kernel Synchronization Primitives with PREEMPT_RT - Ahmed S. Darwish
Channel: Linux Plumbers Conference
Date: 2021-11-13

Formalizing Kernel Synchronization Primitives with PREEMPT_RT - Ahmed S. Darwish