Change-Id: Id15a911dad06643d9457cc4d8c907fc5796772ee
Change-Id: I08668df07725369ecf8a2f35e74dd7d64c8ca94b
- 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