A small Raspberry Pi Pico program that controls a servo based on inputs from an IR remote control. Very much so a WIP.
Installation requires the pico-sdk and for the PICO_SDK_PATH variable to be set. To compile the code, simply run make within the root project directory.
The servo code is essentially identical to the servo library in the arduino-pico repo, with some slight modifications to make it compile against only the pico-sdk. The IR reciever library is taken straight from the pico-examples repo.