diff --git a/arch/arm/cpu/mmu_64.c b/arch/arm/cpu/mmu_64.c
index 8355a4c..d5a3d22 100644
--- a/arch/arm/cpu/mmu_64.c
+++ b/arch/arm/cpu/mmu_64.c
@@ -220,6 +220,7 @@
 	for_each_memory_bank(bank)
 		create_sections(bank->start, bank->start, bank->size, CACHED_MEM);
 
+	/* Make zero page faulting to catch NULL pointer derefs */
 	create_sections(0x0, 0x0, 0x1000, 0x0);
 
 	mmu_enable();