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:

More questions in this forum