target_sources(bsp PRIVATE FreeRTOS_asm_vectors.S)

# Needs to be INTERFACE'd so it is build as part of the main application and can be found by the linker
# Otherwise, we have a circular dependency between FreeRTOS and bsp which needs single file libraries to
# resolve
target_sources(bsp INTERFACE FreeRTOS_tick_config.c)