rpm.global("ver", gh("raspberrypi/picotool"));
rpm.define("sdk_version", gh("raspberrypi/pico-sdk"));