The naked attribute seems to be causing the problem. We always recommend use of ctl_set_isr so that regular functions can be used as interrupt handlers. I guess you can’t do this with FreeRTOS interrupt handlers? I need to do some research on FreeRTOS interrupt handlers to see if I can work out a way of avoiding naked functions.