# SPDX-License-Identifier: GPL-2.0

  menu "Machine selection"

  config SCORE
         def_bool y

         select GENERIC_IRQ_SHOW

         select GENERIC_IOMAP

         select GENERIC_ATOMIC64

         select HAVE_MEMBLOCK
         select HAVE_MEMBLOCK_NODE_MAP
         select ARCH_DISCARD_MEMBLOCK

         select GENERIC_CPU_DEVICES

         select GENERIC_CLOCKEVENTS

         select HAVE_MOD_ARCH_SPECIFIC

  	select VIRT_TO_BUS

  	select MODULES_USE_ELF_REL

  	select CLONE_BACKWARDS

  	select CPU_NO_EFFICIENT_FFS

  choice
  	prompt "System type"
  	default MACH_SPCT6600
  
  config ARCH_SCORE7
  	bool "SCORE7 processor"
  	select SYS_SUPPORTS_32BIT_KERNEL

  
  config MACH_SPCT6600
  	bool "SPCT6600 series based machines"
  	select SYS_SUPPORTS_32BIT_KERNEL

  
  config SCORE_SIM
  	bool "Score simulator"
  	select SYS_SUPPORTS_32BIT_KERNEL

  endchoice
  
  endmenu

  config NO_DMA
  	bool
  	default y
  
  config RWSEM_GENERIC_SPINLOCK
  	def_bool y

  config GENERIC_HWEIGHT
  	def_bool y
  
  config GENERIC_CALIBRATE_DELAY
  	def_bool y

  menu "Kernel type"
  
  config 32BIT
  	def_bool y

  config ARCH_FLATMEM_ENABLE
  	def_bool y

  source "mm/Kconfig"
  
  config MEMORY_START
  	hex
  	default	0xa0000000

  source "kernel/Kconfig.hz"
  source "kernel/Kconfig.preempt"
  
  endmenu
  
  config RWSEM_GENERIC_SPINLOCK
  	def_bool y
  
  config LOCKDEP_SUPPORT
  	def_bool y
  
  config STACKTRACE_SUPPORT
  	def_bool y
  
  source "init/Kconfig"

  source "kernel/Kconfig.freezer"

  config MMU
  	def_bool y
  
  menu "Executable file formats"
  
  source "fs/Kconfig.binfmt"
  
  endmenu
  
  source "net/Kconfig"
  
  source "drivers/Kconfig"
  
  source "fs/Kconfig"
  
  source "arch/score/Kconfig.debug"
  
  source "security/Kconfig"
  
  source "crypto/Kconfig"
  
  source "lib/Kconfig"

  
  config NO_IOMEM
         def_bool y