From 05bb56291b715d348af93a8533090e32c323eb86 Mon Sep 17 00:00:00 2001
From: Wei Liu <weix.w.liu@intel.com>
Date: Mon, 11 Nov 2019 08:51:04 +0800
Subject: [PATCH] acrn-config: include msr.h in board.c

without the msr.h file the build will be failed when CAT is enabled.

Tracked-On: #4066
Signed-off-by: Wei Liu <weix.w.liu@intel.com>
Acked-by: Victor Sun <victor.sun@intel.com>
---
 misc/acrn-config/board_config/board_c.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/misc/acrn-config/board_config/board_c.py b/misc/acrn-config/board_config/board_c.py
index 13110edab..a619225d7 100644
--- a/misc/acrn-config/board_config/board_c.py
+++ b/misc/acrn-config/board_config/board_c.py
@@ -9,7 +9,8 @@ import board_cfg_lib
 
 INCLUDE_HEADER = """
 #include <board.h>
-#include <vtd.h>"""
+#include <vtd.h>
+#include <msr.h>"""
 
 
 MSR_IA32_L2_MASK_BASE = 0x00000D10