I have updated my github project on building the RTX RTOS using gcc and make to bring it up to date with the CMSIS_5 release version 5.8.0, which contains RTX sources tagged 5,5,3.
https://github.com/tobermory/RTX-make-gcc
I see the occasional request for RTX builds with gcc (and sometimes cmake) and hopefully this might be of use.