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.
Hi!
Thanks for providing the link.
Yes, sure, if there is such an interest from developers, then it should be useful.