How to configure IA64 server for WinDbg

I have a Compaq Proliant IA 64 server where I want to install checked
filter filter. This is the first time I am looking at a IA64 box. So I
wanted to modify the boot.ini file to add a new entry for checked build
of HAL and Kernel. Interestingly I did not see any boot.ini file in
system drive. After reading through some KB articles and other stuff, I
found that IA 64 uses EFI Boot manager to add new boot entries. So I
tried that and in process screwed up NVRAM and could not start the
server.
What I looking for is way to set up my WinDbg environment to debug the
file filter on this server? I have gone through Intel’s specs on EFI and
stuff but there is no clear information on how new entry is added and
how various boot options can be specified. Any body has any idea on
this?

Thanks,