[ECOS] Enable EDB7xxx interrupts

[Trenton D. Adams]

> 
> Did you use the create_interrupt() mechanism to attach to 
> this interrupt? If not, the system will see it, treat it as 
> spurious and simply clear and ignore it.

I do the following in cyg_user_start ()
    cyg_interrupt_enable ();
    cyg_interrupt_create (CYGNUM_HAL_INTERRUPT_EINT1, 99, 0,
        InterruptHandler, 0, &hIntr, &intr);
    cyg_interrupt_attach (hIntr);
    cyg_interrupt_acknowledge(CYGNUM_HAL_INTERRUPT_EINT1);
    cyg_interrupt_unmask(CYGNUM_HAL_INTERRUPT_EINT1);

Inside InterruptHandler () I do the following
    cyg_interrupt_mask (CYGNUM_HAL_INTERRUPT_EINT1);
    cyg_interrupt_acknowledge (CYGNUM_HAL_INTERRUPT_EINT1);
    printf ("Interrupt Occured");
    cyg_interrupt_unmask (CYGNUM_HAL_INTERRUPT_EINT1);

Then I have a thread that continuously prints out the PCMCIA controller
interrupt information.

Anyhow, the printf () in the interrupt handler never occurs.  What could
be wrong?