From: kub <derkub@gmail.com>
Date: Mon, 18 Mar 2024 18:40:01 +0000 (+0100)
Subject: drc: only use 64kb aligned tcache_default if on arm linux
X-Git-Tag: v2.00~89
X-Git-Url: https://notaz.gp2x.de/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0ef1674dd1757f3be0109e121a1461fd2602b68b;p=picodrive.git

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

diff --git a/cpu/drc/cmn.c b/cpu/drc/cmn.c
index b0b7308f..65ffd043 100644
--- 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