Building the RTX RTOS with gcc/make

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

More questions in this forum