https://reviews.freebsd.org/D10778 -a On 17 May 2017 at 17:46, Adrian Chadd <adrian at freebsd.org> wrote: > hi, > > this is a quick change that makes concurrency_kit a module. Right now > the only thing using it is linuxkpi so it's all dead code on > non-linuxkpi platforms. > > > > -adrian