1. f441fb7 ARM: socfpga: move CONFIG_BOOTDELAY to Kconfig for IS1 board by Masahiro Yamada · 8 years ago
  2. 9802e87 ARM: socfpga: add support for IS1 board by Pavel Machek · 8 years ago