Debian is all over the place in embedded. It's pretty much the de-facto distribution (you see Yocto, Arch, Ubuntu server etc too) for consumer boards. Not sure

Debian is all over the place in embedded. It's pretty much the de-facto distribution (you see Yocto, Arch, Ubuntu server etc too) for consumer boards. Not sure what the distribution is in private industry, but typically manufacturers provide Debian images at a minimum. This is a problem for embedded systems because you're relying on a company to provide hardware-specific patches. While those are typically kernel patches (and so somewhat distro-agnostic), most people don't want the hassle of compiling their own kernel. That means you're likely going to be using Debian.