May I know if there is any requirement for contributing FPGA platform support to FreeRTOS?

Hi guys, may I know whether FreeRTOS community has any explicit requirement on the platform to be contributed. For example, assume that I’d like to contribute the support to a FPGA platform, I’d like to know if there is any checklist I must go through. Besides, is there any additional specific requirement for FPGA platforms, compared with silicon chip platform? Thanks a lot!