"desktop" linux has Posix clocks.

Change-Id: I90885a2bbb65f14f774ae72b2ca6738176bf0341
1 file changed