From 57030d444bab9333dc4fe70030287e988651a1e4 Mon Sep 17 00:00:00 2001
From: Igor <igor@armbian.com>
Date: Mon, 17 Jun 2024 14:21:55 +0200
Subject: [PATCH] Extend support to show all available kernels for uefi-arm64
 family (#221)

---
 debian-config-functions | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian-config-functions b/debian-config-functions
index 925ea1f..4ee756d 100644
--- a/debian-config-functions
+++ b/debian-config-functions
@@ -446,6 +446,7 @@ function other_kernel_version ()
 	[[ ${LINUXFAMILY} == odroidn2 ]] && LINUXFAMILY=meson64
 	[[ ${BOARDFAMILY} == rk3399 ]] && LINUXFAMILY="((current|edge)-rockchip64|legacy-rk3399)"
 	[[ ${LINUXFAMILY} == rk35xx || ${BOARDFAMILY} == rockchip-rk3588 ]] && LINUXFAMILY="((current|edge|collabora)-rockchip-rk3588|vendor-rk35xx|legacy-rk35xx)"
+	[[ ${LINUXFAMILY} == arm64 ]] && LINUXFAMILY="(legacy|current|edge)-arm64"
 
 	# check what is available from the repository
 	debconf-apt-progress -- apt-get update