since boardctl isn't a libc feature Signed-off-by: Xiang Xiao <xiaoxiang@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>