Change-Id: I53c1845d985ac3e9708d952865009c0021f3bb4f
- Build system fixes - No user-mode high-precision timer by default, use clock_gettime - Use C11 aligned_alloc pending C++17 std::aligned_alloc Change-Id: I268365bdfd11d1e817a89584b9e086ee5b86e1dc
Change-Id: Ieb0d179b4e1a398a9400bd80037a46d0513582bc