in GCC/MSP430FR5969/port.c [239:243]
void vPortEndScheduler( void ) { /* It is unlikely that the MSP430 port will get stopped. If required simply disable the tick interrupt here. */ }