Dynamic ticks on RHEL6

Dynamic ticks first shown up in the Ti OMAP port of Linux in 2004. It was based, in concept at least, on the the NO_IDLE_HZ patch for IBM's s390 and a Linux 2.4 patch for the Linux high resolution timers project from before that.

http://muru.com/linux/dyntick/

According to the USENIX article linked above OS X uses a different design similar to what people use in embedded OSes were your depending on a particular type of hardware interrupt to help you with your scheduling.

So I can't see how that is any sort of proof of 'Linux didn't invent dynamic ticks' when OS X does not use ticks at all.