Embedded devices, ranging from smartphones and smart home appliances to industrial control systems, require operating systems that are specifically tailored to their limited resources. Lightweight Linux distributions have emerged as the preferred...