Towards a user-mode approach to partitioned scheduling in the seL4 microkernel

@article{Asberg2013TowardsAU,
  title={Towards a user-mode approach to partitioned scheduling in the seL4 microkernel},
  author={Mikael Asberg and Thomas Nolte},
  journal={SIGBED Review},
  year={2013},
  volume={10},
  pages={15-22}
}

• Mikael Asberg, Thomas Nolte
• Published 2013 in SIGBED Review
• DOI:10.1145/2544350.2544352

This paper presents a preliminary study of applying partitioned scheduling in the seL4 microkernel. This microkernel is the first operating system kernel ever to be formally proven for its functional correctness. Even though the kernel is completely verified it still delivers high performance comparable to other L4 kernels. The seL4 kernel implements… CONTINUE READING

Save

Watch Paper

Cite

View on ACM