[Arm-dev] RPI / kernel config

Mon Aug 6 12:13:07 UTC 2018
Stephan Guilloux <stephan.guilloux at crisalid.com>

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.