From 84d16648d81d551ebe78276959e88e8771766a21 Mon Sep 17 00:00:00 2001
From: Sparchatus <sparchatus@sparchatus.ch>
Date: Thu, 31 Mar 2022 10:53:05 +0000
Subject: [PATCH] Fix kernel bug reported in Q&A forum

https://moodle-app2.let.ethz.ch/mod/forum/discuss.php?d=100366
---
 kernel/arch/armv8/paging.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/arch/armv8/paging.c b/kernel/arch/armv8/paging.c
index a59d818..c6a9461 100644
--- a/kernel/arch/armv8/paging.c
+++ b/kernel/arch/armv8/paging.c
@@ -534,7 +534,7 @@ caps_map_l3(struct capability* dest,
     }
 
     // check offset within frame
-    if ((offset + BASE_PAGE_SIZE > get_size(src)) ||
+    if ((offset + pte_count * BASE_PAGE_SIZE > get_size(src)) ||
         ((offset % BASE_PAGE_SIZE) != 0)) {
         return SYS_ERR_FRAME_OFFSET_INVALID;
     }