1744b947eSWojciech A. Koszek/* 2744b947eSWojciech A. Koszek * This file acts as a template for config.c that will be generated in the 3744b947eSWojciech A. Koszek * kernel build directory after config(8) has been successfully run. 4744b947eSWojciech A. Koszek */ 5744b947eSWojciech A. Koszek#include "opt_config.h" 6744b947eSWojciech A. Koszek#ifdef INCLUDE_CONFIG_FILE 7744b947eSWojciech A. Koszek 85f9974aeSWojciech A. Koszek/* 95f9974aeSWojciech A. Koszek * For !INCLUDE_CONFIG_FILE case, you should look at kern_mib.c. This is 105f9974aeSWojciech A. Koszek * where kernconfstring is defined then. 115f9974aeSWojciech A. Koszek */ 12744b947eSWojciech A. Koszekconst char kernconfstring[] __attribute__ ((section("kern_conf"))) = 13744b947eSWojciech A. Koszek"%%KERNCONFFILE%%"; 14744b947eSWojciech A. Koszek 15744b947eSWojciech A. Koszek#endif /* INCLUDE_CONFIG_FILE */ 16