1 files changed, 12 insertions, 0 deletions

diff --git a/litmus/Kconfig b/litmus/Kconfig
index 5d5d6eb29882..11f2801a943f 100644
--- a/litmus/Kconfig
+++ b/litmus/Kconfig
@@ -58,6 +58,18 @@ config BUG_ON_MIGRATION_DEADLOCK
           BUG() triggers, the scheduler is broken and turning off this option
           won't fix it.
 
+config SCHED_PGM
+        bool "PGM Support"
+        default n
+        depends on LITMUS_LOCKING && ALLOW_EARLY_RELEASE
+        help
+          Include infrastructure for scheduling PGM graphs. Since PGM token
+          constraints are not (yet) implemented in the kernel, a job must
+          tell Litmus when it is waiting for tokens. Litmus boost's the
+          priority of waiting jobs (which are expected to be well-behaved
+          and sleep while waiting for tokens) to ensure bounded priority
+          inversions. Litmus may also change a jobs release/deadline depending
+          upon when the jobs input tokens are generated.
 
 endmenu