Re: [EXAMPLE-PATCH] /proc/config

Peter T. Breuer (ptb@it.uc3m.es)
Sat, 30 May 1998 18:54:26 +0200 (MET DST)


"A month of sundays ago Martin Mares wrote:"
> > grep -v '^#' .config | gzip | wc -c
> > gives 483. Add a couples of bytes for the code that implements
> > /proc/config. And of course you could make it an option.
>
> I don't expect /proc/config to give _gzipped_ answer, so you either have
> to include ungzip code in the kernel or you cannot have the data compressed
> in memory. _Runtime_ size of the kernel is more important than the on-disk
> size.

Actually, that's not as silly as it sounds. Why CAN'T /proc/config.gz
give a gzipped answer? Presumably we're only reading it if we are
actually running a system, in which case gzip is available to
decompress it.

So I think, yes, the simplest thing to do is put the whole gzipped
.config file into some kernel variable, then let /proc display it as a
.gz.

The next simplest thing to do is code the config as a 2bit-map
(presumably of yes,no,module,don't know) according to some standard.
That requires decisions, and the registration of identification numbers
for config options, so it won't happen.

Peter ptb@it.uc3m.es

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu