Jan 28 15:58:18 InnoMiner kernel: Booting Linux on physical CPU 0x0
Jan 28 15:58:18 InnoMiner kernel: Linux version 4.14.0-xilinx ([email protected]) (gcc version 6.4.0 (Buildroot 2018.02.1)) #1 SMP PREEMPT Tue May 22 15:52:07 CST 2018
Jan 28 15:58:18 InnoMiner kernel: CPU: ARMv7 Processor [413fc090] revision 0 (ARMv7), cr=18c5387d
Jan 28 15:58:18 InnoMiner kernel: CPU: PIPT / VIPT nonaliasing data cache, VIPT aliasing instruction cache
Jan 28 15:58:18 InnoMiner kernel: OF: fdt: Machine model: xlnx,zynq-7000
...
Jan 28 15:58:18 InnoMiner kernel: FPGA manager framework
Jan 28 15:58:18 InnoMiner kernel: fpga-region fpga-full: FPGA Region probed
...
Jan 28 15:58:18 InnoMiner kernel: fpga_manager fpga0: Xilinx Zynq FPGA Manager registered
Does this imply that D9 is actually an FPGA or simply that its designed using FPGA?