# | |
# 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 |