diff --git a/misc/config_tools/launch_config/com.py b/misc/config_tools/launch_config/com.py
index 95f830759..e3816dc85 100644
--- a/misc/config_tools/launch_config/com.py
+++ b/misc/config_tools/launch_config/com.py
@@ -582,6 +582,7 @@ def dm_arg_set(names, sel, virt_io, dm, sriov, vmid, config):
             print("   --rtvm \\", file=config)
 
         if dm['rtos_type'][vmid] == "Hard RT":
+            print("   --rtvm \\", file=config)
             print("   --lapic_pt \\", file=config)
 
     # windows