#ifndef _SCHEDULER_H
#define _SCHEDULER_H


#include <drivers/irq.h>

#include <types.h>

typedef struct task {
  registers_t* regs; /* saved interrupt frame */
  uint32_t     id;
  struct task* next;
} task_t;

void init_scheduler(void);

registers_t* schedule(registers_t* regs);

task_t* create_task(void (*entry)());

#endif