Re: [IDEA] Developers: your opinion badly needed ! (Was: [PATCH] /proc/config.gz)

Horst von Brand (vonbrand@inf.utfsm.cl)
Tue, 02 Jun 1998 09:34:50 -0400


"Vinod G. Kulkarni" <vinod@pspl.co.in> said:
> On Mon, Jun 01, 1998 at 09:40:45PM +0200, Riccardo Facchetti wrote:

> > > It seems to me that there are couple of things which can be appended
> > > to kernel in this manner:

> > > 1. Config file
> > > 2. System.map
> > > 3. Selected set of modules.
> > > 4. Minimal root image (Quick aid in case there is file system
> > > failure)
> > > 5. Any other user-required features

> > [...]

> > Very interesting idea.
> > This evening I have posted the patch for the System.map only. In the next
> > days, if I see that there is some interest, I can include the .config data
> > too.

Yet again: This is only useful (in general) if you have several kernels,
and then the problem is just shifted form "Which .config/System.map/etc
file goes with the running kernel" to "Which one is the running kernel".
The solution that RedHat uses, supported by the standard Makefiles, and
which is explicitly described in several READMEs and such (everything gets
installed under /boot/*-${VERSION}) could just be extended a little bit
*without any kernel modifications whatsoever* to get everything you want.

Folks, it is much harder to trim out unneeded stuff than adding yet another
cool feature that just the author and his buddies use.

-- 
Dr. Horst H. von Brand                       mailto:vonbrand@inf.utfsm.cl
Departamento de Informatica                     Fono: +56 32 654431
Universidad Tecnica Federico Santa Maria              +56 32 654239
Casilla 110-V, Valparaiso, Chile                Fax:  +56 32 797513

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