#include "context.h"

struct context *cur_cx;

struct context kernel_cx;

void context_init(struct context *cx) {
	cx->pd = 0;
	cx->vmalloc_addr = 0x40000000; // start at 1GB mark
}