tree e3ceb623dd8cf2ce7fa54e0aca379d49515b6bf2
parent e35c404599016a8ed09c12d54bf4d1aa9e527831
author Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1400161641 +0100
committer Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1400256691 +0100

Document summary of build options in user guide

Change-Id: I6bd077955bf3780168a874705974bbe72ea0f5f1