Workflow

Add to, e.g., main loop in application C-file:

if (reset_interrupt_triggered) {
    /* Critical section to access a variable that is set in an IRQ. */
    cpu_irq_enter_critical();
    reset_interrupt_triggered = false;
    cpu_irq_leave_critical();
    
    puts("User Reset IRQ triggered. Press any console key for the menu\r");
}