Hi, Lukas
Regarding your question, can you track the line which leads to the hard-fault event in your code?
Anyway, if you want to configure the pin, you have to enable the IOCON bit in AHBCLKCTRL0 register. You can use the line:
SYSCON_NS->AHBCLKCTRL.AHBCLKCTRL0|=1<<13;
If you use the FlexCOMMx module, you have to enable the gated clock as above in the AHBCLKCTRL1 reg.
If you use interrupt mechanism in non-security world, you have to write the NVIC-ITNSx register in ONLY security world.
I attach a doc, hope it can help you
BR
XiangJun Rong