jason thorpe recently commited changes to make some options build opt_xxx.h files (defopt's). if you try to build a kernel without re-running config, you will probably find files like `opt_uconsole.h' not being found. re-running config will fix this. .mrg.