Check out the latest Red Hat Research Quarterly, also featuring my last article of the trilogy: Modeling, verifying, and proofing the predictability of the real-time Linux kernel (PREEMP_RT) scheduling latency! Digital version here: https://research.redhat.com/blog/issue/may-2021/
