> > So, I would like to compile a custom kernel, the same kernel used with
> > the EL7 images, with the PREEMPT_RT patch applied. What's the easiest
> > way to do this?
>
> I get the (precompiled) kernel from the official github
> (https://github.com/raspberrypi/).
>
> So I guess that it would be easiest to start with a RSEL7 image,
> download the raspberry patched kernel source (the linux tree under
> aforementioned github), apply patches as needed/wanted and build&install
> the kernel.
>
> I also used to think that the pi is to slow to build kernels, but it
> actually is not that bad (especially with a usb external disk). I think
> that it won't take more than 2-3 hours. For a once-off, that'll beat
> setting up a cross-compile environment.
Also using QEMU on a Windows or Linux speeds up the trial and error process of
creating a working kernel. Of course QEMU'ing an arm1176 is not the same as a
Raspberry but it will give you a hint if you have cross compiled right ;-)
BR,
Bjarne
_______________________________________________
users mailing list
[email protected]
http://lists.redsleeve.org/mailman/listinfo/users