question about tickless kernel in Ubuntu 13.10

[Ming Xu]

Hi, I've posted a question on stackoverflow but haven't got any reply. So I
thought maybe here is a better place for asking that question.

http://stackoverflow.com/questions/20133523/how-do-i-get-tickless-kernel-to-work-nohz-full-rcu-nocbs-isolcpus-what-else

In short, I'm having trouble using the new tickless kernel feature in 13.10.
Feel free to answer on stackoverflow or here.

Thanks.
Ming
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.ubuntu.com/archives/ubuntu-users/attachments/20131123/ec57742d/attachment.html>