tree 0a0e7662e9fd7a46387cf373af1b18ffffdb2afc
parent 7be9b4e9320597a8d2cf8162aa7ea4ee35f3c976
author Hanno Becker <hanno.becker@arm.com> 1554819161 +0100
committer Hanno Becker <hanno.becker@arm.com> 1559569328 +0100

Add new configuration option controlling CID extension