concurrency schedulers rt_sched References Videos (Part 1, 9am GMT) Using Linux kernel for Real-Time Systems (32:19) (Part 2, 9am GMT) Using Linux-Kernel for Real-Time systems (20:22)