gr740_demo-config

#
# Automatically generated file; DO NOT EDIT.
# FlightOS Configuration
#

#
# SPARC Configuration
#
# CONFIG_LEON2 is not set
# CONFIG_LEON3 is not set
CONFIG_LEON4=y
# CONFIG_MMU is not set
CONFIG_CPU_CLOCK_FREQ=250000000
CONFIG_EXTRA_SPARC_PHYS_BANKS=0
CONFIG_SPARC_CPU_REG_WINDOWS=8
CONFIG_SPARC_TEXT_START=0x0
CONFIG_SPARC_FP_START=0x00200000

#
# Memory Management Settings
#
CONFIG_SPARC_MM_BLOCK_ORDER_MAX=29
CONFIG_SPARC_MM_BLOCK_ORDER_MIN=12
CONFIG_SPARC_INIT_PAGE_MAP_MAX_ENTRIES=8
CONFIG_SPARC_BOOTMEM_RESERVE_CHUNK_ORDER=20
CONFIG_SPARC_BOOTMEM_REQUEST_NEW_ON_DEMAND=y
CONFIG_SPARC_NESTED_IRQ=y

#
# General Setup
#
CONFIG_SMP_CPUS_MAX=4
CONFIG_STACK_SIZE=4096
CONFIG_KALLSYMS=y
CONFIG_CROSS_PLATFORM_TARGET=y
CONFIG_CROSS_COMPILE="sparc-gaisler-elf-"
# CONFIG_TARGET_COMPILER_BOOT_CODE is not set
CONFIG_ARCH_CUSTOM_BOOT_CODE=y
CONFIG_MODULES=y
# CONFIG_EMBED_MODULES_IMAGE is not set
# CONFIG_BUILD_XEN_KERNELS is not set

#
# Compile-time checks and compiler options
#
CONFIG_CC_OPTIMIZE_FOR_PERFORMANCE=y
# CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
# CONFIG_CC_OPTIMIZE_NONE is not set
# CONFIG_DEBUG_INFO is not set
CONFIG_KERNEL_PRINTK=y
CONFIG_KERNEL_LEVEL=7
CONFIG_IRQ_STATS_COLLECT=y
# CONFIG_TASK_PREEMPTION_DISABLE is not set
# CONFIG_SOC is not set

#
# Core Components
#
CONFIG_SYSCTL=y
CONFIG_MM=y

#
# Memory Management Debug Options
#
CONFIG_MM_DEBUG_DUMP=y
CONFIG_MM_DEBUG_DUMP_ALLOC_BITMAP=y
CONFIG_MM_DEBUG_DUMP_BLOCK_ALLLOC=y
CONFIG_MM_DEBUG_DUMP_BLOCK_STATS=y
CONFIG_PAGE_MAP=y

#
# Page Map Options
#
# CONFIG_PAGE_MAP_CHECK_PAGE_ALIGNMENT is not set
CONFIG_PAGE_MAP_MOVE_NODE_AVAIL_THRESH=1
CONFIG_CHUNK=y
CONFIG_AR=y
# CONFIG_SAMPLES is not set