1. 2014-05-13 Re: [SCHED_DEADLINE man pages 2/2] sched(7) SCHED_DEA linux-ker man-pages 2. 2014-05-13 Re: [SCHED_DEADLINE man pages 2/2] sched(7) SCHED_DEA linux-api man-pages 3. 2014-05-13 Re: [SCHED_DEADLINE man pages 2/2] sched(7) SCHED_DEA linux-man man-pages 4. 2014-05-13 Re: [SCHED_DEADLINE man pages 2/2] sched(7) SCHED_DEA linux-ker Juri Lelli 5. 2014-05-13 Re: [SCHED_DEADLINE man pages 2/2] sched(7) SCHED_DEA linux-api Juri Lelli 6. 2014-05-13 Re: [SCHED_DEADLINE man pages 2/2] sched(7) SCHED_DEA linux-man Juri Lelli 7. 2014-05-13 [SCHED_DEADLINE man pages 2/2] sched(7) SCHED_DEADLIN linux-man man-pages 8. 2014-05-13 [SCHED_DEADLINE man pages 2/2] sched(7) SCHED_DEADLIN linux-api man-pages 9. 2014-05-13 [SCHED_DEADLINE man pages 2/2] sched(7) SCHED_DEADLIN linux-ker man-pages