diff --git a/platforms.json b/platforms.json index 4f4a5cc..c78ef49 100644 --- a/platforms.json +++ b/platforms.json @@ -107,6 +107,21 @@ }, "ppa_filters": ["ubuntu23.04"] }, + "Debian 11 armhf": { + "enabled": true, + "codename": "bullseye", + "docker_dir": "linux_cross", + "docker_image": "debian11_armhf", + "docker_build_options": { + "image_from": "debian:bullseye-slim", + "image_prepare_script": "install_apt.sh", + "arch": "armhf", + "toolchain": "g++-arm-linux-gnueabihf", + "triplet": "arm-linux-gnueabihf" + }, + "cmake_toolchain": "/soft/toolchain.cmake", + "ppa_filters": ["debian11"] + }, "Debian 11 arm64": { "enabled": true, "codename": "bullseye",