#pragma once

#include <stdint.h>

void scheduler(uint32_t *esp);