#ifndef TASKING_HPP
#define TASKING_HPP

#include "idt.hpp"

void tasking_initialize();
bool tasking_spawn(void (*entry)(), unsigned ssize);

void schedule(Registers& regs);

#endif // TASKING_HPP