diff options
| author | Namhoon Kim <namhoonk@cs.unc.edu> | 2016-04-19 13:51:20 -0400 |
|---|---|---|
| committer | Namhoon Kim <namhoonk@cs.unc.edu> | 2016-04-19 13:51:20 -0400 |
| commit | ca0daca0526998799ee9f6aa97f96668981e23f1 (patch) | |
| tree | f1d1bcb9fb556b993dbdf8f6f345e5cffa13f459 /litmus | |
| parent | e249dc389530a3e709393f735edde22214fdf1d8 (diff) | |
Add support for PGM^RT
Diffstat (limited to 'litmus')
| -rw-r--r-- | litmus/Kconfig | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/litmus/Kconfig b/litmus/Kconfig index babb43deffb5..81daf35d9432 100644 --- a/litmus/Kconfig +++ b/litmus/Kconfig | |||
| @@ -372,4 +372,12 @@ config PREEMPT_STATE_TRACE | |||
| 372 | 372 | ||
| 373 | endmenu | 373 | endmenu |
| 374 | 374 | ||
| 375 | config PGMRT_SUPPORT | ||
| 376 | bool "Support for PGM^RT API" | ||
| 377 | default y | ||
| 378 | help | ||
| 379 | This option enables support for PGM^RT API. The source code of PGM^RT | ||
| 380 | can be found https://github.com/GElliott/pgm . This option adds some | ||
| 381 | variables in rt_param.h. | ||
| 382 | |||
| 375 | endmenu | 383 | endmenu |