From 207c985792a515d9c5a980d67ba8742fcd1e8518 Mon Sep 17 00:00:00 2001
From: Rob Landley <rob@landley.net>
Date: Mon, 8 Apr 2024 05:55:35 -0500
Subject: [PATCH] Build armv4l kernel.

Could use a -cpu flag and .config tweak, but runs for now.
---
 mkroot/mkroot.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mkroot/mkroot.sh b/mkroot/mkroot.sh
index 09ef14ea..cb6a78f9 100755
--- a/mkroot/mkroot.sh
+++ b/mkroot/mkroot.sh
@@ -197,7 +197,7 @@ get_target_config()
   # Each target needs board config, serial console, RTC, ethernet, block device.
 
   KARGS=ttyS0 VMLINUX=vmlinux
-  if [ "$CROSS" == armv5l ]; then
+  if [ "$CROSS" == armv5l ] || [ "$CROSS" == armv4l ]; then
     # This could use the same VIRT board as armv7, but let's demonstrate a
     # different one requiring a separate device tree binary.
     KARCH=arm KARGS=ttyAMA0 VMLINUX=arch/arm/boot/zImage
-- 
2.39.2