[U-Boot] p4080ds starts OS with MSR[EE]=1 and DEC armed?

[Scott Wood]

On Tue, 15 Mar 2011 16:16:39 -0500
Jimi Xenidis <jimix at pobox.com> wrote:

> That is true for "server" and "classic" because they do not necessarily stop at 0.
> for embedded you can just:
> 	/* u-boot leaves decrementer enabled */
> 	mtspr(SPRN_DECAR, 0); /* paranoia */
> 	mtspr(SPRN_DEC, 0);
> 	mtspr(SPRN_TCR, 0);
> 	mtspr(SPRN_TSR, 0);
> 
> And there is no way in hell any timer will go off, right?

Ah, right.  Forgot it stopped at zero.

-Scott