Intel Galileo Tutorial Manual page 14

15. Your machine will boot from the USB key and you will be presented with the following menu.
For most modern computers the first (default) option should be sufficient (kernel 3.10). If you
have older hardware or experience boot failures, please boot the 3.2 kernel (486 or 686-pae
depending on your hardware).
Figure 14: Boot Menu on Mac
Revision 1.0 – 20-Feb-2014
Intel® Galileo Development Kit for IoT - Tutorial Guide
(Page 14 of 32)