We dive into disk utility, using both the GUI and command line, to format our SD card so that our Raspberry Pi boots with our operating system of choice.
A list of Raspberry Pi Operating Systems can be found at:
https://www.raspberrypi.org/downloads