From abab0de9b041233090da73b358bd8737adc24582 Mon Sep 17 00:00:00 2001
From: Willian Galvani <williangalvani@gmail.com>
Date: Mon, 13 May 2024 21:12:17 -0300
Subject: [PATCH] core: kraken: add special case for 64bit kernel and 32bit
 userland for Pi5

---
 core/services/kraken/manifest/models.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/core/services/kraken/manifest/models.py b/core/services/kraken/manifest/models.py
index ca691d272e..87c61552fc 100644
--- a/core/services/kraken/manifest/models.py
+++ b/core/services/kraken/manifest/models.py
@@ -33,6 +33,9 @@ def from_machine() -> Optional["DockerPlatforms"]:
             case "x86_64" | "amd64":
                 return DockerPlatforms.AMD64
             case "aarch64" | "arm64":
+                # catch the case of 64 bit kernel with 32bit userland on Pi 5
+                if platform.architecture()[0] == "32bit":
+                    return DockerPlatforms.ARM_V7
                 return DockerPlatforms.ARM64
             case _:
                 return None