Hi Gary,
Could you please try these two patches wrt [Bug 1283532] [NEW] NO_HZ fails for BE
I've tested it on my arndale board with my kernel that they fix cpu hotplug issue for arndale board. I do not have RT linux setup, so would appreciate help in testing.
Thanks, Victor
Victor Kamensky (2): ARM: EXYNOS: Fix hotplug wfi instruction in BE case ARM: EXYNOS: Fix hotplug BE image mon and hyp mode BE switch
arch/arm/mach-exynos/headsmp.S | 5 ++++- arch/arm/mach-exynos/hotplug.c | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-)