diff --git a/misc/acrn-config/board_config/board_c.py b/misc/acrn-config/board_config/board_c.py
index 80a6f9124..40370f435 100644
--- a/misc/acrn-config/board_config/board_c.py
+++ b/misc/acrn-config/board_config/board_c.py
@@ -18,7 +18,9 @@ def gen_cat(config):
     print("\n#include <board.h>", file=config)
     print("#include <acrn_common.h>", file=config)
     print("#include <msr.h>", file=config)
+    print("#include <vtd.h>", file=config)
 
+    print("\nstruct dmar_info plat_dmar_info;", file=config)
     if cache_support == "False" or clos_max == 0:
         print("\nstruct platform_clos_info platform_clos_array[0];", file=config)
         print("uint16_t platform_clos_num = 0;", file=config)
diff --git a/misc/acrn-config/target/dmar.py b/misc/acrn-config/target/dmar.py
index 01d9be1b8..c7766839a 100644
--- a/misc/acrn-config/target/dmar.py
+++ b/misc/acrn-config/target/dmar.py
@@ -330,8 +330,8 @@ def write_dmar_data(sysnode, config):
         dmar_tbl, dmar_hw_list, dmar_dev_list, sysnode)
 
     # num drhd and scope are hard coded
-    drhd_num = 4
-    scope_num = 4
+    drhd_num = 8
+    scope_num = 16
     # padding dev_scope_cnt_list
     j = 0
     if len(dmar_dev_list.dev_scope_cnt_list) < scope_num: