Re: [Arm-dev] RPI / kernel config

On 06/08/18 14:13, Stephan Guilloux wrote:

Hi all,

Is there any way to know the compilation options used to build the kernel ?

At least, on a x86_64, we have something like config-3.10.0-862.3.3.el7.x86_64 On raspberry, I did not find anything in /proc nor in /boot.

Regards, Stephan.

It depends if you use the "generic" kernel or the raspberrypi2 one. For that one, we just use the upstream config : https://github.com/raspberrypi/linux/blob/rpi-4.14.y/arch/arm/configs/bcm270...

We though add a patch for audit/selinux support : https://github.com/CentOS/sig-core-AltArch/blob/master/raspberrypi2/SOURCES/...

Cheers,