In message <20060123111436.9B49923665@thoreau.thistledown.com.au>,
Simon Burge writes:

>Martin Husemann wrote:
>
>> Btw: what happened to the bintimer work?

bintimer? not timecounter? does that mean the APIs will diverge from
FreeBSD timecounter APIs?  Would we have to redo the [sic] nanokernel
extended-precision "kernel" to work properly cross-CPU with
binconuters, as opposed to timecounters?

Not that might not be a valid, well-considered option; just asking.
Heck, maybe I'm even misremembering whether the nanokernel works well
cross-CPU; but I'm pretty sure it does.