#pragma once
#include <stddef.h>

/* A temporary file, to get the system compiling. */

size_t strlen(const char*);

unsigned char inb(unsigned short);

void outb(unsigned short, unsigned char);