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