1 Linux mede tempo em jiffies, ticks.
2 Mencionar tickless kernel (CONFIG_NO_HZ).
4 #include <linux/sched.h> TODO
7 wrapping around... jiffies64 ou coisa assim TODO
8 timer_after, time_before e etc
9 HZ - jiffies em um segundo
12 schedule_interruptible