/gcc/config/picochip/