ps2x2pico Version 1.1
Thanks to @bstrobel for adding support for Silicon Graphics Workstations.
Thanks to @ssokolow for debugging holding down keys while rebooting to enter BIOS setups.
ps2x2pico.uf2
uses the mouse rate set by the host PC
ps2x2pico-100hz.uf2
uses fixed 100 Hz mouse rate, ignores host request
ps2x2pico-200hz.uf2
uses fixed 200 Hz mouse rate, ignores host request