Booting Linux quickly is highly desirable for embedded devices, particularly those that are battery-powered or require high availability. A common approach for reducing boot times with minimal effort is to remove unused features, effectively turning a general purpose operating system into a specialised one. However, this compromise of sacrificing features for boot time reduces flexibility …