PXE Boot Debian 4.0 IA64

[ipfreely]

Hi All,
I posted this in the wrong forum previously, so sorry if this is a repeat. I have setup a PXE server and have downloaded the netboot source of Debian 4.0 i386. Everything loads fine. I now require the use of the 64bit version
IA64. When I download the netboot.tar.gz for this source and untar it, I am missing a few files such as pxelinux.0 and pxelinux.cfg. I am not able to PXE boot a machine with this source. Any idea on how I can get the missing files??
Thanks,
Chris

[falko]

Unfortunately I don't know a solution...