summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--documentation/dev-manual/dev-manual-model.xml3
1 files changed, 2 insertions, 1 deletions
diff --git a/documentation/dev-manual/dev-manual-model.xml b/documentation/dev-manual/dev-manual-model.xml
index 452f97694b..87c04f8839 100644
--- a/documentation/dev-manual/dev-manual-model.xml
+++ b/documentation/dev-manual/dev-manual-model.xml
@@ -619,7 +619,8 @@
619 Installing and configuring the Plug-in results in an environment that 619 Installing and configuring the Plug-in results in an environment that
620 has extensions specifically designed to let you more easily develop software. 620 has extensions specifically designed to let you more easily develop software.
621 These extensions allow for cross-compilation, deployment, and execution of 621 These extensions allow for cross-compilation, deployment, and execution of
622 your output into a QEMU emulation session. 622 your output into a QEMU emulation session as well as actual target
623 hardware.
623 You can also perform cross-debugging and profiling. 624 You can also perform cross-debugging and profiling.
624 The environment also supports a suite of tools that allows you to perform 625 The environment also supports a suite of tools that allows you to perform
625 remote profiling, tracing, collection of power data, collection of 626 remote profiling, tracing, collection of power data, collection of