Extend support to show all available kernels for uefi-arm64 family (#221)

This commit is contained in:
Igor
2024-06-17 14:21:55 +02:00
committed by GitHub
parent 09987e20f0
commit 57030d444b

View File

@@ -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