Once you understand Kardashev Scale, it becomes utterly obvious that essentially all energy generation will be solar. Also, just do the math on solar on Earth and you soon figure out that a relatively small corner of Texas or New Mexico can easily serve all US electricity.