I use make+gcc to build applications for Silicon Labs EFM32GG MCUs. Among these are ones that include the RTX RTOS. I've written up a short summary of how I do it, and thought it may be of interest to some folks on here:
https://github.com/tobermory/RTX-make-gcc