Can someone give me a hint about an ACPI-enabled Linux variant with a very small footprint? I understand that the provided TTY LInux is not ACPI enabled and for this reason it cannot be live-migrated or shutdown. Or, is it possible to install ACPI support in TTY Linux?<div>

<br></div><div>Best regards,</div><div>Florian</div>