1. 671b8db Fix build error when `BL32` is not defined by Juan Castillo · Thu Nov 12 10:59:26 2015 +0000
  2. a3487d1 Rework Makefile by Juan Castillo · Tue Aug 18 14:23:04 2015 +0100