From owner-freebsd-arm@FreeBSD.ORG  Sun Sep 15 21:15:29 2013
Return-Path: <owner-freebsd-arm@FreeBSD.ORG>
Delivered-To: freebsd-arm@FreeBSD.org
Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTP id 16A627E3;
 Sun, 15 Sep 2013 21:15:29 +0000 (UTC)
 (envelope-from nwhitehorn@freebsd.org)
Received: from smtpauth4.wiscmail.wisc.edu (wmauth4.doit.wisc.edu
 [144.92.197.145]) (using TLSv1 with cipher RC4-MD5 (128/128 bits))
 (No client certificate requested)
 by mx1.freebsd.org (Postfix) with ESMTPS id E05DC262E;
 Sun, 15 Sep 2013 21:15:28 +0000 (UTC)
MIME-version: 1.0
Content-transfer-encoding: 7BIT
Content-type: text/plain; CHARSET=US-ASCII; format=flowed
Received: from avs-daemon.smtpauth4.wiscmail.wisc.edu by
 smtpauth4.wiscmail.wisc.edu
 (Oracle Communications Messaging Server 7u4-27.01(7.0.4.27.0) 64bit (built Aug
 30 2012)) id <0MT600E00QYXZZ00@smtpauth4.wiscmail.wisc.edu>; Sun,
 15 Sep 2013 16:15:27 -0500 (CDT)
X-Spam-PmxInfo: Server=avs-4, Version=6.0.3.2322014,
 Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2013.9.15.210619,
 SenderIP=0.0.0.0
X-Spam-Report: AuthenticatedSender=yes, SenderIP=0.0.0.0
Received: from comporellon.tachypleus.net
 (adsl-76-208-67-251.dsl.mdsnwi.sbcglobal.net [76.208.67.251])
 by smtpauth4.wiscmail.wisc.edu
 (Oracle Communications Messaging Server 7u4-27.01(7.0.4.27.0) 64bit (built Aug
 30 2012)) with ESMTPSA id <0MT60028FR1Q2T10@smtpauth4.wiscmail.wisc.edu>; Sun,
 15 Sep 2013 16:15:27 -0500 (CDT)
Message-id: <5236236E.5060502@freebsd.org>
Date: Sun, 15 Sep 2013 16:15:26 -0500
From: Nathan Whitehorn <nwhitehorn@freebsd.org>
User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:17.0) Gecko/20130907
 Thunderbird/17.0.8
To: Ian Lepore <ian@FreeBSD.org>
Subject: Re: AVILA kernel
References: <522F346D.9000609@freebsd.org>
 <1378826132.1111.592.camel@revolution.hippie.lan>
In-reply-to: <1378826132.1111.592.camel@revolution.hippie.lan>
Cc: "freebsd-arm@freebsd.org" <freebsd-arm@FreeBSD.org>
X-BeenThere: freebsd-arm@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Porting FreeBSD to the StrongARM Processor <freebsd-arm.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/freebsd-arm>,
 <mailto:freebsd-arm-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-arm>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Help: <mailto:freebsd-arm-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-arm>,
 <mailto:freebsd-arm-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sun, 15 Sep 2013 21:15:29 -0000

On 09/10/13 10:15, Ian Lepore wrote:
> On Tue, 2013-09-10 at 10:02 -0500, Nathan Whitehorn wrote:
>> Has anyone succeeded in booting the AVILA kernel recently? I get up to
>> the copyright message and the compiler ID string and then the kernel
>> hangs up and never does anything ever again.
> I think a good next step for that would be to add option VERBOSE_SYSINIT
> because once you've gotten the copyright it's past the tricky stuff like
> early pmap setup, and probably into the sysinits.
>
> -- Ian
>
>

This is what I get. Symbols aren't loaded, so I'm not really sure how 
useful it is in the end.

The configuration in question is a modified one. The stock AVILA 
configuration gives the highly suspicious:
panic: mtx_lock() of spin mutex pmap @ /usr/src/sys/arm/arm/pmap.c:3676
-Nathan

KDB: debugger backends: ddb
KDB: current backend: ddb
Copyright (c) 1992-2013 The FreeBSD Project.
Copyright (c) 1979, 1980, 1983, 1986, 1988, 1989, 1991, 1992, 1993, 1994
         The Regents of the University of California. All rights reserved.
FreeBSD is a registered trademark of The FreeBSD Foundation.
FreeBSD 10.0-ALPHA1 #4 r255602M: Sun Sep 15 16:09:00 CDT 2013
root@comporellon.tachypleus.net:/usr/obj/arm.armeb/usr/src/sys/LIMULUS arm
gcc version 4.2.1 20070831 patched [FreeBSD]
subsystem 900000
    0xc0304b74(0)... done.
subsystem 1000000
    0xc056974c(0)... done.
    0xc0578294(0)... done.
subsystem 1800000
    0xc03011f0(0)... done.
    0xc0301650(0xc0681040)...