Linaro HiKey uses the OP-TEE dispatcher. The TSPD is probably not common. Can you provide more info regarding your setup and build instructions? Which fork and branch of atf are you using?
The FreeRTOS atf (https://github.com/virtualopensystems-kchappuis/arm-trusted-firmware.git, tspd_aarch32_service branch) was forked on Aug 11, 2015. The HiKey atf (https://github.com/96boards-hikey/arm-trusted-firmware, hikey branch) was forked on Feb 5, 2015, so it’s older. Is this what you’re using? There is a hikey-aosp branch which was forked on Mar 16, 2016, so it’s newer. Maybe you can try this by cherry-picking the FreeRTOS patches (1057c6e, f23fe4f, 3d6f16d) from the tspd_aarch32_service branch on top of the hikey-aosp branch and build it using the FreeRTOS provided instructions.
Most importantly, you’ll first need a port of FreeRTOS for HiKey. Is that even available?