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 MPU
    bool "MKRTOS MPU config"
    default n
    if MPU
        config MPU_VERSION
        int "mpu version"
        default 1
        config MPU_PAGE_FAULT_SUPPORT
        bool "mpu page falut sim support."
        default 0
        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