Add S4 Mini 64 bit
Change-Id: I280b62d81d510bd9c7e005ba2eef8ae5c73061d3
diff --git a/_devices/samsunggalaxys4mini64bit.markdown b/_devices/samsunggalaxys4mini64bit.markdown
new file mode 100644
index 0000000..5f7d9a5
--- /dev/null
+++ b/_devices/samsunggalaxys4mini64bit.markdown
@@ -0,0 +1,25 @@
+---
+layout: device
+title: "Samsung Galaxy S4 Mini 64 bit ONLY"
+codename: serranoveltexx
+downloadfolder: serranoveltexx
+supportstatus: Current
+maintainer: None
+oem: Samsung
+ddof: "/dev/block/platform/soc.0/by-name/recovery"
+devicetree: "https://github.com/TeamWin/android_device_samsung_serranoveltexx"
+---
+
+{% include disclaimer.html %}
+
+{% include supportstatus.html %}
+
+{% include appinstall.html %}
+
+{% include download.html %}
+
+{% include twrpinstall.html %}
+
+{% include odininstall.html %}
+
+{% include ddinstall.html %}