source "$OS_ROOT/arch/Kconfig"
source "$OS_ROOT/kernel/Kconfig"
source "$OS_ROOT/libc/Kconfig"
source "$OS_ROOT/osal/Kconfig"
source "$OS_ROOT/drivers/Kconfig"
source "$OS_ROOT/components/Kconfig"

menu "Debug"
    config OS_DEBUG
        bool "Enable debug"
        select OS_USING_CONSOLE
        default y
        help
            dlog, assert and kernel log depends on this config option
        if OS_DEBUG
            choice
                prompt "The log buffer size"
                default LOG_BUFF_SIZE_256
                help
                    The temporary log buffer size for dlog, os_kprintf() and os_kernel_log()
                
                config LOG_BUFF_SIZE_128
                    bool "128"
                config LOG_BUFF_SIZE_192
                    bool "192"
                config LOG_BUFF_SIZE_256
                    bool "256"
                config LOG_BUFF_SIZE_384
                    bool "384" 
            endchoice
            config OS_LOG_BUFF_SIZE
                int
                default 128 if LOG_BUFF_SIZE_128
                default 192 if LOG_BUFF_SIZE_192
                default 256 if LOG_BUFF_SIZE_256
                default 384 if LOG_BUFF_SIZE_384
        endif
        
    config OS_USING_SIMPLE_EXCEPTION
        bool "Enable Simple Exception"
        default n
        help
        There is only a while(1) for exception handling, which reduces the code for exception handling.
endmenu