Personally one of the easiest ways I find for formatting and loading SD cards with a wide variety of different operating systems is the free utility provided by the Raspberry Pi foundation. Although ...