#
# Copyright (c) 2020 Antony Pavlov <antonynpavlov@gmail.com>
#
# based on arch/riscv/Kconfig
#
# SPDX-License-Identifier: Apache-2.0
#

menu "MIPS Options"
	depends on MIPS

config ARCH
	string
	default "mips"

config GEN_ISR_TABLES
	default y

config GEN_IRQ_VECTOR_TABLE
	default n

config GEN_SW_ISR_TABLE
	default y

config NUM_IRQS
	int

# Bump the kernel default stack size values.
config MAIN_STACK_SIZE
	default 4096 if COVERAGE_GCOV
	default 2048

config IDLE_STACK_SIZE
	default 1024

config ISR_STACK_SIZE
	default 4096

config TEST_EXTRA_STACK_SIZE
	default 4096 if COVERAGE_GCOV
	default 2048

config SYSTEM_WORKQUEUE_STACK_SIZE
	default 4096

config CMSIS_THREAD_MAX_STACK_SIZE
	default 2048

config CMSIS_V2_THREAD_MAX_STACK_SIZE
	default 2048

config CMSIS_V2_THREAD_DYNAMIC_STACK_SIZE
	default 2048

config IPM_CONSOLE_STACK_SIZE
	default 4096 if COVERAGE
	default 1024

endmenu