# Calculate format=kernel name=.config os_install_arch_machine==i686
# CONFIG_CRYPTO_DEV_HIFN_795X is not set
CONFIG_HIGHMEM4G=y
# CONFIG_HIGHMEM64G is not set
# CONFIG_OLPC is not set
CONFIG_PGTABLE_LEVELS=2
# CONFIG_USB_FUSB300 is not set
# CONFIG_VMSPLIT_2G_OPT is not set
# CONFIG_VMSPLIT_3G_OPT is not set
!CONFIG_ARCH_DMA_ADDR_T_64BIT=
!CONFIG_ARCH_ENABLE_SPLIT_PMD_PTLOCK=
!CONFIG_BLK_DEV_PMEM=
!CONFIG_BTT=
!CONFIG_CRYPTO_SPECK=
!CONFIG_DAX_DRIVER=
!CONFIG_HAVE_ARCH_HUGE_VMAP=
!CONFIG_LIBNVDIMM=
!CONFIG_ND_BLK=
!CONFIG_ND_BTT=
!CONFIG_ND_CLAIM=
!CONFIG_PAGE_TABLE_ISOLATION=
!CONFIG_PHYS_ADDR_T_64BIT=
!CONFIG_SWIOTLB=
!CONFIG_X86_PAE=
!CONFIG_X86_PMEM_LEGACY=
!CONFIG_X86_PMEM_LEGACY_DEVICE=
!CONFIG_XEN=
