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