Where are files for AWS fpga?

[franktaTian]

Hi,
It is an interesting project . I cloned it and
"make fvv" can run
But I cannot find the files for AWS fpga such as for make tvv
Where can I find all the related files except aws files ?