How to enable scheduling time in one-shot model

Yuxin Ren ryx at
Mon Jul 14 17:09:40 CEST 2014

Hi All,

I know in previous Fiasco kernel, there is a kernel option to use
scheduling timer in one-shot model. But I cannot find this option in the
latest Fiasco kernel.
So now how can I enable this feature?

In addition, where is the code for timer interrupt handler?
Could someone give me some hints about that code?

Thank you very much.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list