#include "mm.h"

pagedirectory_t page_directory __attribute__ ((aligned (4096)));