n67
Posts: 938
Joined: Mon Oct 30, 2017 4:55 pm

How to tell what the kernel config is?

Sun Feb 25, 2018 1:14 am

Suppose I need to find out if a particular kernel option was selected when the kernel was compiled?

I seem to remember that, in the deep, dark, past, there was a file called CONFIG.GZ that was the kernel config (compressed, of course) and that you could browse that file.

But I can't seem to find that file now.
"L'enfer, c'est les autres"

G fytc hsqr rum umpbq rm qyw rm rfc kmbq md rfgq dmpsk:

Epmu Sn!

J lnacjrw njbruh-carppnanm vxm rb mnuncrwp vh yxbcb!

User avatar
rpdom
Posts: 17171
Joined: Sun May 06, 2012 5:17 am
Location: Chelmsford, Essex, UK

Re: How to tell what the kernel config is?

Sun Feb 25, 2018 5:09 am

sudo modprobe configs

Then you will be able to see the /proc/config.gz "file"

n67
Posts: 938
Joined: Mon Oct 30, 2017 4:55 pm

Re: How to tell what the kernel config is?

Sun Feb 25, 2018 6:40 am

OK - that sounds right.

What exactly does the "modprobe" thingy do? Why is it necessary?
"L'enfer, c'est les autres"

G fytc hsqr rum umpbq rm qyw rm rfc kmbq md rfgq dmpsk:

Epmu Sn!

J lnacjrw njbruh-carppnanm vxm rb mnuncrwp vh yxbcb!

MaxK1
Posts: 1043
Joined: Sun Aug 26, 2012 11:34 pm

Re: How to tell what the kernel config is?

Sun Feb 25, 2018 12:18 pm

man modprobe
You are in a maze of twisty little passages, all alike.
When General Failure and Major Disaster get together, Private Parts usually suffers.

User avatar
rpdom
Posts: 17171
Joined: Sun May 06, 2012 5:17 am
Location: Chelmsford, Essex, UK

Re: How to tell what the kernel config is?

Sun Feb 25, 2018 6:28 pm

Modprobe loads additional kernel feature and drivers. In this case the config isn't included by default as it takes up extra memory.

Return to “Raspberry Pi OS”