/platforms/chibios/converters/elite_c_to_rp2040_ce/