Add ACPI support.
authorRonald G. Minnich <rminnich@google.com>
Thu, 27 Feb 2014 23:40:40 +0000 (15:40 -0800)
committerRonald G. Minnich <rminnich@google.com>
Thu, 27 Feb 2014 23:40:40 +0000 (15:40 -0800)
commit3b408904402fec5077d55782f684886230bf0448
treebd6987451c4026b80a758ce512752d1191e708c3
parent699532f7626891e916de6a437b6b5ec532ceeadd
Add ACPI support.

From the shiny new GPL Plan 9 repo!
kern/drivers/dev/Kbuild
kern/drivers/dev/acpi.c [new file with mode: 0644]
kern/include/acpi.h [new file with mode: 0644]
kern/include/stdio.h
kern/src/printfmt.c
scripts/PATCHPLAN9
scripts/spatch/scalar.cocci