diff --git a/rune/libenclave/internal/runtime/pal/skeleton/liberpal-skeleton.c b/rune/libenclave/internal/runtime/pal/skeleton/liberpal-skeleton.c
index 8d8cb252e349be9013c76b0b226168b7e365a142..ce0a53129e597f9892a93b2191a9b61df008bd82 100644
--- a/rune/libenclave/internal/runtime/pal/skeleton/liberpal-skeleton.c
+++ b/rune/libenclave/internal/runtime/pal/skeleton/liberpal-skeleton.c
@@ -38,6 +38,7 @@ static bool initialized = false;
 static char *sgx_dev_path;
 static bool no_sgx_flc = false;
 static bool enclave_debug = true;
+bool debugging = false;
 bool is_oot_driver;
 /*
  * For SGX in-tree driver, dev_fd cannot be closed until an enclave instance
@@ -377,6 +378,8 @@ static void check_opts(const char *opt)
 {
 	if (!strcmp(opt, "no-sgx-flc"))
 		no_sgx_flc = true;
+	else if (!strcmp(opt, "debug"))
+		debugging = true;
 }
 
 static void parse_args(const char *args)
diff --git a/rune/libenclave/internal/runtime/pal/skeleton/liberpal-skeleton.h b/rune/libenclave/internal/runtime/pal/skeleton/liberpal-skeleton.h
index a7d5bdf6a0d13e182460a2b634abf197abb32ffb..cddb49249ac45174e6d8b3e0a1d08bbd4da8adfd 100644
--- a/rune/libenclave/internal/runtime/pal/skeleton/liberpal-skeleton.h
+++ b/rune/libenclave/internal/runtime/pal/skeleton/liberpal-skeleton.h
@@ -4,6 +4,7 @@
 #include <stdbool.h>
 
 extern bool is_oot_driver;
+extern bool debugging;
 
 typedef struct {
         const char *args;