Change-Id: I583015a95dbcebd352f81ecb3104ffdbd646a9ec Signed-off-by: Jiuzhu Dong <dongjiuzhu1@xiaomi.com>
Change-Id: Id06d215063796d222b9792d25ab2d6742167729f Signed-off-by: Jiuzhu Dong <dongjiuzhu1@xiaomi.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>