I have a tiny2040 microcontroller I’m wondering if there is any way of programming it as an RCM loader for the Nintendo switch. It’s similar to the Pi Pico but has more memory. In theory couldn’t I take a python RCM loader and convert it to micropython?