Add Raspberry Pi 3 64-bit target

diff --git a/Makefile.libretro b/Makefile.libretro
index 30ca4f3..e1ba947 100644 (file)
--- a/Makefile.libretro
+++ b/Makefile.libretro
@@ -339,6 +339,15 @@ else ifeq ($(platform), rpi3)
        BUILTIN_GPU = neon
        DYNAREC = ari64
 
+#Raspberry Pi 3 with a 64bit GNU/Linux OS
+else ifeq ($(platform), rpi3_64)
+       TARGET := $(TARGET_NAME)_libretro.so
+       ARCH := arm64
+       BUILTIN_GPU = unai
+       DYNAREC = lightrec
+       fpic := -fPIC
+       CFLAGS += -march=armv8-a+crc+simd -mtune=cortex-a53 -ftree-vectorize
+
 #Raspberry Pi 4 with a 32bit GNU/Linux OS
 else ifeq ($(platform), rpi4)
        TARGET := $(TARGET_NAME)_libretro.so