From 15893d7df3c4294ace78c5b4cdfc4ac13dc52b66 Mon Sep 17 00:00:00 2001
From: Vanfanel <redwindwanderer@gmail.com>
Date: Sat, 7 Nov 2020 16:05:28 +0100
Subject: [PATCH] Add Rpi4 platform in 64bit mode.

---
 Makefile.libretro | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/Makefile.libretro b/Makefile.libretro
index 797ee07c..87b35f75 100644
--- a/Makefile.libretro
+++ b/Makefile.libretro
@@ -288,7 +288,7 @@ else ifeq ($(platform), rpi3)
 	BUILTIN_GPU = neon
 	DYNAREC = ari64
 
-#Raspberry Pi 4
+#Raspberry Pi 4 with a 32bit GNU/Linux OS
 else ifeq ($(platform), rpi4)
 	TARGET := $(TARGET_NAME)_libretro.so
 	fpic := -fPIC
@@ -299,6 +299,15 @@ else ifeq ($(platform), rpi4)
 	BUILTIN_GPU = neon
 	DYNAREC = ari64
 
+#Raspberry Pi 4 with a 64bit GNU/Linux OS
+else ifeq ($(platform), rpi4_64)
+        TARGET := $(TARGET_NAME)_libretro.so
+        ARCH := arm64
+        BUILTIN_GPU = unai
+        DYNAREC = lightrec
+        fpic := -fPIC
+        CFLAGS += -march=armv8-a+crc+simd -mtune=cortex-a72 -ftree-vectorize
+
 # Classic Platforms ####################
 # Platform affix = classic_<ISA>_<µARCH>
 # Help at https://modmyclassic.com/comp
-- 
2.39.5