diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-06-20 06:49:18 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-08-05 12:12:56 -0400 |
commit | fb500a5e22cef6edbd98e41266cc9e65201dc3f6 (patch) | |
tree | 59aabbc1a02d352c518d8d0be9ba3d6ba66da233 /arch/x86 | |
parent | dc51cd2570468bb7bcf1815a60929023316ca868 (diff) |
Add LITMUS^RT directory
Hookup litmus/ with kernel and add extra version.
Diffstat (limited to 'arch/x86')
-rw-r--r-- | arch/x86/Kconfig | 2 |
1 files changed, 2 insertions, 0 deletions
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" | |||
2346 | source "arch/x86/kvm/Kconfig" | 2346 | source "arch/x86/kvm/Kconfig" |
2347 | 2347 | ||
2348 | source "lib/Kconfig" | 2348 | source "lib/Kconfig" |
2349 | |||
2350 | source "litmus/Kconfig" | ||