/os/common/ports/ARMCMx/compilers/GCC/mk/
../
port_v6m.mk
port_v7m.mk