[Linux-ia64] Information about EFI.

Hi all,
I dont know whethere this is the correct place to ask this question or not
but i couldnt get it anywhere else.

The question is about EFI bios32/ia64 emulator for 32 bit systems.

I want to write a exception handler for my application written in EFI.
Right now i dont have access to 64 bit machine thats why i am trying it on
32 bit machine.

But i could nt get any information about how could i do it.

Any suggestions will be of great help.

thanx,
Manish.