diff options
Diffstat (limited to 'docs/system/deprecated.rst')
| -rw-r--r-- | docs/system/deprecated.rst | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/docs/system/deprecated.rst b/docs/system/deprecated.rst index b0d44a06cb..16810d1b85 100644 --- a/docs/system/deprecated.rst +++ b/docs/system/deprecated.rst @@ -75,12 +75,6 @@ The ``pretty=on|off`` switch has no effect for HMP monitors, but is silently ignored. Using the switch with HMP monitors will become an error in the future. -``-realtime`` (since 4.1) -''''''''''''''''''''''''' - -The ``-realtime mlock=on|off`` argument has been replaced by the -``-overcommit mem-lock=on|off`` argument. - RISC-V ``-bios`` (since 5.1) '''''''''''''''''''''''''''' |