heard about freebsd guys using the concurrency kit (concurrencykit.org) in their kernel. anyone has any idea about how it could be useful from a netbsd perspective too? i was under the impression that the kit would be useful only for userland projects, wonder what role it would play at the kernel level.