I am sorry is this is a bit off topic.

Is there anyone with a non arm32 NetBSD machine in Oxford, England?
If so, would you mind if I came around and borrowed it for a hopefully
small amount of kernel-code debugging?

I have written a file-system driver which works fine on my arm32
machine, but doesn't work on an i386 machine. Debugging is much easier
in person that by email.

	Andrew