Merge pull request #1178 from davidcunado-arm/dc/enable_sve

author davidcunado-arm <david.cunado@arm.com>

Mon, 11 Dec 2017 12:29:47 +0000 (12:29 +0000)

committer GitHub <noreply@github.com>

Mon, 11 Dec 2017 12:29:47 +0000 (12:29 +0000)
author davidcunado-arm <david.cunado@arm.com>
Mon, 11 Dec 2017 12:29:47 +0000 (12:29 +0000)
committer GitHub <noreply@github.com>
Mon, 11 Dec 2017 12:29:47 +0000 (12:29 +0000)
diff --cc Makefile
Simple merge
diff --cc docs/user-guide.rst
Simple merge
diff --cc make_helpers/defaults.mk
Simple merge
diff --cc plat/arm/board/juno/platform.mk
Simple merge
author	davidcunado-arm <david.cunado@arm.com>
	Mon, 11 Dec 2017 12:29:47 +0000 (12:29 +0000)
committer	GitHub <noreply@github.com>
	Mon, 11 Dec 2017 12:29:47 +0000 (12:29 +0000)
		1	2
Makefile	patch \|	diff1 \|	diff2 \|	blob \| history
docs/user-guide.rst	patch \|	diff1 \|	diff2 \|	blob \| history
make_helpers/defaults.mk	patch \|	diff1 \|	diff2 \|	blob \| history
plat/arm/board/juno/platform.mk	patch \|	diff1 \|	diff2 \|	blob \| history