[PlanetCCRMA] kernel-rt for armv7hl

[Fernando Lopez-Lezcano]

On 09/03/2013 01:28 PM, Jiri Kastner wrote:
> resolved
> changed
>
> %if %{with_rt}
> # We should modify the Makefile.config to deal with the realtime kernel,
> # for now do this
> cp -p kernel-%{version}-x86_64.config kernel-%{version}-x86_64-rt.config
> cp -p kernel-%{version}-i686.config kernel-%{version}-i686-rt.config
> cp -p kernel-%{version}-i686-PAE.config kernel-%{version}-i686-
> rtPAE.config
> %endif
>
> to
>
> %if %{with_rt}
> # We should modify the Makefile.config to deal with the realtime kernel,
> # for now do this
> cp -p kernel-%{version}-x86_64.config kernel-%{version}-x86_64-rt.config
> cp -p kernel-%{version}-i686.config kernel-%{version}-i686-rt.config
> cp -p kernel-%{version}-i686-PAE.config kernel-%{version}-i686-
> rtPAE.config
> cp -p kernel-%{version}-armv7hl.config kernel-%{version}-armv7hl-rt.config
> cp -p kernel-%{version}-armv7hl-lpae.config kernel-%{version}-armv7hl-
> rtlpae.config
> %endif

Hey, thanks! I have not tried to build on arm yet (actually I'm working 
on some packages for the raspberri pi and I did compile a kernel for 
that but not yet with the rt patches...)

Let us know how it goes...
-- Fernando