aboutsummaryrefslogtreecommitdiff
path: root/kapi/CMakeLists.txt
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2025-12-12 17:41:26 +0100
committerFelix Morgner <felix.morgner@ost.ch>2025-12-12 17:41:26 +0100
commit2846867da7e88c3a665d0a8bed6ccec60e6476a1 (patch)
tree3c0263e7471ee58707868e466d9f05ae58ce3b68 /kapi/CMakeLists.txt
parent4bf9eded3a5d6b007ba79a5716143fa8b3a5aaf6 (diff)
downloadteachos-2846867da7e88c3a665d0a8bed6ccec60e6476a1.tar.xz
teachos-2846867da7e88c3a665d0a8bed6ccec60e6476a1.zip
build: move platform configuration to preset
Diffstat (limited to 'kapi/CMakeLists.txt')
-rw-r--r--kapi/CMakeLists.txt6
1 files changed, 6 insertions, 0 deletions
diff --git a/kapi/CMakeLists.txt b/kapi/CMakeLists.txt
index e513dba..5e914bb 100644
--- a/kapi/CMakeLists.txt
+++ b/kapi/CMakeLists.txt
@@ -26,3 +26,9 @@ target_link_libraries("kapi" INTERFACE
"gcc"
"stdc++"
)
+
+target_compile_definitions("kapi" INTERFACE
+ "PLATFORM_PAGE_SIZE=${TEACHOS_PLATFORM_PAGE_SIZE}uz"
+ "PLATFORM_PAGING_LEVELS=${TEACHOS_PLATFORM_PAGING_LEVELS}uz"
+ "PLATFORM_FRAME_SIZE=${TEACHOS_PLATFORM_FRAME_SIZE}uz"
+)