Hi,Lance,
Regarding your question, there is a DOC for the SDK1.3, pls read the "Kinetis SDK v.1.3 API Reference Manual.pdf ", located at:D:\Freescale\KSDK_1.3.0\doc
Regarding your question about the "an event handler for faults on the PWM / timer peripheral", in the SDK1.3 tools, there is not any event handler for FTM which is called in the ISR. The SDK1.3 define the void FTM_DRV_IRQHandler ( uint32_t instance ) function, as you know there is only one interrupt vector for each FTM module, you have to check the interrupt source and write corresponding code in the above function.
BR
Xiangjun Rong