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