Index: arch/ia32/src/mm/page.c
===================================================================
--- arch/ia32/src/mm/page.c	(revision 11485decd94f4332ebe6669f9ed7272dcef168d3)
+++ arch/ia32/src/mm/page.c	(revision b07769b60d28ebef7ed6f9ae8366f444e8ecc7fa)
@@ -37,13 +37,4 @@
 #include <synch/spinlock.h>
 #include <debug.h>
-
-/*
- * Note.
- * This is the preliminary code for controlling paging mechanism on ia32. It is
- * needed by other parts of the kernel for its ability to map virtual addresses
- * to physical. SMP code relies on this feature. Other than that, this code is
- * by no means meant to implement virtual memory in terms of swapping pages in
- * and out.
- */
 
 __address bootstrap_dba;