Hello Eduardo:
Your observation is correct. Right now PEx + KSDK does not generate ISR functions. If you open one of the KSDK examples (C:\Freescale\KSDK_1.0.0\demos) you will see that the interrupt functions are declared in a fsl_xxx_irq.c file, where xxx is the module. In your case you need to add or copy the file fsl_gpio_irq.c from (C:\Freescale\KSDK_1.0.0\platform\drivers\gpio) to your project.
By the way, I think this will be improved in the next release of PEx for KSDK and the interrupt handlers will be included automatically in Events.c as you suggested.
Regards!,
Jorge Gonzalez
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------