NOOBS_NAME="Raspberry Pi OS (64-bit)" NOOBS_DESCRIPTION="A port of Debian with the Raspberry Pi Desktop"