If I am looking at the code correctly this might be a problem with the num_interrupts_out set in the driver. The num_interrupt_in is set to NUM_DONT_CARE but the other field will be automatically set to 0. Since you can test compile yourself, could you make the following change to kobil_sct.c? Let me know whether this helps.
If I am looking at the code correctly this might be a problem with the num_interrupts_out set in the driver. The num_interrupt_in is set to NUM_DONT_CARE but the other field will be automatically set to 0. Since you can test compile yourself, could you make the following change to kobil_sct.c? Let me know whether this helps.