Skip to content

Daniel's page

Daniel Bristot de Oliveira

  • About me
  • Academics
    • Academic Collaboration
    • Publications
    • Lectures
    • Organization and others
  • Career
  • Linux and Formal Methods
    • Operating System Noise in the Linux Kernel
    • Linux Task Model
    • Efficient Formal Verification for the Linux Kernel
    • Demystifying the Real-Time Linux Scheduling Latency
  • Software
  • RTLA

Sched deadline Open Issues Slides

Daniel All January 1, 2017November 10, 2019 1 Minute

Here are the slides of the Sched deadline – Open Issues lecture I gave at Linux Plumbers 2017 and at DevConf 2018.

Published by Daniel

View all posts by Daniel

Published January 1, 2017November 10, 2019

Post navigation

Next Post Automata-Based Modeling of Interrupts in the Linux PREEMPT RT Kernel
Proudly powered by WordPress | Theme: Independent Publisher 2 by Raam Dev.