1. 671b8db Fix build error when `BL32` is not defined by Juan Castillo · Thu Nov 12 10:59:26 2015 +0000
  2. 396644b Make: fix dependency files generation by Juan Castillo · Thu Oct 22 11:34:44 2015 +0100
  3. a3487d1 Rework Makefile by Juan Castillo · Tue Aug 18 14:23:04 2015 +0100