core/sched: clean up
- remove stray spaces - remove TODOs: - MODULE_HWTIMER is not a module anymore - checking for NULL is necessary, at least without API changes: `sched_task_exit` sets `sched_active_thread` to `NULL`, then exits, afterwards `cpu_switch_context_exit` calls `sched_run`dev/timer
parent
61f405edaa
commit
9cabdb3043
Loading…
Reference in New Issue