Initial commit for shared librarywip-shared-mem

1 files changed, 0 insertions, 9 deletions

diff --git a/litmus/Kconfig b/litmus/Kconfig
index 6e0f77c3bb8f..babb43deffb5 100644
--- a/litmus/Kconfig
+++ b/litmus/Kconfig
@@ -372,13 +372,4 @@ config PREEMPT_STATE_TRACE
 
 endmenu
 
-config PGMRT_SUPPORT
-    bool "Support for PGM^RT API"
-    default y
-    depends on LITMUS_LOCKING && ALLOW_EARLY_RELEASE
-    help
-      This option enables support for PGM^RT API. The source code of PGM^RT
-      can be found https://github.com/GElliott/pgm . This option adds some
-      variables in rt_param.h.
-
 endmenu