AVILA kernel

[Nathan Whitehorn]

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 at 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)...