diff --git a/product/celadon_64.cfg b/product/celadon_64.cfg index 0af731fd..c0011a45 100644 --- a/product/celadon_64.cfg +++ b/product/celadon_64.cfg @@ -15,10 +15,7 @@ EVMM_CMPL_FLAGS += \ -DMODULE_TSC \ -DMODULE_VMEXIT_INIT\ -DPACK_LK \ - -DMODULE_ACPI \ - -DMODULE_VTD \ - -DDMAR_MAX_ENGINE=4 \ - -DSKIP_DMAR_GPU + -DMODULE_ACPI EVMM_CMPL_FLAGS += \ -DAP_START_IN_HLT diff --git a/product/celadon_apl.cfg b/product/celadon_apl.cfg index 0af731fd..c0011a45 100644 --- a/product/celadon_apl.cfg +++ b/product/celadon_apl.cfg @@ -15,10 +15,7 @@ EVMM_CMPL_FLAGS += \ -DMODULE_TSC \ -DMODULE_VMEXIT_INIT\ -DPACK_LK \ - -DMODULE_ACPI \ - -DMODULE_VTD \ - -DDMAR_MAX_ENGINE=4 \ - -DSKIP_DMAR_GPU + -DMODULE_ACPI EVMM_CMPL_FLAGS += \ -DAP_START_IN_HLT diff --git a/product/celadon_clk.cfg b/product/celadon_clk.cfg index 045ff97a..404678eb 100644 --- a/product/celadon_clk.cfg +++ b/product/celadon_clk.cfg @@ -15,10 +15,7 @@ EVMM_CMPL_FLAGS += \ -DMODULE_TSC \ -DMODULE_VMEXIT_INIT\ -DPACK_LK \ - -DMODULE_ACPI \ - -DMODULE_VTD \ - -DDMAR_MAX_ENGINE=4 \ - -DSKIP_DMAR_GPU + -DMODULE_ACPI EVMM_CMPL_FLAGS += \ -DAP_START_IN_HLT diff --git a/product/celadon_kbl.cfg b/product/celadon_kbl.cfg index a7117756..c0011a45 100644 --- a/product/celadon_kbl.cfg +++ b/product/celadon_kbl.cfg @@ -15,9 +15,7 @@ EVMM_CMPL_FLAGS += \ -DMODULE_TSC \ -DMODULE_VMEXIT_INIT\ -DPACK_LK \ - -DMODULE_ACPI \ - -DMODULE_VTD \ - -DDMAR_MAX_ENGINE=4 + -DMODULE_ACPI EVMM_CMPL_FLAGS += \ -DAP_START_IN_HLT