We found that it will get “unknown type name ‘portDOUBLE’” error while compiling “Common/Full/flop.c” or “Common/Minimal/flop.c” files in FreeRTOS RISC-V port.
This is due to that there is no “portDOUBLE” definition in portmacro.h of RISC-V port.
Should the following type definitions being added to RISC-V port’s portmacro.h file?
/* Type definitions. */ #define portCHAR char #define portFLOAT float #define portDOUBLE double #define portLONG long #define portSHORT short