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.