create_uboot: support for hw_usb_armory

The platform name 'hw_usb_armory' targets Genode scenarios with base-hw
as kernel and the Inversepath USB-Armory as target hardware.

Ref #1497
This commit is contained in:
Martin Stein 2015-11-13 13:35:22 +01:00 committed by Christian Helmuth
parent 640b73f5ec
commit 0b39b22e14
1 changed files with 9 additions and 1 deletions

View File

@ -19,12 +19,13 @@ help:
$(ECHO)
$(ECHO) " <platform> can be:"
$(ECHO) " 'hw_wand_quad'"
$(ECHO) " 'hw_usb_armory'"
$(ECHO)
$(ECHO) " The image will be located at:"
$(ECHO) " $(UBOOT_BUILD_DIR)<platform>/$(shell basename $(MMC_IMG))"
$(ECHO)
PLATFORMS_ARM := hw_wand_quad
PLATFORMS_ARM := hw_wand_quad hw_usb_armory
PLATFORMS := $(PLATFORMS_ARM)
# get targeted platform based on the make target
@ -76,6 +77,13 @@ FINISH_IMAGE := \
dd if=$(UBOOT_IMG) of=$(MMC_IMG) bs=1k seek=68 conv=notrunc,fsync;
endif
ifeq ($(PLATFORM), hw_usb_armory)
UBOOT_IMG := $(UBOOT_BUILD_DIR)/u-boot.imx
UBOOT_IMGS := $(UBOOT_IMG)
UBOOT_CONF := usbarmory_config
FINISH_IMAGE := dd if=$(UBOOT_IMG) of=$(MMC_IMG) bs=512 seek=0 conv=fsync
endif
#
# Generic rules for the creation of the image
#