diff options
| -rw-r--r-- | documentation/dev-manual/dev-manual-model.xml | 3 |
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 |