FreeBSD kernel for itanium

[pierrelaroche]

Hi,

I am interested in studying the modifications which were needed to port
FreeBSD to the Itanium. I have a particular interest in the VM subsystem.
Any suggestion on how to get started (which Itanium box to use, level of
kernel debugger support available, etc). I would also like to  contribute to
this port, but the traffic volume in this forum seems to suggest that the
interest in the port is fading.

Your help is appreciated.

plarusa