Robuta

https://lkml.indiana.edu/hypermail/linux/kernel/1001.1/02704.html Linux-Kernel Archive: Re: [patch 2/4] x86: Do not use hpet MSI as clockevent broadcastdevice