We can't disable the DEC that easily as it's the primary timer
source of the kernel ;)

The performance timers can fully take its place if necessary, I think :)


Segher


** Sent via the linuxppc-dev mail list. See http://lists.linuxppc.org/