On 14/03/24 at 09:07, fran...@libero.it wrote:
Hi,
good morning. This is the command:
<root@debian:/home/frantal# cat /etc/default/grub | head -10
# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
# info -f grub -n 'Simple configuration'
GRUB_DEFAULT=0
GRUB_TIMEOUT=5
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" iommu=soft amd_iommu
GRUB_CMDLINE_LINUX="">
Nope the line:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" iommu=soft amd_iommu
↑
must be:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash iommu=soft amd_iommu"
↑
then post the output of the following command:
~# update-grub
whether no error message, then reboot the system.
--
Franco Martelli
