howtos 3

• Force HDMI hotplug in a Raspberry Pi Nov 11, 2022
• Set a resolution manually in GNU/Linux Sep 2, 2022
• Get brightness keys working on GNU/Linux Jul 24, 2015