2 Commits

Author	SHA1	Message	Date
ligd	4d787db5bb	Documentation: add gethrtime() API to "Clocks and Timers" ... Change-Id: I97a75a14427bcada8a408ced6e0203dc3345f162 Signed-off-by: ligd <liguiding1@xiaomi.com>	2020-09-15 10:28:21 -03:00
Matias N	4276d6254a	rename doc/ -> Documentation/	2020-08-24 10:29:55 -07:00