tree b55b25021c52d3bacb6488690c8f8affa84889bb
parent 3099b43c6b9e9e5116aa9e3f0240cc90d792d353
author Gilles Peskine <Gilles.Peskine@arm.com> 1507657605 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1513794822 +0100

timing interface documentation: minor clarifications