From: Alexander Popov <alex.popov@linux.com>
Date: Sun, 2 Jul 2023 19:55:36 +0000 (+0300)
Subject: Print the microarchitecture in --generate mode
X-Git-Tag: v0.6.6~129
X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=940be276dfedf56d92ca08beac320a37426922c7;p=kconfig-hardened-check.git

Print the microarchitecture in --generate mode

The Kconfig fragment should describe the microarchitecture to avoid mistakes.
---

diff --git a/kconfig_hardened_check/__init__.py b/kconfig_hardened_check/__init__.py
index f280774..fa32725 100644
--- a/kconfig_hardened_check/__init__.py
+++ b/kconfig_hardened_check/__init__.py
@@ -320,6 +320,7 @@ def main():
             sys.exit(f'[!] ERROR: wrong mode "{mode}" for --generate')
         arch = args.generate
         add_kconfig_checks(config_checklist, arch)
+        print(f'CONFIG_{arch}=y') # the Kconfig fragment should describe the microarchitecture
         for opt in config_checklist:
             if opt.name == 'CONFIG_ARCH_MMAP_RND_BITS':
                 continue # don't add CONFIG_ARCH_MMAP_RND_BITS because its value needs refinement