Raspberry Pi3に外部USBデバイスで起動するARM64版Ubuntu 18.04環境を構築した際の記録．主にARM/RaspberryPi - Ubuntu Wikiを参考に作業した．…