/*
 *  ======== ti_freertos_portable_config.c ========
 *  Configured FreeRTOS module definitions
 *
 *  DO NOT EDIT - This file is generated
 *  by the SysConfig tool.
 */

#include <stddef.h>
#include <stdint.h>

#include "FreeRTOSConfig.h"

#include <../portable/GCC/ARM_CM33_NTZ/non_secure/port.c>
#include <../portable/GCC/ARM_CM33_NTZ/non_secure/portasm.c>
