How to enable scheduling time in one-shot model

[Yuxin Ren]

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.
Yuxin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140714/bcbfce13/attachment.html>