>> - PMAGB-B WSCONS driver support
>> Done.
>
>        Is this still in -current, or has it been pulled into the pmax
> main trunk somewhere?

It's sitting and available in -current and 1.5 syssrc.tgz

>> - Xserver support
>> Done, for NetBSD/alpha.
>
> Does the Alpha 3000 have graphic console support and Xserver
> support now? Contrary to their model support page?

Via a special TCWSCONS configuration which has not been integrated
with GENERIC.  SFB code has been commited in xsrc/ a while ago.  As
building entire X tree is an awesome job, the server binary was
prepared and released by a person.  Check and see old port-alpha list.

Tohru Nishimura