Thank you very much! How to permanently add this boot saltmaster: can you please help me how to insert the new PCI device id into the device mapping tables? I use a customized image with the latest version of the net-tg3 offline bundle. That seems to be fixed now: whenever I press the Alt key at the powerup chime, I get the Apple 'boot menu', even with our KVM switch in dariusd: I can also confirm that the boot option prevents ESXi 5.1 from crashing. PS2: on the earlies models we had the problem, that the Alt key wasn't recognized after powering on, when there is an USB hub between the keyboard and the Mac (a KVM switch for example). PS1: I was unable to boot the ESXi setup from USB key! Since other USB keys (OsX setup for example) didn't work either, I suspect that there's some EFI boot problem from the new USB3 ports. It is the regular MacMini with an i7 4C 2.3GHz and one 1TB SATA drive ( with no extras), not the MacMini Server. I tried instalkling 5.0 and 5.0 U1 also, but with the same result. I bought one of the new MacMinis, which were presented yesteraday, plugged two 8GiB DD3-1600 modules in (OsX reported 16GiB of memory, as the models before) and tried to install ESXi 5.1 Build 799733.