/*
* This file acts as a template for config.c that will be generated in the
* kernel build directory after config(8) has been successfully run.
*/
#include "opt_config.h"
#ifdef INCLUDE_CONFIG_FILE
/*
* For !INCLUDE_CONFIG_FILE case, you should look at kern_mib.c. This is
* where kernconfstring is defined then.
*/
const char kernconfstring[] __attribute__ ((section("kern_conf"))) =
"%%KERNCONFFILE%%";
#endif /* INCLUDE_CONFIG_FILE */
