I've managed to generate IRQs using the timer model and v6 core in the past. To do this I had to edit two of the RVISS config files (v6armiss.dsc and perioherals.dsc). There maybe a better way of doing this, but this approach worked for me.I can send you my config files if you wish.