operating-systems: address feedback, fix typo

This commit is contained in:
Mikaela Suomalainen 2019-08-28 13:58:39 +03:00
parent ba9eefbd0a
commit a6f138a383
No known key found for this signature in database
GPG Key ID: 0C207F07B2F32B67
1 changed files with 1 additions and 1 deletions

View File

@ -55,7 +55,7 @@ tor="http://sejnfjrq6szgca7v.onion"
<ol>
<li><code>sudo mkdir /etc/default/grub.d/</code> to create a directory for additional grub configuration
<li><code>echo GRUB_CMDLINE_LINUX_DEFAULT="$GRUB_CMDLINE_LINUX_DEFAULT mds=full,nosmt" | sudo tee /etc/default/grub.d/mds.conf</code> to create a new grub config file source with the echoed content</li>
<li><code>sudo update-grub</code> to generate a new config file including these kernel flags
<li><code>sudo grub-mkconfig -o /boot/grub/grub.cfg</code> (or on Debian/Ubuntu based distributions <code>sudo update-grub</code> to generate a new config file including this new kernel flag
<li><code>sudo reboot</code> to reboot
<li>afterward the reboot check <code>tail -n +1 /sys/devices/system/cpu/vulnerabilities/*</code> again to see that MDS now says SMT disabled.
</ol>