This seems like it shouldn't be that difficult, since I've already been configuring the clocks for the KE06, but while trying to enable interrupts on port I, I've determined that simply reading from 0x40031000 causes a hard fault. System clock is 40 MHz, bus clock is 20 MHz, I've set GPIOC_PIDR = 0 to enable port I as inputs, but if I read or write to that register, I get a hard fault (vector 3). Is there something else I'm supposed to do enable the IRQ module?
