Hi Frank,
ACPI does not make much sense with L4Linux. Why do you want to activate it?
Some TPM drivers use the pnpacpi-driver interface to browse the ACPI-table to find their needed ressources, so I need at least CONFIG_PNP, CONFIG_ACPI_BUS and CONFIG_PNPACPI.
Is there a way to compile it in? The only things I need it for is the handling of the ACPI-table, I do neither need (real) plug&play nor the power management things.
Best regards,
Marcel Selhorst