Device header
Open, HighPublic

Description

TF-M currently uses “cmsis.h” as the device header. This is not compliant with CMSIS which defines the naming convention for device headers, startup files and system configuration files.

Silicon vendors typically define header filenames that match their device names.

The device agnostic way proposed by CMSIS is to use a preprocessor define CMSIS_device_header that reflects the actual device name and is provided by the build environment.

We suggest to replace:

#include "cmsis.h"

with:

#include CMSIS_device_header

This would affect the following modules:
./secure_fw/core/arch/tfm_arch_v8m_base.c
./secure_fw/core/arch/tfm_arch_v8m_main.c
./secure_fw/core/arch/include/tfm_arch.h
./platform/ext/target: various target files

Related Objects

StatusAssignedTask
OpenNone
Opendavidwang
RobertRostohar triaged this task as High priority.