how do I find out the configuration of a running kernel?

Marty Leisner (
Sat, 8 Jul 1995 09:00:17 PDT

/proc/devices only tells me about what devices it finds...

Perhaps it would make sense to also have /proc/config which is
essentially a shortened echo of the autoconfig file...

I'm currently have problems with 1.3.8 turning on all the devices
I want (I don't want to start with the big long make config again...
is it more reasonable to hand-edit arch/i386/ and then run
Configure -d?)

Member of the League for Programming Freedom (
Any sufficiently advanced technology is indistinguishable from magic
Arthur C. Clarke, The Lost Worlds of 2001