Hey Stephen,

First, check in /proc for "config.gz".

If you don't have it, try running "modprobe config" and then check again.

You can then use the generated "config.gz" with "make oldconfig" and "make menuconfig".

Hth,

Chris

On Mon, Aug 6, 2018, 8:13 AM Stephan Guilloux <stephan.guilloux@crisalid.com> 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.

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