Hello,
I developed a simple example that shows you how to restart MQX. The example set the LED1 waits for 1 second in the TWR-K60N512. Then the MQX is restarted with the softreset. Following you will find the source code:
void Main_task(uint_32 initial_data)
{
LWGPIO_STRUCT led1;
printf("\n Prendiendo LED1 \n");
lwgpio_init(&led1, BSP_LED1, LWGPIO_DIR_OUTPUT, LWGPIO_VALUE_NOCHANGE);
lwgpio_set_functionality(&led1, BSP_LED1_MUX_GPIO);
lwgpio_set_value(&led1, 0);
_time_delay(1000);
SCB_AIRCR = SCB_AIRCR_VECTKEY(0x5FA) | SCB_AIRCR_SYSRESETREQ_MASK;
// while(1)
// {};
// _mqx_exit(0);
}