I include the shell env files that point to my home dir for my own
convenience.
Otherwise, this uses the Pico SDK, with the setup based on their repo's
README. I don't actually properly config picotool or anything, so this
thing compiles a (limited version of it) itself. The code is based on
https://github.com/raspberrypi/pico-examples/blob/master/usb/device/dev_lowlevel/dev_lowlevel.c
which was hacked to trigger CVE-2024-53197. The code desperately needs
cleaning.