Skip to content

K
kernel-hardening-checker
Commit d361925b by Alexander Popov
Options

Add the srbds check

parent c798bc6f
Showing with 5 additions and 0 deletions
kconfig_hardened_check/__init__.py
...@@ -744,6 +744,8 @@ def add_cmdline_checks(l, arch): ...@@ -744,6 +744,8 @@ def add_cmdline_checks(l, arch):
CmdlineCheck('self_protection', 'defconfig', 'mds', 'is not set'))] CmdlineCheck('self_protection', 'defconfig', 'mds', 'is not set'))]
l += [OR(CmdlineCheck('self_protection', 'defconfig', 'tsx_async_abort', 'is not off'), l += [OR(CmdlineCheck('self_protection', 'defconfig', 'tsx_async_abort', 'is not off'),
CmdlineCheck('self_protection', 'defconfig', 'tsx_async_abort', 'is not set'))] CmdlineCheck('self_protection', 'defconfig', 'tsx_async_abort', 'is not set'))]
l += [OR(CmdlineCheck('self_protection', 'defconfig', 'srbds', 'is not off'),
CmdlineCheck('self_protection', 'defconfig', 'srbds', 'is not set'))]
l += [OR(CmdlineCheck('self_protection', 'defconfig', 'mmio_stale_data', 'is not off'), l += [OR(CmdlineCheck('self_protection', 'defconfig', 'mmio_stale_data', 'is not off'),
CmdlineCheck('self_protection', 'defconfig', 'mmio_stale_data', 'is not set'))] CmdlineCheck('self_protection', 'defconfig', 'mmio_stale_data', 'is not set'))]
l += [OR(CmdlineCheck('self_protection', 'defconfig', 'retbleed', 'is not off'), l += [OR(CmdlineCheck('self_protection', 'defconfig', 'retbleed', 'is not off'),
...@@ -977,6 +979,9 @@ def normalize_cmdline_options(option, value): ...@@ -977,6 +979,9 @@ def normalize_cmdline_options(option, value):
if option == 'tsx_async_abort': if option == 'tsx_async_abort':
# See tsx_async_abort_parse_cmdline() in arch/x86/kernel/cpu/bugs.c # See tsx_async_abort_parse_cmdline() in arch/x86/kernel/cpu/bugs.c
return value return value
if option == 'srbds':
# See srbds_parse_cmdline() in arch/x86/kernel/cpu/bugs.c
return value
if option == 'mmio_stale_data': if option == 'mmio_stale_data':
# See mmio_stale_data_parse_cmdline() in arch/x86/kernel/cpu/bugs.c # See mmio_stale_data_parse_cmdline() in arch/x86/kernel/cpu/bugs.c
return value return value
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment