#ifndef STDLIB_H
#define STDLIB_H


#include <types.h>
#include <mm/mm.h>
#include <stdio.h>
#include <string.h>

void sleep(uint64_t millis);

#endif