#ifdef STORE_CONFIG
   	const char kernel_config[] = "
   	#       $NetBSD: GENERIC,v 1.381 2000/11/28 19:44:07 augustss Exp $
   	#
   	#       GENERIC -- everything that's currently supported
   	#
   	   [...]
   	# mouse & keyboard multiplexor pseudo-devices
   	pseudo-device   wsmux           2
   	";
   	#endif /* STORE_CONFIG */

      That way you'd only get the config file compiled in if you asked for it,
      which possibly could be the default. It's ~ 25K extra on a 3000K
      i386 GENERIC kernel.

Have you thought about simple compression schemes?  It would probably
compress to a few KB.

      I'm not 100% sure of the easiest way to extract this info though;
      using gdb and 'print kernel_config' displays the LFs as the literal
      \n.

That particular problem is easily solved:

	(gdb) printf "%s", config

Ben