Add config option CONFIG_ACPI for turning off ACPI table generation.
-rw-r--r-- 4 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 3488 Makefile
-rw-r--r-- 7662 README
-rw-r--r-- 1601 TODO
drwxr-xr-x - src
drwxr-xr-x - tools