Enable psf font for framebuffer display

src/libs/stdio.cc

@@ -1,10 +1,9 @@
 #include "stdio.hpp"
-#include "drivers/framebuffer.hpp"
+#include "drivers/vga_t.hpp"
 #include "math.hpp"
 #include "string.hpp"
 
-extern VIDEO_STATE VS;
-void (*__putchar)(char)=putchar;
+void (*__putchar)(char)=vga_t_putchar;
 
 void printk(char *str,...) {
   u64 rsi,rdx,rcx,r8,r9;

src/libs/stdio.hpp

@@ -1,6 +1,6 @@
 #pragma once
 
-#include "drivers/framebuffer.hpp"
+#include "drivers/vga_t.hpp"
 
 /// @brief Current active framebuffer driver
 extern void (*__putchar)(char);

src/libs/string.cc

@@ -1,11 +1,15 @@
 #include "string.hpp"
+#include "core/paging.hpp"
 #include "math.hpp"
 
-void memcpy(void* src, void* dst, u32 size){
+void memcpy(void* src, void* dst, u64 size){
     u8 *c_src=(u8*)src;
     u8 *c_dst=(u8*)dst;
-    for(u32 i=0;i<size;i++)
+    for(u64 i=0;i<size;i++){
+        PAGING_MAP((c_dst+i));
+        PAGING_MAP((c_src+i));
         *(c_dst+i)=*(c_src+i);
+    }
 }
 
 void memset(void *dst, char value, u64 size){

src/libs/string.hpp

@@ -5,7 +5,7 @@
 /**
  * Copy data byte per byte from src to dst
  */
-void memcpy(void *src, void *dst, u32 size);
+void memcpy(void *src, void *dst, u64 size);
 
 void memset(void *dst, char value, u64 size);