From 3ae74c837b0667ee04907c264062fd7a24182536 Mon Sep 17 00:00:00 2001
From: Amelia Coutard <eliottulio.coutard@gmail.com>
Date: Tue, 12 Dec 2023 15:48:08 +0100
Subject: [PATCH] Quick fix for gcc update (needed for contracts and modules)

---
 kernel/src/paging.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/src/paging.hpp b/kernel/src/paging.hpp
index c6b78da..6fba85f 100644
--- 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) {
-- 
2.47.0