config L4
	bool
	default y

#config SMP
#	bool
#	default y

#config NR_CPUS
#   int "Maximum number of CPUs (2-64)"
#   depends on SMP
#   default "1"

config MMU
	bool
	default y

config RWSEM_GENERIC_SPINLOCK
   bool
   default y

mainmenu "L4/Linux Kernel Configuration"

menu "L4/Linux-specific options"

config L4E_CONSOLE
	bool "Use l4e environment console"
	default y
endmenu


menu "System selection"

choice
	prompt "Architecutre type"
	default ARCH_I386

config ARCH_MIPS64
	bool "Support for MIPS64 architecture"

config ARCH_ARM
        bool "Support for ARM architecure"

config ARCH_I386
        bool "Support for x86 architecure"

endchoice

choice
	prompt "Platform type"

config U4600
        bool "Support for U4600 platform"
        depends on ARCH_MIPS64
	help
		These are home-made boxes at UNSW.

config OMAP1510
	bool "Support for OMAP1510 platform"
	depends on ARCH_ARM
	help
		Support for TI OMAP1510 based platforms (eg: innovator)
		
config SA1100
	bool "Support for SA1100 platform"
	depends on ARCH_ARM
	help
		Support for StrongARM based platforms (eg: PLEB, TuxScreen).

config IXDP425
	bool "Support for IXDP425 platform"
	depends on ARCH_ARM
	help
		Support for BigEndian Intel Xscale IXP425 based platforms (eg: IXDP425).

config PC99
	bool "Support for PC99 platform"
	depends on ARCH_I386
	help
		Support for PC99 based platforms.

endchoice

config L4_ZONE_HASH_ORDER
	int
	default 4
#	default "7" if MPENTIUM4 || X86_GENERIC

config L4_ZONE_SIZE
	int
	default 22
#	default "7" if MPENTIUM4 || X86_GENERIC

config MIPS32_COMPAT
	bool "Kernel support for Linux/MIPS 32-bit binary compatibility"
	depends on ARCH_MIPS64
	help
	  Select this option if you want Linux/MIPS 32-bit binary
	  compatibility. Since all software available for Linux/MIPS is
	  currently 32-bit you should say Y here.

config COMPAT
	bool
	depends on MIPS32_COMPAT
	default y

config MIPS32_O32
	bool "Kernel support for o32 binaries"
	depends on MIPS32_COMPAT
	help
	  Select this option if you want to run o32 binaries.  These are pure
	  32-bit binaries as used by the 32-bit Linux/MIPS port.  Most of
	  existing binaries are in this format.

	  If unsure, say Y.

config MIPS32_N32
	bool "Kernel support for n32 binaries"
	depends on MIPS32_COMPAT
	help
	  Select this option if you want to run n32 binaries.  These are
	  64-bit binaries using 32-bit quantities for addressing and certain
	  data that would normally be 64-bit.  They are used in special
	  cases.

	  If unsure, say N.

config BINFMT_ELF32
	bool
	default y if MIPS32_O32 || MIPS32_N32

endmenu

config CPU_HAS_LLSC
	bool
	depends on ARCH_MIPS64
	default y

config CPU_HAS_LLDSCD
	bool
	depends on ARCH_MIPS64
	default y

config ISA
	bool
	depends on SA1100
	default y

config CPU_SA1100
	bool
	depends on SA1100
	default y

config DISCONTIGMEM
	bool
	default y

config UID16
	bool
	depends on ARCH_I386 || ARCH_ARM
	default y

source "init/Kconfig"

source "drivers/base/Kconfig"

source "drivers/block/Kconfig"

source "net/Kconfig"

source "fs/Kconfig"


menu "Executable file formats"

source "fs/Kconfig.binfmt"

endmenu

#source "security/Kconfig"

#source "crypto/Kconfig"

source "lib/Kconfig"

#source "drivers/md/Kconfig"

#source "drivers/mtd/Kconfig"

source "drivers/input/Kconfig"

source "drivers/char/Kconfig"

source "drivers/video/Kconfig"

menu "Kernel hacking"

config DEBUG
	bool "Debug kernel"
	default y

endmenu

