Minimal Pico SDK header replacements, enabling libraries like TinyUSB to be built without the Pico SDK - View it on GitHub