#
# For a description of the syntax of this configuration file,
# see misc/tools/kconfig-language.txt.
#

if ARCH_MIPS
choice
	prompt "MIPS chip selection"
	default ARCH_CHIP_PIC32MX

config ARCH_CHIP_PIC32MX
	bool "PIC32MX"
	---help---
		Microchip PIC32MX320F032H (MIPS32)

endchoice

config ARCH_MIPS32
	bool
	default y		if ARCH_CHIP_PIC32MX

config ARCH_FAMILY
	string
	default "mips32"	if ARCH_MIPS32

config ARCH_CHIP
	string
	default "pic32mx"	if ARCH_CHIP_PIC32MX

config ARCH_LEDS
	bool "Use board LEDs to show state"
	default y
	---help---
		Use LEDs to show state. Unique to boards that have LEDs

config ARCH_INTERRUPTSTACK
	bool "Use interrupt stack"
	default y
	---help---
		This architecture supports an interrupt stack. If defined, this symbol
		is the size of the interrupt stack in bytes.  If not defined, the user
		task stacks will be used during interrupt handling.

config ARCH_IRQPRIO
	bool "Interrupt priority"
	default y		if ARCH_CHIP_PIC32MX
	---help---
		Select if your board supports interrupt prioritization.

config BOARD_LOOPSPERMSEC
	int "Delay loops per millisecond"
	default 5000
	---help---
		Delay loops nust be calibrated for correct operation.

config ARCH_CALIBRATION
	bool "Calibrate delay loop"
	default n
	---help---
		Enables some built in instrumentation that causes a 100 second delay
		during boot-up.  This 100 second delay serves no purpose other than it
		allows you to calibratre BOARD_LOOPSPERMSEC.  You simply use a stop
		watch to measure the 100 second delay then adjust BOARD_LOOPSPERMSEC until
		the delay actually is 100 seconds.

source arch/mips/src/common/Kconfig
source arch/mips/src/mips32/Kconfig
source arch/mips/src/pic32mx/Kconfig

endif