Raspberry Pi OSも一応ベータ版だけど64bit版あるみたい。でもUbuntu入れた方が簡単じゃないかな。あと試行錯誤はRaspberry Pi上でやるよりもDocker使ってパワーのあるマシンでやった方が良さそう。

7:40 AM

Ubuntuでもいいし、Raspberry Pi OSもDockerで動くっぽいし。