157 lines
3.9 KiB
Plaintext
157 lines
3.9 KiB
Plaintext
menu "Knl config"
|
|
|
|
|
|
menuconfig KNL_INFO
|
|
bool "knl info set"
|
|
default y
|
|
|
|
config KNL_TEST
|
|
bool "enable knl test."
|
|
default n
|
|
if KNL_INFO
|
|
config MMU
|
|
bool "support mmu"
|
|
default n
|
|
if MMU
|
|
config MSG_BUF_VADDR
|
|
hex "msg buf vaddr in task."
|
|
default 0xE0000000
|
|
config BOOT_FS_VADDR
|
|
hex "boot fs vaddr in init task."
|
|
default 0xE0001000
|
|
endif
|
|
config PAGE_SHIFT
|
|
int "page shift"
|
|
default 9
|
|
config PSCI
|
|
bool "support psci"
|
|
default n
|
|
config SMP
|
|
bool "support smp."
|
|
default n
|
|
config CPU
|
|
int "CPU Core number."
|
|
default 1
|
|
config THREAD_MSG_BUG_LEN
|
|
int "thread msg buf size"
|
|
default 128
|
|
config THREAD_IPC_MSG_LEN
|
|
int "thread ipc msg max size"
|
|
default 96
|
|
config THREAD_MAP_BUF_LEN
|
|
int "thread ipc map buf max size."
|
|
default 16
|
|
config THREAD_USER_BUF_LEN
|
|
int "thread user buf max size(words)."
|
|
default 4
|
|
config BUDDY_SLAB
|
|
bool "use BUDDY & SLAB"
|
|
default n
|
|
config THREAD_BLOCK_SIZE
|
|
hex "kthread block size"
|
|
default 0x400
|
|
config SYS_TEXT_ADDR
|
|
hex "The first address of the kernel text section"
|
|
default 0x8000000
|
|
|
|
config SYS_TEXT_SIZE
|
|
hex "Size of the kernel text segment."
|
|
default 0x100000
|
|
|
|
config SYS_DATA_ADDR
|
|
hex "knl data addr."
|
|
default 0x20000000
|
|
|
|
config SYS_DATA_SIZE
|
|
hex "knl data size."
|
|
default 0x2000000
|
|
|
|
config BOOTSTRAP_TEXT_SIZE
|
|
hex "bootstrap text size."
|
|
default 0x2000
|
|
|
|
config DTBO_TEXT_SIZE
|
|
hex "dtbo text size."
|
|
default 0x1000
|
|
|
|
config KNL_TEXT_SIZE
|
|
hex "knl text size."
|
|
default 0x10000
|
|
|
|
|
|
menuconfig MK_MPU_CFG
|
|
bool "MKRTOS MPU config"
|
|
default y
|
|
if MK_MPU_CFG
|
|
config MPU_VERSION
|
|
int "mpu version"
|
|
default 1
|
|
config MPU_PAGE_FAULT_SUPPORT
|
|
bool "mpu page falut sim support."
|
|
default 0
|
|
config MPU_PAGE_NUM
|
|
int "mpu page num."
|
|
default 32
|
|
config MPU_PAGE_FAULT_REGIONS_NUM
|
|
int "mpu page fualt regions num."
|
|
default 2
|
|
endif
|
|
endif
|
|
|
|
config VCPU
|
|
bool "enable vcpu support"
|
|
default n
|
|
help
|
|
enable thread vcpu support.
|
|
|
|
config FT_ADDR_NR
|
|
int "The number of addresses supported by futex."
|
|
default 16
|
|
help
|
|
Set the number of supported futex, which usually indicates how many user state locks are supported..
|
|
config SYS_SCHE_HZ
|
|
int "System time slice size"
|
|
default 1000
|
|
help
|
|
Set the time slice size of the system.
|
|
|
|
config USER_ISR_START_NO
|
|
int "The starting point of the user mode interrupt number."
|
|
default 16
|
|
help
|
|
This number indicates which interrupt number can be used for user status.
|
|
config IRQ_REG_TAB_SIZE
|
|
int "The size of the interrupt registry in the kernel."
|
|
default 80
|
|
help
|
|
The interruption of user registration will temporarily use this table.
|
|
config REGION_NUM
|
|
int "Number of MPU regions"
|
|
default 8
|
|
help
|
|
Set the number of regions protected by MPU.
|
|
|
|
config OBJ_MAP_TAB_SIZE
|
|
int "The number of obj mapping tables."
|
|
default 4
|
|
help
|
|
OBJ_MAP_TAB_SIZE * OBJ_MAP_ENTRY_SIZE is equal to the number of kernel objects that a task can map.
|
|
config OBJ_MAP_ENTRY_SIZE
|
|
int "The size of the entries in the mapping table."
|
|
default 8
|
|
help
|
|
OBJ_MAP_TAB_SIZE * OBJ_MAP_ENTRY_SIZE is equal to the number of kernel objects that a task can map.
|
|
config PRINTK_CACHE_SIZE
|
|
int "The cache size of printk."
|
|
default 128
|
|
help
|
|
The printk cache size refers to the size of the data content output to the console in a single attempt, which usually does not need to be modified.
|
|
|
|
config BOOT_INFO_SUPPORT
|
|
bool "boot info support"
|
|
default n
|
|
help
|
|
support boot info.
|
|
|
|
endmenu
|