# ARM unified arch kernel

CONFIG_CPU_V7=y

CONFIG_ARCH_EXYNOS=y

CONFIG_ARCH_VIRT=y

# CONFIG_ARCH_EXYNOS4 is not set

CONFIG_ARCH_EXYNOS5=y

CONFIG_ARM_LPAE=y

CONFIG_VIRTIO_CONSOLE=m

CONFIG_ARM_VIRT_EXT=y

CONFIG_VIRTUALIZATION=y

CONFIG_KVM=y

CONFIG_KVM_ARM_HOST=y

CONFIG_KVM_ARM_MAX_VCPUS=8

CONFIG_KVM_ARM_VGIC=y

CONFIG_KVM_ARM_TIMER=y

CONFIG_XEN=y

CONFIG_XEN_FBDEV_FRONTEND=y

CONFIG_INPUT_XEN_KBDDEV_FRONTEND=m

CONFIG_XEN_BLKDEV_FRONTEND=m

CONFIG_XEN_BLKDEV_BACKEND=m

CONFIG_XEN_NETDEV_FRONTEND=m

CONFIG_XEN_NETDEV_BACKEND=m

CONFIG_HVC_XEN=y

CONFIG_HVC_XEN_FRONTEND=y

CONFIG_XEN_DEV_EVTCHN=m

CONFIG_XEN_BACKEND=y

CONFIG_XENFS=m

CONFIG_XEN_COMPAT_XENFS=y

CONFIG_XEN_SYS_HYPERVISOR=y

CONFIG_XEN_GNTDEV=y

CONFIG_XEN_GRANT_DEV_ALLOC=m

CONFIG_XEN_WDT=m

CONFIG_S3C_BOOT_ERROR_RESET=y

CONFIG_S3C_BOOT_UART_FORCE_FIFO=y

CONFIG_S3C_LOWLEVEL_UART_PORT=0

CONFIG_S3C_GPIO_SPACE=8

CONFIG_S3C_ADC=y

CONFIG_S3C24XX_PWM=y

# CONFIG_SAMSUNG_PM_DEBUG is not set

# CONFIG_SAMSUNG_PM_CHECK is not set

CONFIG_SOC_EXYNOS5250=y

CONFIG_SOC_EXYNOS5440=y

CONFIG_MACH_EXYNOS5_DT=y

CONFIG_ARM_PSCI=y

CONFIG_ARM_EXYNOS_CPUFREQ=y

CONFIG_SERIAL_SAMSUNG=y

CONFIG_I2C_S3C2410=m

CONFIG_PINCTRL_EXYNOS=y

CONFIG_S3C2410_WATCHDOG=m

CONFIG_VIDEO_SAMSUNG_S5P_G2D=m

CONFIG_VIDEO_SAMSUNG_S5P_JPEG=m

CONFIG_VIDEO_SAMSUNG_S5P_MFC=m

CONFIG_VIDEO_SAMSUNG_EXYNOS_GSC=m

CONFIG_FB_S3C=m

CONFIG_SND_SOC_SAMSUNG=m

CONFIG_USB_EHCI_S5P=y

CONFIG_USB_OHCI_EXYNOS=y

CONFIG_MMC_SDHCI_S3C=m

CONFIG_RTC_DRV_S3C=m

CONFIG_PWM_SAMSUNG=m

CONFIG_S3C_BOOT_WATCHDOG=y

CONFIG_SAMSUNG_GPIO_EXTRA=8

CONFIG_SERIAL_SAMSUNG_CONSOLE=y

CONFIG_BATTERY_S3C_ADC=m

CONFIG_SENSORS_S3C=m

CONFIG_SENSORS_S3C_RAW=y

CONFIG_FB_S3C_DEBUG_REGWRITE=y

CONFIG_SND_SOC_SAMSUNG_SMDK_SPDIF=m

CONFIG_USB_EHCI_S5P=y

CONFIG_SAMSUNG_USBPHY=y

CONFIG_MMC_SDHCI_S3C_DMA=y