[ECOS] interrupt_end() - non-kernel configurations

[Frank Rolsted Jensen (FRJ)]

I wonder why interrupt_end() isn't called for non-kernel configurations.

Interrupt_end() is implemented in drv_api.c (for non-kernel conf.), but it's
not called from vector.c (as CYGFUN_HAL_COMMON_KERNEL_SUPPORT is not
defined).

I'm making device drivers to be used in kernel- as well as non-kernel
configurations.

Frank Rolsted Jensen
Thrane&Thrane