diff options
| -rw-r--r-- | arch/arm/configs/arndale_ubuntu_defconfig | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/arch/arm/configs/arndale_ubuntu_defconfig b/arch/arm/configs/arndale_ubuntu_defconfig index c4dfc54ed71..16d240c66ce 100644 --- a/arch/arm/configs/arndale_ubuntu_defconfig +++ b/arch/arm/configs/arndale_ubuntu_defconfig @@ -23,6 +23,7 @@ CONFIG_ARCH_EXYNOS=y CONFIG_S3C_LOWLEVEL_UART_PORT=2 # CONFIG_ARCH_EXYNOS4 is not set CONFIG_ARCH_EXYNOS5=y +CONFIG_ARM_LPAE=y CONFIG_SMP=y CONFIG_SCHED_MC=y CONFIG_SCHED_SMT=y @@ -65,7 +66,6 @@ CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug" CONFIG_DEVTMPFS=y CONFIG_DEVTMPFS_MOUNT=y CONFIG_EXTRA_FIRMWARE="edid-1920x1080.fw" -CONFIG_CMA=y CONFIG_CONNECTOR=y CONFIG_MTD=y CONFIG_MTD_CMDLINE_PARTS=y @@ -153,6 +153,13 @@ CONFIG_JFFS2_COMPRESSION_OPTIONS=y CONFIG_JFFS2_LZO=y CONFIG_JFFS2_RUBIN=y CONFIG_CRAMFS=y +CONFIG_NFS_FS=m +CONFIG_NFS_V3_ACL=y +CONFIG_NFS_V4=m +CONFIG_NFS_SWAP=y +CONFIG_NFSD=m +CONFIG_NFSD_V3_ACL=y +CONFIG_NFSD_V4=y CONFIG_NLS_CODEPAGE_437=y CONFIG_NLS_ISO8859_1=y CONFIG_PRINTK_TIME=y @@ -182,3 +189,5 @@ CONFIG_CRC_CCITT=y CONFIG_CRC_T10DIF=y CONFIG_CRC_ITU_T=y CONFIG_CRC7=y +CONFIG_VIRTUALIZATION=y +CONFIG_KVM=y |