diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-08-09 07:18:44 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2017-05-26 17:12:19 -0400 |
commit | 226447ffbc294ab3cf8b8d67d46c43ac49967f66 (patch) | |
tree | db5734c2daa9de197a011b511fe11196213eb9a0 | |
parent | db3fd4527ed32be44cbd8ffa6dd6a301c89d0d6d (diff) |
Add LITMUS^RT directory
Hookup litmus/ with kernel and add extra version.
-rw-r--r-- | Makefile | 1 | ||||
-rw-r--r-- | arch/arm/Kconfig | 3 | ||||
-rw-r--r-- | arch/x86/Kconfig | 2 | ||||
-rw-r--r-- | litmus/Kconfig | 3 | ||||
-rw-r--r-- | litmus/Makefile | 3 |
5 files changed, 12 insertions, 0 deletions
@@ -911,6 +911,7 @@ export mod_sign_cmd | |||
911 | 911 | ||
912 | ifeq ($(KBUILD_EXTMOD),) | 912 | ifeq ($(KBUILD_EXTMOD),) |
913 | core-y += kernel/ certs/ mm/ fs/ ipc/ security/ crypto/ block/ | 913 | core-y += kernel/ certs/ mm/ fs/ ipc/ security/ crypto/ block/ |
914 | core-y += litmus/ | ||
914 | 915 | ||
915 | vmlinux-dirs := $(patsubst %/,%,$(filter %/, $(init-y) $(init-m) \ | 916 | vmlinux-dirs := $(patsubst %/,%,$(filter %/, $(init-y) $(init-m) \ |
916 | $(core-y) $(core-m) $(drivers-y) $(drivers-m) \ | 917 | $(core-y) $(core-m) $(drivers-y) $(drivers-m) \ |
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig index b5d529fdffab..6d0974122093 100644 --- a/arch/arm/Kconfig +++ b/arch/arm/Kconfig | |||
@@ -2209,3 +2209,6 @@ endif | |||
2209 | source "lib/Kconfig" | 2209 | source "lib/Kconfig" |
2210 | 2210 | ||
2211 | source "arch/arm/kvm/Kconfig" | 2211 | source "arch/arm/kvm/Kconfig" |
2212 | |||
2213 | source "litmus/Kconfig" | ||
2214 | |||
diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig index bada636d1065..762bf038ab03 100644 --- a/arch/x86/Kconfig +++ b/arch/x86/Kconfig | |||
@@ -2774,3 +2774,5 @@ source "crypto/Kconfig" | |||
2774 | source "arch/x86/kvm/Kconfig" | 2774 | source "arch/x86/kvm/Kconfig" |
2775 | 2775 | ||
2776 | source "lib/Kconfig" | 2776 | source "lib/Kconfig" |
2777 | |||
2778 | 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 @@ | |||
1 | menu "LITMUS^RT" | ||
2 | |||
3 | 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 @@ | |||
1 | # | ||
2 | # Makefile for LITMUS^RT | ||
3 | # | ||