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