Re: How to change mount options of root device?

On Thu, Jun 1, 2023 at 4:52 PM Daniel Spannbauer <ds@marco.de> wrote:

Thanks for the explanation. I found an entr in /etc/default/grub with "rootflags=" which seems to cause this confusion :)

No idea what you mean here, there was no rootflags option in /proc/cmdline you posted.