Hello Josh,
From your this words "(it forces you to use kinetis sdk)" , if you want use PE without SDK, you can update a patch (KV3x |Kinetis KV3x BLCD MCUs|Freescale) in KDS. (update step you can refer to the document of attchment , the "Updating Offline" part ).
This patch:

After updated , when you create project chose like this :

And i will continue check the interrupt files of SDK .
Best Regards
Alice
------------------------------------------------------------------------------------------
If this post answers your question, please click the Correct Answer button.
-----------------------------------------------------------------------------------
If this post help your question, please click the helpful Answer button.