Picolibc provides startup routines, including linker scripts, for bare metal ARM development, making it easy to write small embedded projects without using IDEs.

How can I define interrupt service routines under that?

I assume picolibc defines the ISRs using weak symbols that I can just override, but I can't find any documentation or examples. At least, what are the correct names to use?