linux/drivers/fpga
..
fpga-mgr.c
Kconfig
Makefile
socfpga.c