Enable .bss zeroing and improve paging

1 files changed, 6 insertions, 1 deletions

diff --git a/src/bringelle.c b/src/bringelle.c
index b0ddec6..e29ffc5 100644
--- a/src/bringelle.c
+++ b/src/bringelle.c
@@ -27,6 +27,11 @@ void bringelle(){
   print("Paging enable!\n");
   print("Kernel started !");
 
+  paging_allocate(5);
+  print("\n");
+  paging_dump(1024,-1);
+  print("\n");
+
   show_tics=1;
   // Utask
   print("Launch user task ");
@@ -54,6 +59,7 @@ void bringelle(){
   while(1);
 }
 
+
 void clock(){
   static int tic=0;
   static int sec=0;
@@ -66,7 +72,6 @@ void clock(){
   }
 }
 
-
 void page_fault(){
   print("Page fault!");
 }