I want to try overclocking my Rock Pi 4B. From what I can gather in the radxa-wiki and other posts on the subject, I need to set this up in /boot/config.txt or a similar file. I suppose the radxa-wiki refers to an armbian installation, most other posts I can find refer to Raspberry Pi. My Manjaro installation does not have a config.txt by default and when I create one it does not appear to be put to use.
So can I even use a /boot/config.txt on Rock Pi 4? If so, what steps do I need to take? If not, what is the way to overclock a Rock Pi running Manjaro? Appreciate any pointers in the right direction.