Robuta

https://www.mail-archive.com/linux-kernel@vger.kernel.org/msg2589285.html [PATCH v2 11/15] tools/nolibc: add difftime() patchtoolsadddifftime