follow the coding style Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>
Signed-off-by: Juha Niskanen <juha.niskanen@haltian.com>
Support for the STMicroelectronics STM32L562E-DK development board. This is a proof-of-concept port that demonstrates running NuttX as the Non-Secure TrustZone domain companion to TrustedFirmware-M. Signed-off-by: Michael Jung <mijung@gmx.net>