I've been struggling to get the timer interrupt working on the 28-x1 chip.
This is the code I have used:
settimer t1s_4
setintflags %10000000,%10000000 ‘ enable timer interrupt
main: pause 1000 ‘ wait 1 seconds
high 0 ‘ Turn LED on
pause 1000 ‘ Wait 1 second...