We are running a survey to help us improve the experience for all of our members. If you see the survey appear, please take the time to tell us about your experience if you can.
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