1SOCFPGA IS1 BOARD 2M: Pavel Machek <pavel@denx.de> 3S: Maintained 4F: board/is1/ 5F: include/configs/socfpga_is1.h 6F: configs/socfpga_is1_defconfig 7