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