path: root/kernel/sched/include/sched/idle.h

#ifndef IDLE_H
#define IDLE_H

void idle_entry(char args);

#endif