1. d79de1d Add GPL-2.0+ SPDX-License-Identifier to source files by Wolfgang Denk · Mon Jul 08 09:37:19 2013 +0200
  2. 6ff890d fpga: Check device name against bitstream name by Michal Simek · Fri Apr 26 15:04:48 2013 +0200
  3. 15d654c fpga: zynq: Add support for loading bitstream by Michal Simek · Mon Apr 22 15:43:02 2013 +0200