From 2846867da7e88c3a665d0a8bed6ccec60e6476a1 Mon Sep 17 00:00:00 2001 From: Felix Morgner Date: Fri, 12 Dec 2025 17:41:26 +0100 Subject: build: move platform configuration to preset --- kapi/CMakeLists.txt | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'kapi') 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" +) -- cgit v1.2.3