[PlanetCCRMA] kernel-rt for armv7hl

Mon Sep 23 07:24:53 PDT 2013

On 09/23/2013 12:23 AM, Jiri Kastner wrote:
> On Tue, 03 Sep 2013 16:31:15 -0700, Fernando Lopez-Lezcano wrote:
>
>>
>> Let us know how it goes...
>
> how it goes? as i went all the time out of space, i asked my colleague to
> built kernel-rt from src.rpm i sent him. here is result:
>
> [e-ndy at dhcp-27-58 ~]$ grep PREEMPT_RT /boot/config-`uname -r`
> CONFIG_PREEMPT_RT_BASE=y
> # CONFIG_PREEMPT_RTB is not set
> CONFIG_PREEMPT_RT_FULL=y
> [e-ndy at dhcp-27-58 ~]$ rpm -qf /boot/config-`uname -r`
> kernel-rt-3.10.10-200.rt7.1.fc19.armv7hl
>
> so it is bootable and with preempt_rt patch :)

Great!, thanks for the report!

I'm on a trip now but last week I managed to get some build 
infrastructure done for building packages on arm (for now targeted at 
pidora 18 for the raspberrypi). I built a kernel from the raspberrypi 
git kernel repository, but so far without the rt patch.

A comment: on my laptop (Lenovo T510) I have see very infrequent freezes 
with 3.10.x + rt, regretfully I do not have a serial console attached 
and they leave no traces behind... This did not happen with 3.8.x + rt.

-- Fernando