Index: src/mm/vm.c
===================================================================
--- src/mm/vm.c	(revision 9c0a9b3057ce928cdefd80ab4215be954d01adb1)
+++ src/mm/vm.c	(revision 3de9e5ea4eb09f92326501d4c5c77977cd08ffcb)
@@ -67,6 +67,4 @@
 			src_ptl0 = (pte_t *) PA2KA((__address) GET_PTL0_ADDRESS());
 			dst_ptl0 = (pte_t *) frame_alloc(FRAME_KA | FRAME_PANIC);
-//			memsetb((__address) dst_ptl0, PAGE_SIZE, 0);
-//			memcopy((__address) &src_ptl0[KAS_START_INDEX], (__address) &dst_ptl0[KAS_START_INDEX], KAS_INDICES*sizeof(pte_t));
 			memcopy((void *)PA2KA((__address) dst_ptl0), (void *)GET_PTL0_ADDRESS() , PAGE_SIZE);
 			m->ptl0 = (pte_t *) KA2PA((__address) dst_ptl0);