require conf/distro/xilinx-standalone.inc

DISTRO_NAME_append = " (freertos)"

XLNX_CMAKE_SYSTEM_NAME = "FreeRTOS"

# We need to pass FREERTOS_BSP compliler flag it is consumed
# esw components.
ESW_CFLAGS += " -DFREERTOS_BSP"
