diff options
-rw-r--r-- | paging.c | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |