EFI Programming on Mac OS X

“If you are developing EFI applications or drivers for Intel-based Macintosh systems, it is likely that you will prefer to develop on Mac OS X rather than on Windows, Linux, or any other system. The rest of this document will help you jumpstart EFI development on Mac OS X. In fact, you can use either the PowerPC or x86 version of Mac OS X for hosting an EFI build environment.”