build: Build and install a Linux image.

1 files changed, 16 insertions, 0 deletions

diff --git a/build b/build
index 1a99618..3482e25 100755
--- a/build
+++ b/build
@@ -2,12 +2,28 @@
 
 include ../source.mk
 
+KBUILD_ARCH = $$(oh-architecture "$${OPK_HOST_ARCH}")
+
 nop:
 	@:
 
 build:
+	set -e; \
+	if [ 'x$(OPK_HOST_PLAT)' != 'xdev' ]; then \
+		read img_src img_dest <image; \
+		oh-autobuild -T mrproper; \
+		oh-autobuild -T "$${img_src}" -- -j "$${JOBS:-1}"; \
+	fi
 
 install:
+	set -e; \
+	if [ 'x$(OPK_HOST_PLAT)' != 'xdev' ]; then \
+		read img_src img_dest <image; \
+		install -D "src/arch/$${KBUILD_ARCH}/boot/$${img_src}" \
+			linux-image.data/boot/$${img_dest}; \
+		install -D src/System.map \
+			linux-sysmap.data/boot/System.map; \
+	fi
 	oh-autoinstall -T headers_install -- INSTALL_HDR_PATH="$${PWD}/dest/usr"
 	find dest/usr/include \
 		\( -name .install -o -name ..install.cmd \