[Arm-dev] RPI / kernel config

Fabian Arrotin arrfab at centos.org
Mon Aug 6 12:18:54 UTC 2018


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,

-- 
Fabian Arrotin
The CentOS Project | https://www.centos.org
gpg key: 56BEC54E | twitter: @arrfab

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: OpenPGP digital signature
URL: <http://lists.centos.org/pipermail/arm-dev/attachments/20180806/4c16a49f/attachment.sig>


More information about the Arm-dev mailing list