i’ve already ported QMK to the pocket in case that gives anyone the push they need to try this out.
someone more intimate with the hardware can correct me if i’m wrong, but the schematics in the handbook suggest that GPIO 2, 3, and 25-29 (less sure about these?) aren’t used. i assume using 2 GPIOs and maybe a 5V you should be then able to set up PS/2 per the docs. my impression is that it should be fairly easy to without writing much more than JSON and headers.