+ s = s + sprintf(s, "/* Automatically generated, ");
+ s = s + sprintf(s, "Edit the Makefile to change configuration */\n");
+ s = s + sprintf(s, "#ifndef __NTOSKRNL_INCLUDE_INTERNAL_CONFIG_H\n");
+ s = s + sprintf(s, "#define __NTOSKRNL_INCLUDE_INTERNAL_CONFIG_H\n");
+ strcpy(config, "");