Hi all,

Just some quick feedback:
With the new SMP fixes commited I felt it was time to install NetBSD on
the AlphaServer 4100 again (4 CPU, 1.5GB RAM).
With GENERIC.MP from today's HEAD, for the first time ever it survived
torture by ./build.sh -j 32.
I was also pleased to see that the DEGPA-SA now shows up as ti0.
System feels very stable. A Dcache ECC correctable on CPU0 popped
up once, but that's about it.
Great work, both of you, hunting these bugs down.

Cheers,

-Tobias