#
# For a description of the syntax of this configuration file,
# see the Configure script.
#
mainmenu_name "Linux Kernel Configuration"

define_bool CONFIG_ARM y

define_bool CONFIG_UID16 y

mainmenu_option next_comment
comment 'Code maturity level options'
bool 'Prompt for development and/or incomplete code/drivers' CONFIG_EXPERIMENTAL
endmenu

mainmenu_option next_comment
comment 'System and processor type'

choice 'ARM system type'	\
	"Archimedes		CONFIG_ARCH_ARC \
	 A5000			CONFIG_ARCH_A5K \
	 RiscPC			CONFIG_ARCH_RPC \
	 EBSA-110		CONFIG_ARCH_EBSA110 \
	 FootBridge-based	CONFIG_FOOTBRIDGE" RiscPC
# 	 SA1100-based		CONFIG_ARCH_SA1100

if [ "$CONFIG_FOOTBRIDGE" = "y" ]; then
   bool 'FootBridge in HOST mode' CONFIG_HOST_FOOTBRIDGE
   if [ "$CONFIG_HOST_FOOTBRIDGE" = "y" ]; then
      define_bool CONFIG_ADDIN_FOOTBRIDGE n
   else
      define_bool CONFIG_ADDIN_FOOTBRIDGE y
   fi
fi

if [ "$CONFIG_HOST_FOOTBRIDGE" = "y" ]; then
   bool '  Include support for EBSA285' CONFIG_ARCH_EBSA285
   bool '  Include support for CATS' CONFIG_ARCH_CATS
   bool '  Include support for NetWinder' CONFIG_ARCH_NETWINDER
   bool '  Include support for Compaq Personal Server' CONFIG_ARCH_PERSONAL_SERVER
fi

if [ "$CONFIG_ADDIN_FOOTBRIDGE" = "y" ]; then
   # If we get any other footbridge-based plug-in boards, then
   # add your architecture options here
   define_bool CONFIG_ARCH_CO285 y
fi

if [ "$CONFIG_ARCH_SA1100" = "y" ]; then
   choice 'SA1100 implementation' \
	   "Brutus		CONFIG_SA1100_BRUTUS \
	    Empeg		CONFIG_SA1100_EMPEG \
	    Itsy		CONFIG_SA1100_ITSY \
	    LART		CONFIG_SA1100_LART \
	    PLEB		CONFIG_SA1100_PLEB \
	    Victor		CONFIG_SA1100_VICTOR \
	    Tifon		CONFIG_SA1100_TIFON" Brutus
fi

#
# Select various configuration options depending on the machine type
#  Easy check for Acorn-style architectures
#
if [ "$CONFIG_ARCH_ARC" = "y" -o \
     "$CONFIG_ARCH_A5K" = "y" -o \
     "$CONFIG_ARCH_RPC" = "y" ]; then
   define_bool CONFIG_ARCH_ACORN y
else
   define_bool CONFIG_ARCH_ACORN n
fi

#
# Figure out whether this system uses 26-bit or 32-bit CPUs.  Nobody has
# ever built a machine that can take both, and now that ARM3 is obsolete
# nobody is likely to either.
#
if [ "$CONFIG_ARCH_ARC" = "y" -o \
     "$CONFIG_ARCH_A5K" = "y" ]; then
   define_bool CONFIG_CPU_32 n
   define_bool CONFIG_CPU_26 y

   #
   # Select memory size
   #
   bool '2MB physical memory' CONFIG_PAGESIZE_16
else
   define_bool CONFIG_CPU_32 y
   define_bool CONFIG_CPU_26 n

   #
   # Select CPU and optimisation dependent on architecture
   #
   if [ "$CONFIG_ARCH_EBSA110" = "y" -o \
        "$CONFIG_ARCH_SA1100" = "y" -o \
        "$CONFIG_FOOTBRIDGE" = "y" -o \
	"$CONFIG_ARCH_TBOX" = "y" -o \
	"$CONFIG_ARCH_SHARK" = "y" -o \
        "$CONFIG_ARCH_NEXUSPCI" = "y" ]; then
      define_bool CONFIG_CPU_32v4 y
      if [ "$CONFIG_ARCH_SA1100" = "y" ]; then
         define_bool CONFIG_CPU_SA1100 y
      else
         define_bool CONFIG_CPU_SA110 y
      fi
   else
      if [ "$CONFIG_ARCH_RPC" = "y" ]; then
	 define_bool CONFIG_CPU_32v3 y
	 bool 'Support ARM610' CONFIG_CPU_ARM6
	 bool 'Support ARM710' CONFIG_CPU_ARM7
	 bool 'Support StrongARM110' CONFIG_CPU_SA110
      fi
   fi
fi

#
#  These machines always have PCI
#
if [ "$CONFIG_ARCH_NEXUSPCI" = "y" -o \
     "$CONFIG_HOST_FOOTBRIDGE" = "y" ]; then
   define_bool CONFIG_PCI y
   source drivers/pci/Config.in
fi

#
# These machines have ISA-DMA
#
if [ "$CONFIG_ARCH_CATS" = "y" -o \
     "$CONFIG_ARCH_SHARK" = "y" -o \
     "$CONFIG_ARCH_NETWINDER" = "y" ]; then
   define_bool CONFIG_ISA_DMA y
else
   define_bool CONFIG_ISA_DMA n
fi

if [ "$CONFIG_CPU_32" = "y" -a "$CONFIG_ARCH_EBSA110" != "y" ]; then
   bool 'Kernel-mode alignment trap handler' CONFIG_ALIGNMENT_TRAP
fi
#bool 'Split text into discardable sections' CONFIG_TEXT_SECTIONS
endmenu

mainmenu_option next_comment
comment 'Loadable module support'
bool 'Enable loadable module support' CONFIG_MODULES
if [ "$CONFIG_MODULES" = "y" ]; then
   bool '  Set version information on all symbols for modules' CONFIG_MODVERSIONS
   bool '  Kernel module loader' CONFIG_KMOD
fi
endmenu

mainmenu_option next_comment
comment 'General setup'
bool 'Networking support' CONFIG_NET
bool 'System V IPC' CONFIG_SYSVIPC
bool 'BSD Process Accounting' CONFIG_BSD_PROCESS_ACCT
bool 'Sysctl support' CONFIG_SYSCTL
tristate 'Math emulation' CONFIG_NWFPE
if [ "$CONFIG_PROC_FS" = "y" ]; then
   choice 'Kernel core (/proc/kcore) format' \
	"ELF		CONFIG_KCORE_ELF	\
	 A.OUT		CONFIG_KCORE_AOUT" ELF
fi
tristate 'Kernel support for a.out binaries' CONFIG_BINFMT_AOUT
tristate 'Kernel support for ELF binaries' CONFIG_BINFMT_ELF
tristate 'Kernel support for MISC binaries' CONFIG_BINFMT_MISC
if [ "$CONFIG_CPU_32" = "y" ]; then
   tristate 'RISC OS personality' CONFIG_ARTHUR
fi

source drivers/parport/Config.in

if [ "$CONFIG_ARCH_EBSA110" = "y" -o \
     "$CONFIG_ARCH_SA1100" = "y" -o \
     "$CONFIG_ARCH_NETWINDER" = "y" -o \
     "$CONFIG_ARCH_PERSONAL_SERVER" = "y" -o \
     "$CONFIG_ARCH_CATS" = "y" ]; then
   string 'Initial kernel command string' CONFIG_CMDLINE
fi
if [ "$CONFIG_ARCH_NETWINDER" = "y" -o \
     "$CONFIG_ARCH_EBSA110" = "y" -o   \
     "$CONFIG_ARCH_EBSA285" = "y" -o   \
     "$CONFIG_ARCH_CO285" = "y" ]; then
   bool 'Timer and CPU usage LEDs' CONFIG_LEDS
   if [ "$CONFIG_LEDS" = "y" ]; then
      if [ "$CONFIG_ARCH_NETWINDER" = "y" -o \
	   "$CONFIG_ARCH_EBSA285" = "y" -o   \
	   "$CONFIG_ARCH_CO285" = "y" ]; then
         bool '  Timer LED' CONFIG_LEDS_TIMER
         bool '  CPU usage LED' CONFIG_LEDS_CPU
      fi
   fi
fi
endmenu

source drivers/ieee1394/Config.in

source drivers/i2o/Config.in

source drivers/pnp/Config.in

source drivers/block/Config.in

if [ "$CONFIG_ARCH_ACORN" = "y" ]; then
   source drivers/acorn/block/Config.in
fi

source drivers/char/Config.in
if [ "$CONFIG_ARCH_ACORN" = "y" ]; then
   if [ "$CONFIG_BUSMOUSE" = "y" ]; then
      if [ "$CONFIG_ARCH_RPC" != "y" ]; then
         define_bool CONFIG_KBDMOUSE y
      else
         define_bool CONFIG_RPCMOUSE y
      fi
   fi
fi

source drivers/usb/Config.in

#source drivers/misc/Config.in

if [ "$CONFIG_VT" = "y" ]; then
   mainmenu_option next_comment
   comment 'Console drivers'
   if [ "$CONFIG_ARCH_ACORN" != "y" -a "$CONFIG_ARCH_EBSA110" != "y" ]; then
      bool 'VGA text console' CONFIG_VGA_CONSOLE
   fi
   bool 'Support Frame buffer devices' CONFIG_FB
   source drivers/video/Config.in
   endmenu
fi

if [ "$CONFIG_NET" = "y" ]; then
   source net/Config.in

   source net/ax25/Config.in

   source net/irda/Config.in

   mainmenu_option next_comment
   comment 'Network device support'

   bool 'Network device support?' CONFIG_NETDEVICES
   if [ "$CONFIG_NETDEVICES" = "y" ]; then
      source drivers/net/Config.in
   fi
   endmenu
fi

# mainmenu_option next_comment
# comment 'ISDN subsystem'
#
# tristate 'ISDN support' CONFIG_ISDN
# if [ "$CONFIG_ISDN" != "n" ]; then
#    source drivers/isdn/Config.in
# fi
# endmenu

mainmenu_option next_comment
comment 'ATA/IDE/MFM/RLL support'

tristate 'ATA/IDE/MFM/RLL support' CONFIG_IDE

if [ "$CONFIG_IDE" != "n" ]; then
  source drivers/ide/Config.in
else
  define_bool CONFIG_BLK_DEV_IDE_MODES n
  define_bool CONFIG_BLK_DEV_HD n
fi
endmenu

mainmenu_option next_comment
comment 'SCSI support'

tristate 'SCSI support?' CONFIG_SCSI

if [ "$CONFIG_SCSI" != "n" ]; then
   source drivers/scsi/Config.in
fi
endmenu

if [ "$CONFIG_ARCH_ACORN" = "y" -o \
     "$CONFIG_ARCH_CLPS7500" = "y" -o \
     "$CONFIG_ARCH_SHARK" = "y" -o \
     "$CONFIG_PCI" = "y" ]; then
   mainmenu_option next_comment
   comment 'Sound'

   tristate 'Sound support' CONFIG_SOUND
   if [ "$CONFIG_SOUND" != "n" ]; then
      source drivers/sound/Config.in
   fi
   endmenu
fi

source fs/Config.in

mainmenu_option next_comment
comment 'Kernel hacking'

bool 'Compile kernel with frame pointer (for useful debugging)' CONFIG_FRAME_POINTER
bool 'Verbose kernel error messages' CONFIG_DEBUG_ERRORS
bool 'Verbose user fault messages' CONFIG_DEBUG_USER
bool 'Include debugging information in kernel binary' CONFIG_DEBUG_INFO
#bool 'Debug kmalloc/kfree' CONFIG_DEBUG_MALLOC
bool 'Magic SysRq key' CONFIG_MAGIC_SYSRQ
if [ "$CONFIG_CPU_26" = "y" ]; then
   bool 'Disable pgtable cache' CONFIG_NO_PGT_CACHE
fi
if [ "$CONFIG_EXPERIMENTAL" = "y" ]; then
   # These options are only for real kernel hackers
   # who want to get their hands dirty. 
   bool 'Kernel low-level debugging functions' CONFIG_DEBUG_LL
   if [ "$CONFIG_DEBUG_LL" = "y" ]; then
      if [ "$CONFIG_FOOTBRIDGE" = "y" ]; then
         bool 'Kernel low-level debugging messages via DC21285 port' CONFIG_DEBUG_DC21285_PORT
      fi
   fi
fi
endmenu