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 /arch/x86 | |
| parent | db3fd4527ed32be44cbd8ffa6dd6a301c89d0d6d (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 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" | ||