ARM-software/arm-trusted-firmware — pull request #72 by jeenuv (2014-05-16 13:17:38+00:00)
Title: Fixes issues 148

This patch has fix for the issue #148. It's based on patches for build option reorganization and documentation changes.