drc: only use 64kb aligned tcache_default if on arm linux

irixxxx · Mar 18, 2024 · 0ef1674 · 0ef1674
1 parent c87e36d
commit 0ef1674
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cpu/drc/cmn.c b/cpu/drc/cmn.c
@@ -10,7 +10,7 @@
 #include <pico/pico_int.h>
 #include "cmn.h"
 
-#if defined(__aarch64__) || defined(__VFP_FP__)
+#if defined(__linux__) && (defined(__aarch64__) || defined(__VFP_FP__))
 // might be running on a 64k-page kernel
 #define PICO_PAGE_ALIGN 65536
 #else