#
# Automatically generated by make menuconfig: don't edit.
#


#
# System Architecture
#

CONFIG_ARCH_x86_64=y
# CONFIG_ARCH_AARCH64 is not set
CONFIG_HW_x86_64_SSE=y
CONFIG_HW_x86_64_SCE=y
# CONFIG_HW_x86_64_AVX is not set
# CONFIG_HW_x86_64_COMP is not set
CONFIG_MP_SMP=y
CONFIG_HW_UART=y

#
# Kernel settings
#

CONFIG_KERNEL_CNAME="MicroKosm"
CONFIG_KERNEL_CVER="0.1.0"
CONFIG_KERNEL_MODULES=y

#
# Memory Settings
#

CONFIG_KENREL_BASE=0xffffffff80000000
CONFIG_STACK_SIZE=1048576

#
# Bootmem allocator
#

CONFIG_BOOTMEM_SIZE=4096

#
# Kernel heap
#

CONFIG_HEAP_BASE=0xffffffff90000000
CONFIG_HEAP_SIZE=4194304

#
# Symbol table
#

CONFIG_SYMBOL_TABLE_BASE=0xffffffffffff0000
CONFIG_SYMBOL_TABLE_PAGES=2
