[Arm-dev] RPI / kernel config

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 at 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 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/9ac4c791/attachment-0002.html>