How to enable scheduling time in one-shot model

Martin Schröder mschroeder at
Mon Jul 14 23:04:59 CEST 2014

Hi Yuxin,

Am 14.07.2014 17:09, Yuxin Ren schrieb:
> 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?

the interrupt service routine can be found in the bsp folder. For the 
ARM Realview it is here: 

IMPLEMENT inline NEEDS["config.h", "kip.h"]
   if (Config::Scheduler_one_shot)
     return 0;
     return Kip::k()->clock;

maybe this helps...


More information about the l4-hackers mailing list