On 28 August 2013 10:17, Adrian Chadd <adrian at freebsd.org> wrote: > I'd love to see if we can finish slimming down the kernel some more. > Yeah, that would be a much better solution. Luiz