- # /home/rmainz/bin/vidiff /etc/default/grub
- # Begin differences
- --- /etc/default/grub.old.13238 2022-09-05 13:25:48.940110377 +0200
- +++ /etc/default/grub.new.13238 2022-09-05 13:26:02.911297226 +0200
- @@ -6,7 +6,7 @@
- GRUB_DEFAULT=0
- GRUB_TIMEOUT=5
- GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
- -GRUB_CMDLINE_LINUX_DEFAULT="quiet acpi=off mitigations=off l1tf=off mds=off"
- +GRUB_CMDLINE_LINUX_DEFAULT="quiet eagerfpu=on acpi=off mitigations=off l1tf=off mds=off"
- GRUB_CMDLINE_LINUX="mitigations=off l1tf=off mds=off"
- # Uncomment to enable BadRAM filtering, modify to suit your needs
- # End differences
- root@DERFWNB4966:~# update-grub
- Generating grub configuration file ...
- Found background image: /usr/share/images/desktop-base/desktop-grub.png
- Found linux image: /boot/vmlinuz-5.10.0-13-rt-686-pae
- Found initrd image: /boot/initrd.img-5.10.0-13-rt-686-pae
- Found linux image: /boot/vmlinuz-5.10.0-13-686-pae
- Found initrd image: /boot/initrd.img-5.10.0-13-686-pae
- Found linux image: /boot/vmlinuz-5.10.0-8-rt-686-pae
- Found initrd image: /boot/initrd.img-5.10.0-8-rt-686-pae
- Found linux image: /boot/vmlinuz-5.10.0-8-686-pae
- Found initrd image: /boot/initrd.img-5.10.0-8-686-pae
- done
grub: Enable eagerfpu=on for Debian Linux kernel
Posted by Anonymous on Mon 5th Sep 2022 12:33
raw | new post
Submit a correction or amendment below (click here to make a fresh posting)
After submitting an amendment, you'll be able to view the differences between the old and new posts easily.