#include <types.h>
#include <userspace.h>

void begin_userspace()
{
	while(true) {

	}
}