diff options
| author | van Hauser <vh@thc.org> | 2022-09-28 22:56:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-28 22:56:28 +0200 |
| commit | 7e0171006a32bf6b510e08df76ca6d8555272140 (patch) | |
| tree | e163306b4bdf270c2c787d23007fb61921bb9c40 /afl-persistent-config | |
| parent | ad4b7274766418d2006177edebf0d242b49c5fef (diff) | |
| parent | 96b774261172a2259ab98cc529eba3d7212375cb (diff) | |
| download | afl++-7e0171006a32bf6b510e08df76ca6d8555272140.tar.gz | |
Merge pull request #1537 from AFLplusplus/dev
push to stable
Diffstat (limited to 'afl-persistent-config')
| -rwxr-xr-x | afl-persistent-config | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/afl-persistent-config b/afl-persistent-config index 927f0062..6d96c196 100755 --- a/afl-persistent-config +++ b/afl-persistent-config @@ -113,10 +113,10 @@ EOF grep -E -q '^GRUB_CMDLINE_LINUX_DEFAULT=' /etc/default/grub 2>/dev/null || echo Error: /etc/default/grub with GRUB_CMDLINE_LINUX_DEFAULT is not present, cannot set boot options grep -E -q '^GRUB_CMDLINE_LINUX_DEFAULT=' /etc/default/grub 2>/dev/null && { - grep -E '^GRUB_CMDLINE_LINUX_DEFAULT=' /etc/default/grub | grep -E -q hardened_usercopy=off || { + grep -E '^GRUB_CMDLINE_LINUX_DEFAULT=' /etc/default/grub | grep -E -q 'noibrs pcid nopti' || { echo "Configuring performance boot options" LINE=`grep -E '^GRUB_CMDLINE_LINUX_DEFAULT=' /etc/default/grub | sed 's/^GRUB_CMDLINE_LINUX_DEFAULT=//' | tr -d '"'` - OPTIONS="$LINE ibpb=off ibrs=off kpti=off l1tf=off mds=off mitigations=off no_stf_barrier noibpb noibrs nopcid nopti nospec_store_bypass_disable nospectre_v1 nospectre_v2 pcid=off pti=off spec_store_bypass_disable=off spectre_v2=off stf_barrier=off srbds=off noexec=off noexec32=off tsx=on tsx=on tsx_async_abort=off mitigations=off audit=0 hardened_usercopy=off ssbd=force-off" + OPTIONS="$LINE ibpb=off ibrs=off kpti=off l1tf=off mds=off mitigations=off no_stf_barrier noibpb noibrs pcid nopti nospec_store_bypass_disable nospectre_v1 nospectre_v2 pcid=on pti=off spec_store_bypass_disable=off spectre_v2=off stf_barrier=off srbds=off noexec=off noexec32=off tsx=on tsx=on tsx_async_abort=off mitigations=off audit=0 hardened_usercopy=off ssbd=force-off" echo Setting boot options in /etc/default/grub to GRUB_CMDLINE_LINUX_DEFAULT=\"$OPTIONS\" sed -i "s|^GRUB_CMDLINE_LINUX_DEFAULT=.*|GRUB_CMDLINE_LINUX_DEFAULT=\"$OPTIONS\"|" /etc/default/grub } |
