L4Linux and ACPI

[Marcel Selhorst]

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