cantrip: generate interface instead of irq threads

Change-Id: I438634b532d47dccbb51b1d65e03d13dda3e5b33

camkes/templates/component.common.rs

diff --git a/camkes/templates/component.common.rs b/camkes/templates/component.common.rs
index 3073d85..f994e91 100644
--- a/camkes/templates/component.common.rs
+++ b/camkes/templates/component.common.rs
@@ -296,14 +296,6 @@
     &CAMKES
 );
 /*- else -*/
-/*- if macros.interface_is_irq(t.interface, me) -*/
-static_irq_thread!(
-    /*name=*/ /*? t.interface.name ?*/,
-    /*tcb=*/ SELF_TCB_/*? t.interface.name.upper() ?*/,
-    /*ipc_buffer=*/ core::ptr::addr_of!(/*? macros.ipc_buffer_address(t.ipc_symbol, language='rust') ?*/),
-    &CAMKES
-);
-/*- else -*/
 /*# TODO: passive interface support #*/
 static_interface_thread!(
     /*name=*/ /*? t.interface.name ?*/,
@@ -312,7 +304,6 @@
     &CAMKES
 );
 /*- endif -*/
-/*- endif -*/
 /*- endfor -*/
 
 // Locks for synchronising startup. These are used during thread startup.