From e3a19cb53b754600b05d30561f9ecfe71c2fcda8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pedro=20Gon=C3=A7alves?= <pedro@lsts.pt>
Date: Wed, 24 May 2017 17:03:27 +0100
Subject: [PATCH] mkdisk: add kernel file option on create_part_xboot.

---
 mkdisk.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mkdisk.bash b/mkdisk.bash
index b0e6fc2..f726842 100755
--- a/mkdisk.bash
+++ b/mkdisk.bash
@@ -70,7 +70,7 @@ create_part_xboot()
     nfo2 "Populating filesystem"
     cmd_mount vfat "$part_dev" || die
 
-    for f in MLO u-boot.img uEnv.txt; do
+    for f in MLO u-boot.img uEnv.txt kernel; do
         if [ -f "$cfg_sys_family/rootfs/boot/$f" ]; then
             nfo2 installing $f to boot partition
             cp "$cfg_sys_family/rootfs/boot/$f" mount || die