[…]You can also debug the UEFI firmware part of the boot process or even custom UEFI modules with source level debugging. Please check our XNU kernel debugging howto for more details on this feature. […]
BUT the URL referenced above is invalid (404). 😦
https://www.hex-rays.com/products/ida/support/tutorials/xnu_debugger_tutorial.pdf