1 files changed, 17 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index b36aeb617bd2..11a850cffd3d 100644
--- a/Makefile
+++ b/Makefile
@@ -875,6 +875,21 @@ depend dep:
         @echo '*** Warning: make $@ is unnecessary now.'
 
 # ---------------------------------------------------------------------------
+# Kernel headers
+INSTALL_HDR_PATH=$(MODLIB)/abi
+export INSTALL_HDR_PATH
+
+PHONY += headers_install
+headers_install: include/linux/version.h
+        $(Q)unifdef -Ux /dev/null
+        $(Q)rm -rf $(INSTALL_HDR_PATH)/include
+        $(Q)$(MAKE) -rR -f $(srctree)/scripts/Makefile.headersinst obj=include
+
+PHONY += headers_check
+headers_check: headers_install
+        $(Q)$(MAKE) -rR -f $(srctree)/scripts/Makefile.headersinst obj=include HDRCHECK=1
+
+# ---------------------------------------------------------------------------
 # Modules
 
 ifdef CONFIG_MODULES
@@ -1048,6 +1063,8 @@ help:
         @echo  '  cscope          - Generate cscope index'
         @echo  '  kernelrelease   - Output the release version string'
         @echo  '  kernelversion   - Output the version stored in Makefile'
+        @echo  '  headers_install - Install sanitised kernel headers to INSTALL_HDR_PATH'
+        @echo  '                    (default: /lib/modules/$$VERSION/abi)'
         @echo  ''
         @echo  'Static analysers'
         @echo  '  checkstack      - Generate a list of stack hogs'