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.