I can see via “cat /proc/cmdline” that my video output is set up as follows:
video=mxcfb0:dev=lcd,640x480M@60,if=RGB666
If I wish to change this, how best to do it? I’ve done this in the past by e.g. “make menuconfig” and rebuilding the kernel, but I read that in more recent kernels, this configuration is done via the “device tree”?