[ECOS] 80312 hal support for Intel XScale board

[Mark Salter]

>>>>> Richard Wicks writes:

> Hello,
> I think I've found some bugs with the hal support with the Intel XScale board.

...

> According to the documentation* of the 80312 chip, in section 6.8.5 this 
> UNmasks the interrupt rather than masking it.  There is a similar problem 
> with hal_interrupt_unmask.  In fact, I think nearly all calls to 
> hal_interrupt_mask() actually unmask the interrupt and nearly all calls to 
> hal_interrupt_unmask() actually mask the interrupt.

Looks like you're right. The only interrupts that we've tested are the
ethernet and serial.

--Mark