On Nov 8, 2006, at 12:32 PM, Rui Paulo wrote:
Any special reason?
It's not necessarily a development-only kernel. Also, someone doing development is perfectly capable of adding these options to their own kernel config (or modifying this one locally).
-- thorpej