aboutsummaryrefslogtreecommitdiff
path: root/CONFIG.md
diff options
context:
space:
mode:
Diffstat (limited to 'CONFIG.md')
-rw-r--r--CONFIG.md6
1 files changed, 5 insertions, 1 deletions
diff --git a/CONFIG.md b/CONFIG.md
index 9b60c616..14a51359 100644
--- a/CONFIG.md
+++ b/CONFIG.md
@@ -44,7 +44,11 @@
- `enable_multicore_scheduling` *(bool)*
- Enable or Disable Multi-core scheduling of threads
+ Enable or disable multi-core scheduling of threads
+
+- `enable_ptc` *(bool)*
+
+ Enable or disable profiled translation cache persistency
- `enable_fs_integrity_checks` *(bool)*