From a9964309ac1d86bd78fec5e5e6465abd60d995e9 Mon Sep 17 00:00:00 2001
From: Frans de Jonge <fransdejonge@gmail.com>
Date: Sat, 15 Dec 2018 10:23:51 +0100
Subject: [PATCH] [Android] OTA: Differentiate architectures (#4402)

This seems like a good thing to have. However, Android OTA seems to be broken due to some permission issue.
---
 frontend/ui/otamanager.lua | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/frontend/ui/otamanager.lua b/frontend/ui/otamanager.lua
index 5e883c541..e59eb2f7f 100644
--- a/frontend/ui/otamanager.lua
+++ b/frontend/ui/otamanager.lua
@@ -44,8 +44,14 @@ local ota_channels = {
     nightly = _("Development"),
 }
 
+-- "x86", "x64", "arm", "arm64", "ppc", "mips" or "mips64".
+local arch = jit.arch
+
 function OTAManager:getOTAModel()
     if Device:isAndroid() then
+        if arch == "x86" then
+            return "android-x86"
+        end
         return "android"
     elseif Device:isCervantes() then
         return "cervantes"