1. 671b8db Fix build error when `BL32` is not defined by Juan Castillo · 9 years ago
  2. a3487d1 Rework Makefile by Juan Castillo · 9 years ago