configPLATFORM_NAME (reference) in projects: FreeRTOS-Plus-TCP-v3.1.0

Searched refs:configPLATFORM_NAME (Results 1 – 2 of 2) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/build-combination/Common/
H D	FreeRTOSConfig.h	`226 #define configPLATFORM_NAME "WinSim" macro`
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/patches/
H D	FreeRTOSConfig.h	`237 #define configPLATFORM_NAME "WinSim" macro`