1ACPI builder for domain firmware
2
3
4BUILDING ACPI
5-----------------
6Users of ACPI builder are expected to provide an include file that makes available
7the following:
8* strncpy
9* printf
10* NULL
11* test_bit
12* offsetof
13
14When compiling build.c, the name of this include file should be given to
15compiler as -DLIBACPI_STDUTILS=\"<filename>\". See tools/firmware/hvmloader/Makefile
16for an example.
17
18Note on DSDT Table
19------------------
20DSDT table source code is acpi_dsdt.asl
21It is already compiled and the output is acpi_dsdt.c
22Usually, user is not expected to change the acpi_dsdt.asl.
23In case that the acpi_dsdt.asl need to be updated, please
24Follow the instruction:
25
26# make acpi_dsdt.c
27
28Note:
29DSDT compiler "iasl" is needed. By default, it will be downloaded
30using wget in Makefile. if it failed, please download manually from
31http://developer.intel.com/technology/iapc/acpi/downloads.htm.
32then compile and install iasl
33