MS counter

Have you defined a stack size for both high level and low level interrupts? 3096 bytes should be fine.

If that doesn’t work, try the following:

adl_irqConfig_t IRQintConfig;

    // Set IRQconfiguration
    IRQintConfig.PriorityLevel = 0;
    IRQintConfig.Enable = TRUE;
    IRQintConfig.Options = ADL_IRQ_OPTION_AUTO_READ;

    // Subscribes to the IRQ service - low level interrupt
    IrqHandle = adl_irqSubscribeExt(pfk_ExtIntHandler, ADL_IRQ_NOTIFY_LOW_LEVEL, &IRQintConfig);