mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 10:40:03 +01:00
Shannon Zhao
c4ac107799
It uses static DSDT table like the way x86 uses. Currently the DSDT table only contains processor device objects and it generates the maximal objects which so far is 128. While the GUEST_MAX_VCPUS is defined under __XEN__ or __XEN_TOOLS__, it needs to add -D__XEN_TOOLS__ to compile mk_dsdt.c. Also only check iasl for aarch64 in configure since ACPI on ARM32 is not supported. Signed-off-by: Shannon Zhao <shannon.zhao@linaro.org> Acked-by: Julien Grall <julien.grall@arm.com> Acked-by: Wei Liu <wei.liu2@citrix.com> [ wei: run autogen.sh and fix compilation on x86 ] Signed-off-by: Wei Liu <wei.liu2@citrix.com>
ACPI builder for domain firmware BUILDING ACPI ----------------- Users of ACPI builder are expected to provide an include file that makes available the following: * strncpy * printf * NULL * test_bit * offsetof When compiling build.c, the name of this include file should be given to compiler as -DLIBACPI_STDUTILS=\"<filename>\". See tools/firmware/hvmloader/Makefile for an example. Note on DSDT Table ------------------ DSDT table source code is acpi_dsdt.asl It is already compiled and the output is acpi_dsdt.c Usually, user is not expected to change the acpi_dsdt.asl. In case that the acpi_dsdt.asl need to be updated, please Follow the instruction: # make acpi_dsdt.c Note: DSDT compiler "iasl" is needed. By default, it will be downloaded using wget in Makefile. if it failed, please download manually from http://developer.intel.com/technology/iapc/acpi/downloads.htm. then compile and install iasl