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. Le 06/08/2018 à 14:18, Fabian Arrotin a écrit : > 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 at centos.org > https://lists.centos.org/mailman/listinfo/arm-dev -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.centos.org/pipermail/arm-dev/attachments/20180806/92845232/attachment-0006.html>