diff --git a/kernel/arch/i386/memory.c b/kernel/arch/i386/memory.c
index 884047b2f..c5eb9de6e 100644
--- a/kernel/arch/i386/memory.c
+++ b/kernel/arch/i386/memory.c
@@ -123,7 +123,6 @@ PUBLIC void vm_init(struct proc *newptproc)
 		PTR = I386_BIG_PAGE_SIZE*PDE + offset;			\
 		REMAIN = MIN(REMAIN, I386_BIG_PAGE_SIZE - offset); 	\
 		if(1 || mustinvl) {					\
-			FIXME("unconditional reload");			\
 			level0(reload_cr3); 				\
 		}							\
 	}								\
diff --git a/kernel/proc.c b/kernel/proc.c
index 7b9250173..24289c5e7 100755
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -108,8 +108,6 @@ PRIVATE int QueueMess(endpoint_t ep, vir_bytes msg_lin, struct proc *dst)
 			}
 		}
 	}
-#else
-	FIXME("in-memory process copy");
 #endif
 
 	PHYS_COPY_CATCH(msg_lin, vir2phys(&dst->p_delivermsg), sizeof(message), addr);