Comment by mntmn

Ha, I've seen that! Really cool project!

The default part will be XC7K160T-FFG676, AFAIK it has some pin compatible family members as well.