I just took a look at a disassembly of the RISC/OS firmware for my Magnum.
Unfortunately, it didn't seem to access the interval timer at all, so I didn't
find any insight there.

What I'm wondering is if anyone on the list is running RISC/OS on a Magnum 4000?
I'd be really curious to do a disassembly of the kernel, or maybe even have a
look at the include files to see if I can find out anything more about INT4's.

Still no word from Mips on documentation...

Cheers,
-Mark