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 majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/