OK. Thx for the pointers.

      Currently, I have the raspberrypi2, but the same question applies
      for both, I suppose.

      Moreover, I can observe that many CONFIG_XX are missing in this
      file :-)

        In the past, on CentOS for x86, I used /boot/config-xxx to know,
        from an application/tool/script on the target, if the kernel was
        built to support a specific feature.

At that time, I think that having (or not)
      the kernel .config was a matter of "packaging", in the .spec.

      Is it still the case ?

      Do you think it could be possible to integrate that for
      raspberrypi2, in the next .rpm ?

      Would be helpful...

      regards.

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/bcm2709_defconfig

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

Cheers,

_______________________________________________
Arm-dev mailing list
Arm-dev@centos.org
https://lists.centos.org/mailman/listinfo/arm-dev