Ubuntu 20.10 bringt optimierte Images für den Raspberry Pi