Add LITMUS^RT directory

Hookup litmus/ with kernel and add extra version.

5 files changed, 12 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index f8349d0ca14c..9cc1a91ceefe 100644
--- a/Makefile
+++ b/Makefile
@@ -733,7 +733,7 @@ export mod_sign_cmd
 
 
 ifeq ($(KBUILD_EXTMOD),)
-core-y          += kernel/ mm/ fs/ ipc/ security/ crypto/ block/
+core-y          += kernel/ mm/ fs/ ipc/ security/ crypto/ block/ litmus/
 
 vmlinux-dirs    := $(patsubst %/,%,$(filter %/, $(init-y) $(init-m) \
                      $(core-y) $(core-m) $(drivers-y) $(drivers-m) \
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 136f263ed47b..b5c2d41ab1e2 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -2245,3 +2245,6 @@ source "crypto/Kconfig"
 source "lib/Kconfig"
 
 source "arch/arm/kvm/Kconfig"
+
+source "litmus/Kconfig"
+
diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig
index fe120da25625..bd67fd1a045f 100644
--- a/arch/x86/Kconfig
+++ b/arch/x86/Kconfig
@@ -2346,3 +2346,5 @@ source "crypto/Kconfig"
 source "arch/x86/kvm/Kconfig"
 
 source "lib/Kconfig"
+
+source "litmus/Kconfig"
diff --git a/litmus/Kconfig b/litmus/Kconfig
new file mode 100644
index 000000000000..382b2e426437
--- /dev/null
+++ b/litmus/Kconfig
@@ -0,0 +1,3 @@
+menu "LITMUS^RT"
+
+endmenu
diff --git a/litmus/Makefile b/litmus/Makefile
new file mode 100644
index 000000000000..f0ed31faf582
--- /dev/null
+++ b/litmus/Makefile
@@ -0,0 +1,3 @@
+#
+# Makefile for LITMUS^RT
+#