From ce41dbb1e0200e1cb2c5a024bb7e7f84961edebc Mon Sep 17 00:00:00 2001
From: Helmut Grohne <helmut@subdivi.de>
Date: Sat, 21 Jan 2023 08:17:57 +0100
Subject: debvm-create: try rpi kernel for armel

marvell seems deprecated. Suggested by Jochen Sprickerhof.
---
 share/customize-kernel.sh | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'share')

diff --git a/share/customize-kernel.sh b/share/customize-kernel.sh
index 79a7449..4fe5974 100755
--- a/share/customize-kernel.sh
+++ b/share/customize-kernel.sh
@@ -18,6 +18,9 @@ ARCHITECTURE=$(cat "$TARGET/var/lib/dpkg/arch")
 
 KERNEL_ARCH="$ARCHITECTURE"
 case "$ARCHITECTURE" in
+	armel)
+		KERNEL_ARCH=rpi
+	;;
 	armhf)
 		KERNEL_ARCH=armmp
 	;;
-- 
cgit v1.2.3