However, the example 3rd party compiler is also a GCC compiler.
I have not been successful in setting up the ARM DS-5 compiler for Zephyr using this information, but there was a rumour that the Zephyr project was working on built-in support for ARM DS-5.