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 /litmus | |
| parent | db3fd4527ed32be44cbd8ffa6dd6a301c89d0d6d (diff) | |
Add LITMUS^RT directory
Hookup litmus/ with kernel and add extra version.
Diffstat (limited to 'litmus')
| -rw-r--r-- | litmus/Kconfig | 3 | ||||
| -rw-r--r-- | litmus/Makefile | 3 |
2 files changed, 6 insertions, 0 deletions
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 | # | ||