Tools: Display IPC Partition when SFN backend is selected
The SFN backend does not support IPC Partitions.
But the manifest tool does not show what IPC Partitions are enabled
when SFN backend is selected.
This patch adds this feature. It also removes the unused SFN Partition
counting.
Change-Id: Ic19514e2d62f34e29b3d35ac6367dac9d8838f89
Signed-off-by: Kevin Peng <kevin.peng@arm.com>
diff --git a/tools/tfm_parse_manifest_list.py b/tools/tfm_parse_manifest_list.py
index fe0da57..3a2c049 100644
--- a/tools/tfm_parse_manifest_list.py
+++ b/tools/tfm_parse_manifest_list.py
@@ -180,8 +180,7 @@
no_pid_manifest_idx = []
partition_statistics = {
'connection_based_srv_num': 0,
- 'ipc_partition_num': 0,
- 'sfn_partition_num': 0,
+ 'ipc_partitions': [],
'flih_num': 0,
'slih_num': 0
}
@@ -268,10 +267,8 @@
if pid == None or pid >= TFM_PID_BASE:
# Count the number of IPC/SFN partitions
- if manifest['psa_framework_version'] == 1.1 and manifest['model'] == 'SFN':
- partition_statistics['sfn_partition_num'] += 1
- else:
- partition_statistics['ipc_partition_num'] += 1
+ if manifest['model'] == 'IPC':
+ partition_statistics['ipc_partitions'].append(manifest['name'])
# Set initial value to -1 to make (srv_idx + 1) reflect the correct
# number (0) when there are no services.
@@ -338,8 +335,9 @@
# Set up configurations
if backend == 'SFN':
- if partition_statistics['ipc_partition_num'] > 0:
- logging.error('SFN backend does not support IPC Partitions.')
+ if len(partition_statistics['ipc_partitions']) > 0:
+ logging.error('SFN backend does not support IPC Partitions:')
+ logging.error(partition_statistics['ipc_partitions'])
exit(1)
if isolation_level > 1: