Pretty sure that most people here know that, so it remains a less obvious yet interesting question (while tangential to the posted article): Are Linux/Windows/Mac tickless?
I know Linux is, the rest probably are too. I remember when tickless support was merged: