flanterm PAGE FAULT, tries to access NULL or NULL+small offset

src/mem/paging/paging.c

@@ -187,6 +187,14 @@ void paging_init()
     }
     DEBUG("Mapped %u pages for framebuffer", page_count);
 
+    // test for flanterm
+    // When 10 pages are mapped, SOMETIMES (1 out of 50 times) it prints everything without problem!
+    // Other times it prints garbage (almost full cursors) and/or panics.
+/*     for (uint64_t i=0; i<10; i++)
+    {
+        paging_map_page(kernel_pml4, 0, kernel_phys_base+KERNEL_SIZE+i*PAGE_SIZE, PTE_WRITABLE);
+    } */
+
     // Finally, we load the physical address of our PML4 (root table) into cr3
     load_cr3(VIRT_TO_PHYS(kernel_pml4));
     DEBUG("cr3 loaded, we're still alive");