Skip site navigation (1)Skip section navigation (2)
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>