Index: src/main/main.c
===================================================================
--- src/main/main.c	(revision f761f1eb635bfe9a5deaf70a0f0a51aa8d2f5f22)
+++ src/main/main.c	(revision 26a8604ffcf3def1cb5904b8685f2247210e04fc)
@@ -47,4 +47,5 @@
 #include <mm/frame.h>
 #include <mm/page.h>
+#include <mm/tlb.h>
 #include <synch/waitq.h>
 
@@ -111,4 +112,5 @@
 	frame_init();
 	page_init();
+	tlb_init();
 
 	#ifdef __SMP__