diff --git a/scripts/kconfig/generate_header.py b/scripts/kconfig/generate_header.py
index 5f297a588..2239c4489 100644
--- a/scripts/kconfig/generate_header.py
+++ b/scripts/kconfig/generate_header.py
@@ -76,6 +76,7 @@ def main():
         usage()
         sys.exit(1)
 
+    header = "/* Generated by Kconfiglib */\n"
     kconfig_path = sys.argv[1]
     if not os.path.isfile(kconfig_path):
         sys.stderr.write("Cannot find file %s\n" % kconfig_path)
@@ -88,7 +89,7 @@ def main():
 
     kconfig = Acrn_config(kconfig_path)
     kconfig.load_config(config_path)
-    kconfig.write_autoconf(sys.argv[3])
+    kconfig.write_autoconf(sys.argv[3],header)
     sys.stdout.write("Configuration header written to %s.\n" % sys.argv[3])
 
 if __name__ == "__main__":