L4Linux and ACPI

[Marcel Selhorst]

Hi,

is it possible to compile L4Linux with ACPI-support?
I get a mass of L4-errors. Attached you'll find the
.config-file and the log.

Thanks in advance,

Marcel Selhorst
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: l4linux.conf
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20051014/97283279/attachment.conf>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: l4linux.log
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20051014/97283279/attachment.log>