Some resources are listed here (including an open source FPGA):

https://wiki.debian.org/FPGA