#
# Automatically generated file; DO NOT EDIT.
# Lyos/aarch64 0.4.1 Kernel Configuration
#
CONFIG_ARM64=y
CONFIG_64BIT=y
CONFIG_SMP=y
CONFIG_ARM64_PAGE_SHIFT=12
CONFIG_PGTABLE_LEVELS=3

#
# Kernel features
#
CONFIG_SMP_MAX_CPUS=8

#
# General setup
#
CONFIG_LOCALVERSION=""
CONFIG_LOCALVERSION_AUTO=y
# CONFIG_COMPRESS_NONE is not set
CONFIG_COMPRESS_GZIP=y
CONFIG_DEFAULT_HOSTNAME="lyos-test"
CONFIG_LOG_BUF_SHIFT=14
CONFIG_PROFILING=y

#
# Kernel hacking
#
CONFIG_DEBUG_KERNEL=y
CONFIG_DEBUG_INFO=y

#
# Device Drivers
#
CONFIG_BLK_DEV=y
CONFIG_BLK_DEV_RAM_COUNT=8
# CONFIG_BLK_ATA_GENERIC is not set
CONFIG_VIRTIO_BLK=y
CONFIG_BLK_DEV_NVME=y
CONFIG_MMC=y
CONFIG_MMC_SDHCI=y
CONFIG_MMC_SDHCI_OF=y
CONFIG_MMC_SDHCI_IO_ACCESSORS=y
CONFIG_MMC_SDHCI_IPROC=y
CONFIG_MMC_BCM2835=y
CONFIG_HAVE_CLK=y
CONFIG_COMMON_CLK=y
CONFIG_CLK_BCM2835=y
# CONFIG_HID_DEV is not set
CONFIG_PCI_DEV=y
CONFIG_NETDEVICES=y
CONFIG_VIRTIO_NET=y

#
# Graphics support
#
CONFIG_DRM=y
CONFIG_VIRTIO_GPU=y
CONFIG_USB_SUPPORT=y
CONFIG_USB=y
# CONFIG_USB_PCI is not set
# CONFIG_USB_OHCI_HCD is not set
# CONFIG_USB_DWC2 is not set
CONFIG_PHYS_BYTES_64BIT=y

#
# Libraries
#
CONFIG_OF=y
CONFIG_VIRTIO=y
CONFIG_NET=y

#
# Platform type
#
CONFIG_ARM64_4K_PAGES=y
# CONFIG_ARM64_16K_PAGES is not set
# CONFIG_ARM64_64K_PAGES is not set
CONFIG_ARM64_VA_BITS_39=y
# CONFIG_ARM64_VA_BITS_48 is not set
CONFIG_ARM64_VA_BITS=39
CONFIG_ARM64_PA_BITS_48=y
CONFIG_ARM64_PA_BITS=48

#
# System type
#
CONFIG_ARCH_BCM=y
CONFIG_ARCH_BCM2835=y
