ACPI support

[Damien Zammit]

Hi all,

I have added ACPICA support to gnumach here:

http://git.zammit.org/gnumach-sv.git/log/?h=debian-acpica

It boots and prints a log but the problem I am facing is that
the log is not saved to /var/log/dmesg even though it prints at boot.
As it scrolls so fast, I cannot read it and I don't know how to have
it captured to the kernel log file.

Any thoughts?

Thanks,
Damien