user guide: Document `ENABLE_RUNTIME_INSTRUMENTATION` option
Change-Id: I8e50df67e860b9589834445761a7b9927690fdce
Signed-off-by: dp-arm <dimitris.papastamos@arm.com>
1 parent 9c4c18f commit fc1d1e2df02e61279c16d280f4f48c83f8fa7927
@dp-arm dp-arm authored on 14 Oct 2016
Showing 1 changed file
View
docs/user-guide.md