x86: configs: tizen_emul_defconfig: Enable CONFIG_HYPERV configuration

Change-Id: Ib2287992488a5cd28e96f5311e05313ccffa9390
Signed-off-by: Chanwoo Choi <cw00.choi@samsung.com>

diff --git a/arch/x86/configs/tizen_emul_defconfig b/arch/x86/configs/tizen_emul_defconfig
index 4503a0cf2991e2a52471fe8b2f15997ccdb7d14d..4133e92340cc14330201c6026e18fb22435c149c 100644 (file)
--- a/arch/x86/configs/tizen_emul_defconfig
+++ b/arch/x86/configs/tizen_emul_defconfig
@@ -368,7 +368,8 @@ CONFIG_X86_EXTENDED_PLATFORM=y
 # CONFIG_X86_32_NON_STANDARD is not set
 # CONFIG_X86_32_IRIS is not set
 CONFIG_SCHED_OMIT_FRAME_POINTER=y
-# CONFIG_HYPERVISOR_GUEST is not set
+CONFIG_HYPERVISOR_GUEST=y
+# CONFIG_PARAVIRT is not set
 CONFIG_NO_BOOTMEM=y
 # CONFIG_M486 is not set
 # CONFIG_M586 is not set
@@ -1460,6 +1461,7 @@ CONFIG_E1000E=y
 # CONFIG_WAN is not set
 # CONFIG_VMXNET3 is not set
 # CONFIG_FUJITSU_ES is not set
+# CONFIG_HYPERV_NET is not set
 # CONFIG_ISDN is not set
 # CONFIG_NVM is not set
 
@@ -1521,6 +1523,7 @@ CONFIG_MOUSE_PS2_TRACKPOINT=y
 # CONFIG_MOUSE_PS2_SENTELIC is not set
 # CONFIG_MOUSE_PS2_TOUCHKIT is not set
 CONFIG_MOUSE_PS2_FOCALTECH=y
+# CONFIG_MOUSE_PS2_VMMOUSE is not set
 # CONFIG_MOUSE_SERIAL is not set
 # CONFIG_MOUSE_APPLETOUCH is not set
 # CONFIG_MOUSE_BCM5974 is not set
@@ -1648,6 +1651,7 @@ CONFIG_SERIO_LIBPS2=y
 # CONFIG_SERIO_ALTERA_PS2 is not set
 # CONFIG_SERIO_PS2MULT is not set
 # CONFIG_SERIO_ARC_PS2 is not set
+CONFIG_HYPERV_KEYBOARD=y
 # CONFIG_USERIO is not set
 # CONFIG_GAMEPORT is not set
 
@@ -2530,6 +2534,7 @@ CONFIG_FB_TILEBLITTING=y
 # CONFIG_FB_MB862XX is not set
 # CONFIG_FB_BROADSHEET is not set
 # CONFIG_FB_AUO_K190X is not set
+# CONFIG_FB_HYPERV is not set
 # CONFIG_FB_SIMPLE is not set
 # CONFIG_FB_SM712 is not set
 CONFIG_BACKLIGHT_LCD_SUPPORT=y
@@ -2783,6 +2788,7 @@ CONFIG_HID_GENERIC=y
 # CONFIG_HID_SUNPLUS is not set
 # CONFIG_HID_RMI is not set
 # CONFIG_HID_GREENASIA is not set
+# CONFIG_HID_HYPERV_MOUSE is not set
 # CONFIG_HID_SMARTJOYPLUS is not set
 # CONFIG_HID_TIVO is not set
 # CONFIG_HID_TOPSEED is not set
@@ -3100,6 +3106,9 @@ CONFIG_VIRTIO_MMIO=y
 #
 # Microsoft Hyper-V guest support
 #
+CONFIG_HYPERV=y
+CONFIG_HYPERV_UTILS=y
+CONFIG_HYPERV_BALLOON=y
 CONFIG_STAGING=y
 # CONFIG_SLICOSS is not set
 # CONFIG_COMEDI is not set