Describe the meaning of the checks
authorAlexander Popov <alex.popov@linux.com>
Sun, 14 Aug 2022 11:02:22 +0000 (14:02 +0300)
committerAlexander Popov <alex.popov@linux.com>
Sun, 14 Aug 2022 11:02:22 +0000 (14:02 +0300)
commit6a467438ec44c120ac5de142b43658236093db6d
tree237137e216c56b538ca86f5de64418866d33407e
parent33120e460e0b8c021692d20381bc2e19644ea187
Describe the meaning of the checks

Don't add CmdlineChecks in add_kconfig_checks() to avoid wrong results
when the tool doesn't check the cmdline.

A common pattern for checking the 'param_x' cmdline parameter
that __overrides__ the 'PARAM_X_DEFAULT' kconfig option:
  l += [OR(CmdlineCheck(reason, decision, 'param_x', '1'),
           AND(KconfigCheck(reason, decision, 'PARAM_X_DEFAULT_ON', 'y'),
               CmdlineCheck(reason, decision, 'param_x, 'is not set')))]

Here we don't check the kconfig options or minimal kernel version
required for the cmdline parameters. That would make the checks
very complex and not give a 100% guarantee anyway.
kconfig_hardened_check/__init__.py