1# 2# Copyright (c) 2020 Antony Pavlov <antonynpavlov@gmail.com> 3# 4# based on arch/riscv/Kconfig 5# 6# SPDX-License-Identifier: Apache-2.0 7# 8 9menu "MIPS Options" 10 depends on MIPS 11 12config ARCH 13 string 14 default "mips" 15 16config GEN_ISR_TABLES 17 default y 18 19config GEN_IRQ_VECTOR_TABLE 20 default n 21 22config GEN_SW_ISR_TABLE 23 default y 24 25config NUM_IRQS 26 int 27 28# Bump the kernel default stack size values. 29config MAIN_STACK_SIZE 30 default 4096 if COVERAGE_GCOV 31 default 2048 32 33config IDLE_STACK_SIZE 34 default 1024 35 36config ISR_STACK_SIZE 37 default 4096 38 39config TEST_EXTRA_STACK_SIZE 40 default 4096 if COVERAGE_GCOV 41 default 2048 42 43config SYSTEM_WORKQUEUE_STACK_SIZE 44 default 4096 45 46config CMSIS_THREAD_MAX_STACK_SIZE 47 default 2048 48 49config CMSIS_V2_THREAD_MAX_STACK_SIZE 50 default 2048 51 52config CMSIS_V2_THREAD_DYNAMIC_STACK_SIZE 53 default 2048 54 55config IPM_CONSOLE_STACK_SIZE 56 default 4096 if COVERAGE_GCOV 57 default 1024 58 59endmenu 60
