tianmai-loader/os/ft2000aC4_le_hard_mcore/config_os.h

/*Configurate for headfile,Auto-Created */
#define		CONFIG_ACOREMCOS
#define		CONFIG_MOS_KERNEL
#define		CONFIG_INIT_TASKS_TABLE
#define		CONFIG_INIT_TASK_STACK_SIZE		(16384)
#define		CONFIG_INIT_TASK_PRIORITY		(10)
#define		CONFIG_TICKS_PER_TIMESLICE		(10)
#define		CONFIG_STACK_GUARD		(false)
#define		CONFIG_STACK_GUARD_PAGE_CNT		(0)
#define		CONFIG_INT_STACK_SIZE		(0x2000)
#define		CONFIG_RESOURCE_SPACE_SIZE		(8192000)
#define		CONFIG_IDLE_TASK_STACK_SIZE		(4096)
#define		CONFIG_MICROSECOND_PER_TICK		(1000)
#define		CONFIG_PAGE_SPACE_SIZE		(0x80000)
#define		CONFIG_IMAGE_MAX_CNT		(20)
#define		CONFIG_ERROR_LOG_ENTRY		(32)
#define		CONFIG_EXCEPTION_STACK_SIZE		(0x2000)
#define		CONFIG_USER_EXCP_STACK_GUARD_PAGE		(1)
#define		CONFIG_KERN_EXCP_STACK_GUARD_PAGE		(1)
#define		CONFIG_MOS_KERNEL_L1
#define		CONFIG_RAM_PAYLOAD
#define		CONFIG_RMODE
#define		CONFIG_MCORE_MODE
#define		CONFIG_SMP_MODE
#define		CONFIG_CORE_CFG
#define		CONFIG_CORE_NUM		(1)
#define		CONFIG_CORE_START_TIMEOUT		(5000)
#define		CONFIG_CPU_CORE_ENABLED
#define		CONFIG_CORE_NUMBER
#define		CONFIG_CORE_NUMBER_MP_CORE_ID		{\
		{(1),(false)},\
		{(2),(false)},\
		{(3),(false)}		}
#define		CONFIG_MP_SCHED_POLICY
#define		CONFIG_MP_SCHED_POLICY_GLOBAL
#define		CONFIG_MP_SCHED_POLICY_GLOBAL_GPR
#define		CONFIG_CPC_QUEUE_MODE
#define		CONFIG_CPC_MAX_REQ_CNT		(100)
#define		CONFIG_SYS_TIME
#define		CONFIG_SYS_TIME_OF_DAY		{(2000),(1),(1),(0),(0),(0)}
#define		CONFIG_EXTENSION_OS
#define		CONFIG_MOS_EXT
#define		CONFIG_MOS_EXT_L1
#define		CONFIG_APP_ROM_BURN
#define		CONFIG_APP_ROM_START_PARAMTBL
#define		CONFIG_APP_START_TBL		{\
		{("app1")}		}
#define		CONFIG_APP_START_TBL_L1_APP1
#define		CONFIG_EOS_COM
#define		CONFIG_VXWORKS_ENABLE
#define		CONFIG_EOS_FUNC
#define		CONFIG_EOS_FUNC_CELR
#define		CONFIG_PUBLIC_COMPS
#define		CONFIG_RTL_LIB
#define		CONFIG_C_LIB
#define		CONFIG_MATH_LIB
#define		CONFIG_TOOLS_SUPPORT
#define		CONFIG_TA_ENABLE
#define		CONFIG_NET_SHARE_FLAG		(false)
#define		CONFIG_NET_SHARE_DRV		(NET_SHARE_DRV_SOCKET)
#define		CONFIG_SEND_PKT_MAXNUM		(1000)
#define		CONFIG_TCA_STACK_RESEND_COUNT		(1)
#define		CONFIG_TCA_STACK_SEND_TIMEOUT		(5)
#define		CONFIG_DEBUG_AGENT
#define		CONFIG_DA_MAX_DEBUGOBJ_NUM		(256)
#define		CONFIG_DA_MAX_SESSION_NUM		(20)
#define		CONFIG_LA_ENABLE
#define		CONFIG_LA_MAX_LOAD_IMG_NUM		(20)
#define		CONFIG_VIO_ENABLE
#define		CONFIG_VIO_CPUMODE_ENABLE		(true)
#define		CONFIG_RIA_ENABLE
#define		CONFIG_RIA_MAX_ID_NUM		(256)
#define		CONFIG_TARGETSHELL_ENABLE
#define		CONFIG_SHELL_PRIORITY		(100)
#define		CONFIG_SHELL_STACK		(8192)
#define		CONFIG_SHELL_USER		("")
#define		CONFIG_SHELL_PASSWORD		("")
#define		CONFIG_TSFS_ENABLE
#define		CONFIG_TSFS_MAPTABLE		{\
		{("C:")}		}
#define		CONFIG_TSFS_MAX_FILE		(16)
#define		CONFIG_KERNEL_COMPS
#define		CONFIG_KINFO_ENABLE
#define		CONFIG_TASKVAR_ENABLE
#define		CONFIG_TIMER_ENABLE
#define		CONFIG_CACHE_ENABLE
#define		CONFIG_KACIF_ENABLE
#define		CONFIG_MPART_ENABLE
#define		CONFIG_KLOG_ENABLE
#define		CONFIG_KLOG_MSGS_NUM		(50)
#define		CONFIG_KLOG_IS_BOUND		(false)
#define		CONFIG_UTILS_COMPS
#define		CONFIG_DLLINK_ENABLE
#define		CONFIG_SDLINK_ENABLE
#define		CONFIG_DDLINK_ENABLE
#define		CONFIG_RNGBUF_ENABLE
#define		CONFIG_DEVICE_MANAGMENT
#define		CONFIG_MAX_OPEN_FILES		(30)
#define		CONFIG_MAX_DRIVERS		(20)
#define		CONFIG_DRIVERS
#define		CONFIG_DRIVERS_STORAGE
#define		CONFIG_COMM_DEVICE
#define		CONFIG_PSTY_ENABLE
#define		CONFIG_DEV_STDIO
#define		CONFIG_DEV_STDIO_CONSOLE
#define		CONFIG_SELECT_ENABLE