On Sun, Jul 02, 2017 at 11:10:19PM -0000, Michael van Elst wrote: > it needs MD support on all platforms. What more does an implementation need besides asking for an interrupt in timo at cv_timedwait* (and increasing HZ)? That could be a no-op for platforms that can't provide it.