Allow easy installation of perf

diff --git a/build/Makefile b/build/Makefile
index 0151c0777cc5b3720e91dec98fc3726fafe005fb..cd3f0c604b95ccbc34a639f15c4b3f1ac63e0758 100644 (file)
--- a/build/Makefile
+++ b/build/Makefile
@@ -58,6 +58,12 @@ jailhouse-install-remote: jailhouse-install
 kernel-4.4/vmlinux:
        $(MAKE) -C $(@D) -j$(NPROC)
 
+kernel-4.4/vmlinux/tools/perf/perf: kernel-4.4/vmlinux
+       $(MAKE) -C kernel-4.4 tools/perf
+
+perf-install: kernel-4.4/tools/perf/perf
+       cp $^ $(DESTDIR)/bin
+
 linux_install: kernel-4.4/vmlinux
        install -m644 -D kernel-4.4/arch/arm64/boot/Image $(DESTDIR)/boot/Image-prem