[kaos]
> In 2.4.2-ac18 there are 130 CONFIG options that are always derived
> from other options, the user has no control over them.

I've thought about these before ... but never got around to doing
anything about them.  I agree they should have a separate namespace.

However, I would vote the for namespace CONFIG__* rather than
CONFIG_*_DERIVED.  As Jeff noted, _DERIVED is quite a mouthful to type,
and CONFIG__* seems all-around less intrusive.

Peter
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Reply via email to