Add a bit more info to #a/acpipretty
authorRonald G. Minnich <rminnich@google.com>
Sat, 1 Mar 2014 07:06:59 +0000 (23:06 -0800)
committerRonald G. Minnich <rminnich@google.com>
Sat, 1 Mar 2014 07:06:59 +0000 (23:06 -0800)
commitf9b1a30ed62080817a78c1a0c82366c40323144e
tree3562b8b2ca59eb64072627f4bcf5f5d855f97025
parent73171dd8487f2a70176434b03153980296fe9091
Add a bit more info to #a/acpipretty

It will let you get pretty prints to user mode at any point.

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