On 12 June 2017 at 13:22, Ian Lepore <ian at freebsd.org> wrote: > > [*] Not all arches have a generic kernel (but they probably should for > test-building purposes, even if it can't boot on any real hardware). Or build GENERIC* + LINT*?