Implement kernel APIs that other kernel component can use to get hi res timers.
Anónimo
Need to answer various design questions like, what data structure to use to store the timers, how to find expired timers, should calling function allocated memory for the timer DS or it should just pass the function that needs to be executed and the framework will take care of allocating the structure.