Interrupt handling for CC430

Hello,

I am trying to add the radio module from the CC430 to RIOT OS and I would like to know how I should handle hardware interrupts.

Is there a proper way to do it, as in is there a specific file that I should modify, or writing my own handler in my own file is enough?

Another question is, should I manage semaphore on the radio module on my end or let the user manage concurrent access on their own?

Thanks in advance,

Baptiste Cartier