From 3e42381f8253926189eb8df2677b03c790d5660a Mon Sep 17 00:00:00 2001
From: Romain TISSERAND <romain.tisserand@gmail.com>
Date: Tue, 2 Nov 2021 10:55:17 +0100
Subject: [PATCH] Add Raspberry Pi 3 64-bit target

---
 Makefile.libretro | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/Makefile.libretro b/Makefile.libretro
index 30ca4f3e..e1ba9474 100644
--- 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
-- 
2.39.5