[Arm-dev] RPI / kernel config

Stephan Guilloux

stephan.guilloux at crisalid.com
Mon Aug 6 12:13:07 UTC 2018


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.



More information about the Arm-dev mailing list