K 10
svn:author
V 2
br
K 8
svn:date
V 27
2018-08-06T15:55:58.350915Z
K 7
svn:log
V 188
Increase timeout for timedmutex_test:mutex2, timedmutex_test:mutex3
tests.

Default value is 300. It takes ~310s to complete each of these tests
in QEMU/RISC-V.

Sponsored by:	DARPA, AFRL

END