From owner-svn-src-head@FreeBSD.ORG  Sun Jul  1 15:27:17 2012
Return-Path: <owner-svn-src-head@FreeBSD.ORG>
Delivered-To: svn-src-head@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52])
	by hub.freebsd.org (Postfix) with ESMTP id 72BD7106564A;
	Sun,  1 Jul 2012 15:27:17 +0000 (UTC)
	(envelope-from marcel@xcllnt.net)
Received: from mail.xcllnt.net (mail.xcllnt.net [70.36.220.4])
	by mx1.freebsd.org (Postfix) with ESMTP id 4E1F48FC15;
	Sun,  1 Jul 2012 15:27:17 +0000 (UTC)
Received: from [192.168.2.58] (wifi.xcllnt.net [70.36.220.6] (may be forged))
	(authenticated bits=0)
	by mail.xcllnt.net (8.14.5/8.14.5) with ESMTP id q61FR5bI084048
	(version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO);
	Sun, 1 Jul 2012 08:27:11 -0700 (PDT)
	(envelope-from marcel@xcllnt.net)
Mime-Version: 1.0 (Apple Message framework v1278)
Content-Type: text/plain; charset=us-ascii
From: Marcel Moolenaar <marcel@xcllnt.net>
In-Reply-To: <201207010656.q616ufcY071880@svn.freebsd.org>
Date: Sun, 1 Jul 2012 08:27:05 -0700
Content-Transfer-Encoding: 7bit
Message-Id: <FA362095-EACB-4B55-8262-141A8FA4EBE6@xcllnt.net>
References: <201207010656.q616ufcY071880@svn.freebsd.org>
To: Warner Losh <imp@freebsd.org>
X-Mailer: Apple Mail (2.1278)
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
X-BeenThere: svn-src-head@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: SVN commit messages for the src tree for head/-current
	<svn-src-head.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/svn-src-head>,
	<mailto:svn-src-head-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-src-head>
List-Post: <mailto:svn-src-head@freebsd.org>
List-Help: <mailto:svn-src-head-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-src-head>,
	<mailto:svn-src-head-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sun, 01 Jul 2012 15:27:17 -0000


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