Playing around with UEFI

[sinsi]

Anyone know of an EFI shell? I'm using the one with Virtual Box and VMware but would like to try it out on real hardware.
Unfortunately my board can only load a shell, doesn't have one built in.

ML64 can build EFI drivers/applications natively (it's just a special PE64), uses the same fastcall convention as win64.
Translating the C structures etc is giving me a headache, enums and *this and **info oh boy.

[GoneFishing]

Played with it once or twice on  Virtual Box . AFAIK there's UEFI SDK available for UEFI developers