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

On Sun, Mar 13, 2011 at 10:46 AM, Jimi Xenidis jimix@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.