I’d like to change the kernel parameters for a pi4 running F36 server - ideally not through the boot menu as the machine is not connected to a screen/keyboard currently. How can I configure this from the cmdline?
- I found
/boot/efi/config.txtbut the kernel command line is not controlled here it seems, it reads a file cmdline.txt instead according to Raspberry Pi Documentation - The config.txt file. - I looked for a
cmdline.txtbut there’s nothing under/boot. I created one there and under/boot/efibut it didn’t seem to take effect. - I found
/boot/grubbut I’m not sure if grub is even in use as there’s noupdate-grubcommand installed or available through dnf.
How’s it done? Thanks.