Re: How to enable scheduling time in one-shot model
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 -- Adam [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/