1 files changed, 5 insertions, 0 deletions

diff --git a/src/task.c b/src/task.c
index 4d237bd..2f825ee 100644
--- a/src/task.c
+++ b/src/task.c
@@ -60,6 +60,11 @@ int create_rt_task(rt_fn_t rt_prog, void *arg, int cpu, int wcet, int period) {
         return __create_rt_task(rt_prog, arg, cpu, wcet, period, RT_CLASS_HARD);
 }
 
+int create_rt_task_semi(rt_fn_t rt_prog, void *arg, struct rt_task *params)
+{
+        return __launch_rt_task(rt_prog, arg,
+                        (rt_setup_fn_t) set_rt_task_param, params);
+}
 
 #define SCHED_NORMAL 0
 #define SCHED_LITMUS 6