Skip to content

Added links. #1008

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Mar 12, 2019
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 5 additions & 3 deletions docs/porting/psa/spm.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

Secure Partition Manager (SPM) is a part of the PSA Firmware Framework that is responsible for isolating software in partitions, managing the execution of software within partitions and providing inter-process communication (IPC) between partitions.

For more information about SPM, please refer to [the SPM overview page](../apis/psa-api.html).
For more information about SPM, please see the [SPM API page](../apis/psa-spm.html).

<span class="notes">This page gives guidelines for silicon partners adding SPM capabilities.</span>

Expand All @@ -12,11 +12,11 @@ For more information about SPM, please refer to [the SPM overview page](../apis/

For information about the platform types supported by the Mbed implementation of PSA, see [Platform types](../reference/psa-api.html#platform-types).

#### JSON target definition
#### Defining a PSA-compliant target in targets.json

When adding a new target, add a new root target node to the `mbed-os/targets/targets.json` file. For PSA support, define specific PSA-related fields for this target:

- A secure target must inherit from `SPE_Target` metatarget.
- A secure target must inherit from the `SPE_Target` metatarget.
- A nonsecure target must inherit from `NSPE_Target`.
- Only for multicore architectures:
- Both targets must add the `SPM_MAILBOX` component. You can read more about the mailbox mechanism in the [mailbox section](#mailbox).
Expand Down Expand Up @@ -75,6 +75,8 @@ The following flags and labels must be added to each target type to add the rele
| `TFM` (label) | | | | &#10003; | &#10003; |


For more information about working with the `targets.json` file, please see [Adding and configuring targets](../reference/adding-and-configuring-targets.html).

#### Memory layout

Typically, PSA platforms share the same RAM and flash between secure and nonsecure cores. To provide PSA isolation level 1 or higher, you need to partition both RAM and flash to secure and nonsecure parts, in a way the following image describes:
Expand Down
1 change: 1 addition & 0 deletions docs/reference/configuration/mbed_targets.md
Original file line number Diff line number Diff line change
Expand Up @@ -438,4 +438,5 @@ The `orphans` command shows all targets that you cannot reach from a public targ

### Related content

- [Defining a PSA-compliant target in targets.json](../reference/adding-and-configuring-targets.html#defining-a-psa-compliant-target-in-targets.json).
- [Developing: Mbed CLI](../tools/developing-mbed-cli.html).