Files
firmware/arch/rp2040/rp2040.ini