Re: Tickless kernel

[Martin Husemann <martin%duskware.de@localhost>]

On Mon, Jul 03, 2017 at 06:29:35AM -0000, Michael van Elst wrote:
> For a tickless kernel you need a one-shot timer instead that
> can be armed to fire at an arbitrary time. Optionally you could
> tell it to fire on a specific CPU.

Let's define a kernel API and a __HAVE_MD_TICKLESS_SUPPORT (or some better
name) and move individual architectures over when they are ready!

Martin