information on interrupt thread convention

[Jason Phillips]

I not if i suppose to have one, I assuming the l4 kernel take care
 of it for me since it is a interrupt, because interrupt thread is kernel 
property. should there be a IPC to the interrupt thread?