Merge pull request #328 from betrusted-io/precise_clocks
authorenjoy-digital <florent@enjoy-digital.fr>
Wed, 1 Jan 2020 12:20:15 +0000 (13:20 +0100)
committerGitHub <noreply@github.com>
Wed, 1 Jan 2020 12:20:15 +0000 (13:20 +0100)
commitcaacc411034974a55d8bfa257ccd1706c6aab0e6
tree15183e1eee8b60489b03d3cab2a92846dfaf7b5c
parent9336fe11390eb7fd26245f48a6a5f2937e9824fd
parent219bb7f294c14dde5072ac3282cc33943931a64c
Merge pull request #328 from betrusted-io/precise_clocks

add the possibility for a "precise" clock solution