1. 47e5f66 dts: Disable device tree for SPL on all boards by Simon Glass · Tue May 12 14:55:04 2015 -0600
  2. f069960 arch: Make board selection choices optional by Joe Hershberger · Tue May 12 14:46:23 2015 -0500
  3. cfc2f7d kconfig: remove unneeded dependency on !SPL_BUILD by Masahiro Yamada · Tue Feb 24 22:26:21 2015 +0900
  4. 3bae15f kconfig: arm: introduce symbol for ARM CPUs by Georges Savoundararadj · Tue Oct 28 23:16:09 2014 +0100
  5. 3a9de36 samsung: Enable device tree for smdkc100 by Simon Glass · Tue Oct 07 22:01:51 2014 -0600
  6. 96aa072 samsung: Enable device tree for s5p_goni by Simon Glass · Tue Oct 07 22:01:50 2014 -0600