Mach microkernel development - porting to Alpha

[Shaun Cloherty <s.cloherty@gsbme.unsw.edu.au>]

I've been watching the Hurd from a distance for some time and have
recently acquired a couple of Alpha based machines..... now I'm
interested in the possibility of porting the Mach kernel (and hence the
Hurd) to the Alpha architecture. Is there a project underway to do
this?? If so, can someone point me to it?? If not, who exactly is
developing the x86 Mach kernel?? Where can I find them?? Can anyone
point me to a mailing list, web page etc.....

Regards,

Shaun