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
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.
On Mon Jul 14, 2014 at 11:09:40 -0400, Yuxin Ren wrote:
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?
Currently it can only be enabled when configuring for x86 (32) platform. Indeed we could broaden it a bit more.
In addition, where is the code for timer interrupt handler? Could someone give me some hints about that code?
There's a Timer_tick class that has a handle_timer() function that is called for every timer tick.
Adam
l4-hackers@os.inf.tu-dresden.de
-
Adam Lackorzynski -
Martin Schröder -
Yuxin Ren