MSI: MicroSystemInstaller for Linux