{
	"install_instructions": {
		"debian_old": [
			"wget -qO - https://ppa.${domain}/SHS.gpg | sudo apt-key add -",
			"echo \"deb https://ppa.${domain}/ ${codename} main\" | sudo tee /etc/apt/sources.list.d/SHS.list"
		],
		"debian_new":[
			"sudo apt-get install -y ca-certificates curl gpg",
			"sudo install -m 0755 -d /etc/apt/keyrings",
			"curl -fsSL https://ppa.${domain}/SHS.gpg | sudo gpg --dearmor -o /etc/apt/keyrings/SHS.gpg",
			"echo \"deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/SHS.gpg] https://ppa.${domain} ${codename} main\" | sudo tee /etc/apt/sources.list.d/SHS.list"
		]
	},
	"platforms": {
		"Debian 12 arm64": {
			"enabled": true,
			"ondemand": false,
			"codename": "bookworm",
			"docker": {
				"directory": "linux_cross",
				"image_basename": "debian12_arm64",
				"build_options": {
					"image_from": "debian:bookworm-slim",
					"image_prepare_script": "install_apt.sh",
					"arch": "arm64",
					"toolchain": "g++-aarch64-linux-gnu",
					"triplet": "aarch64-linux-gnu"
				}
			},
			"cmake_toolchain": "/soft/toolchain.cmake",
			"ppa": {
				"filters": ["debian12"],
				"install_instructions": "debian_new"
			}
		},
		"Debian 12": {
			"enabled": true,
			"ondemand": false,
			"codename": "bookworm",
			"docker": {
				"directory": "linux_desktop",
				"image_basename": "debian12",
				"build_options": {
					"image_from": "debian:bookworm-slim",
					"image_prepare_script": "install_apt.sh"
				}
			},
			"ppa": {
				"filters": ["debian12"],
				"install_instructions": ["ints1", "inst2"]
			}
		}
	}
}