barebox: support deploying EFI image

Signed-off-by: Enrico Jorns <ejo@pengutronix.de>
bith3ad · Oct 13, 2017 · 9287b8f · 9287b8f
1 parent 6a37319
commit 9287b8f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/recipes-bsp/barebox/barebox.inc b/recipes-bsp/barebox/barebox.inc
@@ -88,6 +88,9 @@ do_deploy () {
 	if [ -e ${S}/barebox-flash-image ]; then
 		install -m 644 -t ${DEPLOYDIR}/ ${S}/barebox-flash-image
 	fi
+	if [ -e ${S}/barebox.efi ]; then
+		install -m 644 -t ${DEPLOYDIR}/ ${S}/barebox.efi
+	fi
 	for IMAGE in ${S}/images/*.img; do
 		if [ -e ${IMAGE} ]; then
 			BAREBOX_IMG_BASENAME=$(basename ${IMAGE} .img)${BAREBOX_IMAGE_SUFFIX}