Files
zTC1/mico-os/board/MK3238/platform_config.h