gcc/libgcc/config/picochip
..
t-picochip