5 files changed, 12 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index e3cdec4898be..cca06d3697f4 100644
--- a/Makefile
+++ b/Makefile
@@ -883,7 +883,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 45df48ba0b12..9fee3674d914 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -2119,3 +2119,6 @@ endif
 source "lib/Kconfig"
 
 source "arch/arm/kvm/Kconfig"
+
+source "litmus/Kconfig"
+
diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig
index 226d5696e1d1..9f305d6e1246 100644
--- a/arch/x86/Kconfig
+++ b/arch/x86/Kconfig
@@ -2594,3 +2594,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
+#