Quick fix for gcc update (needed for contracts and modules)

diff --git a/kernel/src/paging.hpp b/kernel/src/paging.hpp
index c6b78da9fd31338a4619d5ec13e6312c9e0c894e..6fba85fb8d8785b93fad43b30bcc8ebd894c0a0e 100644 (file)
--- a/kernel/src/paging.hpp
+++ b/kernel/src/paging.hpp
@@ -234,7 +234,7 @@ private:
        bool merge(phys_ptr<page> it);
 };
 
-template <std::size_t depth, std::size_t paging_depth = 3>
+template <std::size_t depth, std::size_t paging_depth>
 void map_page(paging_table<paging_depth>& paging_table, page<depth> const* vaddr, phys_ptr<page<depth>> paddr, decltype(paging_entry<depth>::page) page_info) {
        std::size_t const index = (std::uint64_t(vaddr) >> (12 + 9 * paging_depth)) & 0x1FF;
        if constexpr (depth == paging_depth) {