Raspberry Pi で RetroPieを動かす方法として、SD cardまるまるRetroPieを焼く、というものがよく紹介されているが、調べてみると…