Run the mpacpi code.
authorRonald G. Minnich <rminnich@google.com>
Sat, 1 Mar 2014 06:39:29 +0000 (22:39 -0800)
committerRonald G. Minnich <rminnich@google.com>
Sat, 1 Mar 2014 06:39:29 +0000 (22:39 -0800)
commit73171dd8487f2a70176434b03153980296fe9091
tree51719d6b04d1bd9df09c7255a10bb3fd7dbe647e
parent75e463a46273143625052eb54b46dbcd66249004
Run the mpacpi code.

This actually seems to print out reasonable configurations
for ACPI init.

We'll need to review what the current code does, by dumping
all the register sets it does, and then compare to what this
would do.

Also, add a file to #a,
acpipretty

which when you cat it prints out the acpi tables in a
pretty form. It's not complete. Note its hokey use of a static;
that was not my doing, and we need to undo it.

One good idea would be to merge apic.h and ioapic.h. All systems
we care about from now on will always have an ioapic.

Signed-off-by: Ronald G. Minnich <rminnich@google.com>
kern/arch/x86/mpacpi.c
kern/drivers/dev/acpi.c
kern/include/acpi.h