grub-mkconfig doesn't change /boot/grub/grub.cfg

[Xu, Bo]

Hi,

I am trying to enable PSI by changing the kernel config:

    CONFIG_PSI_DEFAULT_DISABLED=y
    to     CONFIG_PSI_DEFAULT_DISABLED=n

Here are the steps I did:

  1.  Added line GRUB_CMDLINE_LINUX_DEFAULT="psi=1” in file /etc/default/grub
  2.  sudo update-grub       #this executes grub-mkconfig
  3.  reboot

However, after reboot the kernel config is NOT changed.

~$ zgrep PSI /proc/config.gz

CONFIG_PSI=y

CONFIG_PSI_DEFAULT_DISABLED=y



I notice the file /boot/grub/grub.cfg was NOT changed after execution 
update-grub.



Is this a bug of grub-mkconfig ???

------------------

My linux version:



~$ uname -r

5.4.59-5.4.1.2-amd64-635280dcfe78dc3d

Please help.

Regards,

Bo Xu

Akamai Technologies Inc.