From: Alexander Popov Date: Mon, 14 Aug 2023 20:47:09 +0000 (+0300) Subject: Improve coverage of the functional test a bit X-Git-Tag: v0.6.6~86 X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=ac93b409d5faad34c48e2e02f742d46b7910ac4f;p=kconfig-hardened-check.git Improve coverage of the functional test a bit --- diff --git a/.github/workflows/functional_test.sh b/.github/workflows/functional_test.sh index 7aa5cb8..89b5c77 100644 --- a/.github/workflows/functional_test.sh +++ b/.github/workflows/functional_test.sh @@ -40,7 +40,7 @@ coverage run -a --branch bin/kconfig-hardened-check -g ARM echo ">>>>> check the example kconfig files, cmdline, and sysctl <<<<<" cat /proc/cmdline -echo "l1tf=off mds=full randomize_kstack_offset=on iommu.passthrough=0" > ./cmdline_example +echo "l1tf=off mds=full mitigations=off randomize_kstack_offset=on retbleed=0 iommu.passthrough=0" > ./cmdline_example cat ./cmdline_example sysctl -a > /tmp/sysctls CONFIG_DIR=`find . -name config_files`