Date: Sun, 1 Jul 2012 08:27:05 -0700 From: Marcel Moolenaar <marcel@xcllnt.net> To: Warner Losh <imp@freebsd.org> Cc: svn-src-head@freebsd.org, svn-src-all@freebsd.org, src-committers@freebsd.org Subject: Re: svn commit: r237883 - in head/sys/arm: at91 conf Message-ID: <FA362095-EACB-4B55-8262-141A8FA4EBE6@xcllnt.net> In-Reply-To: <201207010656.q616ufcY071880@svn.freebsd.org> References: <201207010656.q616ufcY071880@svn.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
On Jun 30, 2012, at 11:56 PM, Warner Losh wrote: > Author: imp > Date: Sun Jul 1 06:56:41 2012 > New Revision: 237883 > URL: http://svn.freebsd.org/changeset/base/237883 > > Log: > Create a pseudo-lint kernel for all at91 SoCs. This kernel will not > currently boot, but will serve as a good linting. make universe could > now be altered to skip building all the other at91 kernels... BTW: I've implemented the LINT kernel for ARM. It combines all SoCs. It does have a lot of duplicate definitions, but by not having the linker fail on that, you get a successful build of something we already understand does not boot. It's good coverage with a single kernel and can help to bring the "make universe" time down by only building LINT for ARM. I can port that to FreeBSD. Shall I make some patches for people to look at? -- Marcel Moolenaar marcel@xcllnt.net
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?FA362095-EACB-4B55-8262-141A8FA4EBE6>