How to enable scheduling time in one-shot model

[Martin Schröder]

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: 
/kernel/fiasco/src/kern/arm/bsp/realview/platform-arm-realview.cpp:

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

maybe this helps...

Martin.