ARM-software/arm-trusted-firmware — pull request #7 by omnium21 (2014-01-15 17:45:05+00:00)
Title: Makefile fixes and file rename patch

This is a pull request for my patch to fix issue #2, to add a "make help" option and to rename the plat/fvp/fvp_* files to plat/fvp/plat_*.