AVILA kernel

[Ian Lepore]

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