No, as far I can see the CONFIG_NO_HZ_FULL option isn't available,Did you enable dynticks?
2013/8/24 hermann meyer <brummer-@web.de>
Am 20.08.2013 23:39, schrieb Harry van Haaren:
On Tue, Aug 20, 2013 at 12:52 PM, Raffaele Morelli <raffaele.morelli@gmail.com> wrote:
> So. Which kernel release are you running?
I've run 3.6.1-rt1 for some time, without any issue, yesterday I've switched to 3.10.9-rt5 which run flawless up to now.