From 670f76889bdd345cee1e8ec664c987878d2d8062 Mon Sep 17 00:00:00 2001
From: Trammell hudson <hudson@trmm.net>
Date: Thu, 8 Feb 2018 16:02:54 -0500
Subject: [PATCH] allow easier reconfig

---
 modules/linux | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/modules/linux b/modules/linux
index fe41cdea..7cf52929 100644
--- a/modules/linux
+++ b/modules/linux
@@ -128,3 +128,12 @@ $(build)/$(BOARD)/modules.cpio: linux.intermediate
 $(build)/$(BOARD)/bzImage: linux.intermediate
 $(build)/$(BOARD)/bzImage: $(linux_board_dir)/arch/x86/boot/bzImage
 	$(call do-copy,$<,$@)
+
+
+# menuconfig target allows us to easily reconfigure this Linux kernel
+linux.menuconfig:
+	$(MAKE) \
+		-C "$(build)/$(linux_dir)" \
+		O="$(linux_board_dir)" \
+		KCONFIG_CONFIG="$(pwd)/$(linux_kconfig)" \
+		menuconfig \