Hi Ole,
As far as I know , there is no guide about this so far.
Yes ,Configure the interrupt on KSDK need use the "fsl_clock_manager" .
This functions are all about the interrup :

About each function meaning ,you can double click them and then check the code.
When use them , directly drag and drop to the file .
Enable interrupt , check its IQR number , then use this
"static inline void INT_SYS_EnableIRQ(IRQn_Type irqNumber) "function .
Wish it helps you!
If you still have question, please contact me!
Alice