@ -138,9 +138,8 @@ int task_spawn(const char *name, int scheduler, int priority, int stack_size, ma
@@ -138,9 +138,8 @@ int task_spawn(const char *name, int scheduler, int priority, int stack_size, ma
param.sched_priority=priority;
sched_setscheduler(pid,scheduler,¶m);
/* XXX do any other private task accounting here */
/* XXX do any other private task accounting here before the task starts */