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