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

[Timur Tabi]

On Sun, Mar 13, 2011 at 10:46 AM, Jimi Xenidis <jimix at watson.ibm.com> wrote:

> Turns out that TSR[DIS] was on when my program took over, and this is ePAPR legal.
> I need to reset the DEC in my code.

I wonder if it should be legal.  What value does it have to leave a
pending decrementer interrupt when booting the OS?  That just forces
every OS to program the decrementer and clear DIS before enabling
interrupts.

-- 
Timur Tabi
Linux kernel developer at Freescale