ARMmbed · 0xc0170 · Feb 25, 2019 · Feb 14, 2019 · Feb 22, 2019
diff --git a/TESTS/psa/spm_client/TARGET_FUTURE_SEQUANA_PSA/spm_client.hex b/TESTS/psa/spm_client/TARGET_FUTURE_SEQUANA_PSA/spm_client.hex
diff --git a/TESTS/psa/spm_server/TARGET_FUTURE_SEQUANA_PSA/spm_server.hex b/TESTS/psa/spm_server/TARGET_FUTURE_SEQUANA_PSA/spm_server.hex
diff --git a/TESTS/psa/spm_smoke/TARGET_FUTURE_SEQUANA_PSA/spm_smoke.hex b/TESTS/psa/spm_smoke/TARGET_FUTURE_SEQUANA_PSA/spm_smoke.hex
diff --git a/...TARGET_Cypress/TARGET_PSOC6_FUTURE/TARGET_FUTURE_SEQUANA_PSA/prebuilt/README.md b/...TARGET_Cypress/TARGET_PSOC6_FUTURE/TARGET_FUTURE_SEQUANA_PSA/prebuilt/README.md
@@ -7,17 +7,7 @@ These images were compiled by the following command:
 
 ```
 mbed compile -m FUTURE_SEQUANA_M0_PSA -t GCC_ARM --profile release -N psa_release_1.0
-mbed compile -m FUTURE_SEQUANA_M0_PSA -t GCC_ARM --profile debug -N psa_debug_1.0
+mbed test --compile -m FUTURE_SEQUANA_M0_PSA -t GCC_ARM --profile debug -n *psa-spm*
 ```
 
-There are also prebuilt images for PSA tests.
-
-Those images can be found in the test folder under a `TARGET_FUTURE_SEQUANA_PSA` directory
-
-These images were compiled by the following command:
-
-```
-mbed test --compile -m FUTURE_SEQUANA_M0_PSA -t GCC_ARM --profile debug -n *psa-*
-```
-
-To update the prebuilt binaries run the previous commands and then run ```python export_binaries.py```
+To update the prebuilt binaries run the previous commands.
diff --git a/.../TARGET_Cypress/TARGET_PSOC6_FUTURE/TARGET_FUTURE_SEQUANA_PSA/prebuilt/export_binaries.py b/.../TARGET_Cypress/TARGET_PSOC6_FUTURE/TARGET_FUTURE_SEQUANA_PSA/prebuilt/export_binaries.py