wm: doc

--- a/pi.ms

+++ b/pi.ms

@@ -98,3 +98,51 @@

 mk 'CONF=pi3' # for pi 3

 mk 'CONF=pi4' # for pi 4

.P2

+.NH

+HDMI

+.LP

+Raspberry pi uses HDMI for video output. thankfully (or not),

+Firmware capable of handling framebuffer, and we use that.

+the only drawback there is we can't change resolution during run-time.

+to change it, first mount

+.CW pidos

+partition (on 64-bit kernels you may need to mount

+.CW dos

+instead):

+.P1

+; 9fs pidos

+.P2

+And then add the following into your

+.CW config.txt

+file:

+.P1

+[all]

+hdmi_blanking=1

+hdmi_group=2

+hdmi_mode=51

+framebuffer_depth=32

+.P2

+.LP

+First line means this configuration will be applied to all

+raspberry pi models. This is handy for when you share same sd card

+between several boards.

+.CW hdmi_blanking

+will blank your monitor when not in use, see

+.CW mouse (3)

+man page to see how to use it.

+The lines

+.CW hdmi_group

+and

+.CW hdmi_mode

+are used to set type of display (TV or monitor) and resolution of such.

+see

+.ihtml a <a href="https://www.raspberrypi.com/documentation/computers/legacy_config_txt.html#hdmi-mode">

+.CW https://www.raspberrypi.com/documentation/computers/legacy_config_txt.html#hdmi-mode

+.ihtml a

+for more info on those.

+Lastly

+.CW framebuffer_depth

+is for amount of colors you have,

+.CW 32

+means 32-bit color, default value is

+.CW 16 .