Re: About support for rtVAX300

[Martin Husemann <martin%duskware.de@localhost>]

>lock address : 0x000000008020e078 type     :               spin
>initialized  : 0x00000000800e4f74

Does ddb work for you yet?
Can you find out which lock lives at the address printed?
The "initialized" address is the code that did the initialization (if that
is easier to find out).

I am not sure anyone tested the 6.0 release with a LOCKDEBUG kernel, I can
easily test -current or the tip of the netbsd-6 branch at least later today,
just to make sure this isn't something completely unrelated to your
hacking.

Good progress so far!

Martin