[PlanetCCRMA] kernel-rt for armv7hl

Fernando Lopez-Lezcano nando at ccrma.Stanford.EDU
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_RTB is not set
> [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

More information about the PlanetCCRMA mailing list