#ifndef KSCHEDULER_H
#define KSCHEDULER_H

#include <stdint.h>

void init_scheduler();

int create_task(uint32_t entry_point, uint32_t cr3);

void sleep(uint32_t ticks);
void yield();

#endif