"FWIW, since modern Raspbian is "Debian Linux 12 (bookworm)" just with an extra package repository (for the hardware specific packages) detection is a bit harder. https://raspberrytips.com/which-raspberry-pi-os-is-running/ suggests making the distinction between "Debian Linux" and "Raspbian" by looking for the presence of the sources.d file which adds the Raspbian specific package repository, apparently in /etc/apt/sources.list.d/raspi.list. (There are definitely other Debian systems on armhf / 32-bit, or arm64 / 64-bit, not just Raspberry Pi.)"
NOTE: the real fix is we need to sort out proper Linux packaging. We should figure out app image, anaconda, etc
"FWIW, since modern Raspbian is "Debian Linux 12 (bookworm)" just with an extra package repository (for the hardware specific packages) detection is a bit harder. https://raspberrytips.com/which-raspberry-pi-os-is-running/ suggests making the distinction between "Debian Linux" and "Raspbian" by looking for the presence of the sources.d file which adds the Raspbian specific package repository, apparently in /etc/apt/sources.list.d/raspi.list. (There are definitely other Debian systems on armhf / 32-bit, or arm64 / 64-bit, not just Raspberry Pi.)"
NOTE: the real fix is we need to sort out proper Linux packaging. We should figure out app image, anaconda, etc