NetBSD on IA64?

I did not see any Intel Itanium on http://www.netbsd.org/Ports/

We have a workstation at my office running HPUX, so it might be possible
for me to work on a NetBSD port, although getting the HP testdrive
team to sponsor it would be better.

The HP site lists:

HP HP-UX 11i v2 Integrity rx1600 2 Itanium II, 1.0GHz spe176.testdrive.hp.com 
Debian GNU/Linux 3.0r2 Integrity rx2600 2 Itanium II, 900MHz spe156.testdrive.hp.com 
Red Hat Ent Linux AS 3.0 Intel White Box 4 Itanium II, 1.4GHz spe174.testdrive.hp.com 
SuSE Enterprise Server 9 Integrity rx1600 2 Itanium II, 1.0 GHz spe187.testdrive.hp.com 

http://www.testdrive.hp.com/current.shtml

------
<http://www.cs.indiana.edu/picons/db/users/org/spoonfork/james0407/face.xbm>
<http://www.altavista.com/cgi-bin/query?q=%22web+home+for+jim+spath%22>
<http://www.google.com/search?q=web+home+for+jim+spath>
Marvin the Paranoid Android says:
My capacity for happiness you could fit in a matchbox...
(without taking the matches out first)