I'm currently working with an stm32f4-discovery and after doing some work on the board decided to switch back and see if I could get my program working in simulation. So far it looks like the simulator doesn't handle timer interrupts (tested by adding a basic timer and interrupt enable to the blinky example and it will fire on hardware but won't in simulation).
I can manually trigger timer interrupts using the NVIC peripheral window, but it would be nice to have it actually counting in simulation (if that's possible). My test has just been to use the example interrupt setup from http://amarkham.com/?p=29 with the blinky example. It does work in hardware, but not simulation.
So, does the simulator not fully implement timer interrupts or am I missing something in the simulator configuration?