I am starting development of a project with the Tiva C series TM4c1294 launchpad. I see there is an example RTOS project for the board under the “sensor_iot” project. There is also a “free_rtos” demo on the tm4c123 launchpad. From what I can tell, the two projects link to the same freertos source files within the tivaware install directory. When reading the “porting a freertos demo” page, it makes me believe there should be minute differences between the two projects, as they run on the same family of processors but slightly different processors. How are the projects differentiating the two? I am trying to understand what parameters are actually different. I would like to use the free_rtos demo to start, as it is significantly less complicated, but I want to run it on the TM4C1294 launchpad.