make: install the firmware as well on "make install"

Simply copy the firmware using cp. There might be a nicer way
using the firmware_install stuff from the Linux kernel.

Signed-off-by: Henning Schild <henning.schild@siemens.com>
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>

diff --git a/Makefile b/Makefile
index ec8683736b595ee20d3b87807a5583f668a97444..67dc1a0785ef0234c77a03fb1ed96ed5cea04d51 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -26,7 +26,10 @@ KERNELDIR = /lib/modules/`uname -r`/build
 modules modules_install clean:
        $(MAKE) -C $(KERNELDIR) SUBDIRS=`pwd` $@
 
-install: modules_install
+firmware_install:
+       cp hypervisor/jailhouse.bin /lib/firmware/
+
+install: modules_install firmware_install
        depmod -aq
 
-.PHONY: modules_install install clean
+.PHONY: modules_install install clean firmware_install