Linux is the operating system of choice for Internet of Things devices. But when it comes to choosing Linux distributions, developers don't have much …