RELEASE='6.12.85+deb12-rt-arm64'
DISTRIBUTOR='Debian'
SOURCEVERSION='6.12.85-1~bpo12+1'
PACKAGE_NAME=linux-image-6.12.85+deb12-rt-arm64
PACKAGE_VERSION=