print info about completed initialization of kernel's paging structures

1 files changed, 4 insertions, 0 deletions

diff --git a/paging.c b/paging.c
index 0de63b8..6560047 100644
--- a/paging.c
+++ b/paging.c
@@ -164,6 +164,10 @@ void setup_pager_structures(uint32_t available_mem)
     };
 
   first_free_section = kernel_sections_count;
+
+  puts("Initialized kernel's internal structures for paging");
+  prints("We have "); printdect(free_sections_count);
+  puts(" free sections left for use");
 }
 
 // return section number or CLAIM_FAILURE in case of failure