2023-12-23 16:17:15 +08:00
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# Knl config
|
|
|
|
|
#
|
|
|
|
|
CONFIG_KNL_INFO=y
|
|
|
|
|
CONFIG_KNL_TEXT_ADDR=0x8000000
|
|
|
|
|
CONFIG_KNL_TEXT_SIZE=0x100000
|
|
|
|
|
CONFIG_KNL_DATA_ADDR=0x20000000
|
2024-01-07 23:32:30 +08:00
|
|
|
CONFIG_KNL_DATA_SIZE=0x10000
|
2023-12-23 16:17:15 +08:00
|
|
|
CONFIG_KNL_OFFSET=0x2000
|
|
|
|
|
CONFIG_INIT_TASK_OFFSET=0x10000
|
|
|
|
|
CONFIG_BOOTFS_OFFSET=0x20000
|
|
|
|
|
CONFIG_MK_MPU_CFG=y
|
|
|
|
|
CONFIG_FT_ADDR_NR=16
|
|
|
|
|
CONFIG_SYS_SCHE_HZ=1000
|
|
|
|
|
CONFIG_USER_ISR_START_NO=16
|
|
|
|
|
CONFIG_IRQ_REG_TAB_SIZE=80
|
|
|
|
|
CONFIG_REGION_NUM=8
|
|
|
|
|
CONFIG_OBJ_MAP_TAB_SIZE=4
|
|
|
|
|
CONFIG_OBJ_MAP_ENTRY_SIZE=8
|
|
|
|
|
CONFIG_PRINTK_CACHE_SIZE=128
|
|
|
|
|
# end of Knl config
|
2023-11-18 22:58:10 +08:00
|
|
|
|
2023-12-05 00:01:26 +08:00
|
|
|
#
|
|
|
|
|
# Libc backend
|
|
|
|
|
#
|
2023-12-09 23:11:55 +08:00
|
|
|
CONFIG_FD_MAP_ROW_CN=16
|
|
|
|
|
CONFIG_FD_MAP_ROW_NR=16
|
2023-12-05 00:01:26 +08:00
|
|
|
# end of Libc backend
|
|
|
|
|
|
2023-12-23 16:17:15 +08:00
|
|
|
#
|
|
|
|
|
# Sys util config
|
|
|
|
|
#
|
|
|
|
|
CONFIG_USING_SIG=y
|
|
|
|
|
CONFIG_SIG_THREAD_STACK_SIZE=512
|
|
|
|
|
CONFIG_SIG_THREAD_PRIO=3
|
|
|
|
|
# end of Sys util config
|
|
|
|
|
|
2023-11-18 22:58:10 +08:00
|
|
|
#
|
|
|
|
|
# DFS: device virtual file system
|
|
|
|
|
#
|
|
|
|
|
CONFIG_RT_USING_DFS=y
|
|
|
|
|
CONFIG_DFS_USING_POSIX=y
|
|
|
|
|
CONFIG_DFS_USING_WORKDIR=y
|
|
|
|
|
# CONFIG_RT_USING_DFS_MNTTABLE is not set
|
|
|
|
|
CONFIG_DFS_FD_MAX=16
|
|
|
|
|
CONFIG_RT_USING_DFS_V1=y
|
|
|
|
|
# CONFIG_RT_USING_DFS_V2 is not set
|
|
|
|
|
CONFIG_DFS_FILESYSTEMS_MAX=4
|
|
|
|
|
CONFIG_DFS_FILESYSTEM_TYPES_MAX=4
|
|
|
|
|
# CONFIG_RT_USING_DFS_ELMFAT is not set
|
|
|
|
|
CONFIG_RT_USING_DFS_DEVFS=y
|
|
|
|
|
# CONFIG_RT_USING_DFS_ROMFS is not set
|
|
|
|
|
# CONFIG_RT_USING_DFS_CROMFS is not set
|
|
|
|
|
# CONFIG_RT_USING_DFS_RAMFS is not set
|
|
|
|
|
# CONFIG_RT_USING_DFS_TMPFS is not set
|
|
|
|
|
# CONFIG_RT_USING_DFS_MQUEUE is not set
|
|
|
|
|
# end of DFS: device virtual file system
|
2023-11-18 16:29:46 +08:00
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# Device Drivers
|
|
|
|
|
#
|
|
|
|
|
# CONFIG_RT_USING_DM is not set
|
|
|
|
|
CONFIG_RT_USING_DEVICE_IPC=y
|
|
|
|
|
CONFIG_RT_UNAMED_PIPE_NUMBER=64
|
|
|
|
|
# CONFIG_RT_USING_SYSTEM_WORKQUEUE is not set
|
|
|
|
|
CONFIG_RT_USING_SERIAL=y
|
|
|
|
|
CONFIG_RT_USING_SERIAL_V1=y
|
|
|
|
|
# CONFIG_RT_USING_SERIAL_V2 is not set
|
|
|
|
|
CONFIG_RT_SERIAL_USING_DMA=y
|
|
|
|
|
CONFIG_RT_SERIAL_RB_BUFSZ=64
|
|
|
|
|
# CONFIG_RT_USING_CAN is not set
|
|
|
|
|
# CONFIG_RT_USING_HWTIMER is not set
|
|
|
|
|
# CONFIG_RT_USING_CPUTIME is not set
|
|
|
|
|
# CONFIG_RT_USING_I2C is not set
|
|
|
|
|
# CONFIG_RT_USING_PHY is not set
|
|
|
|
|
CONFIG_RT_USING_PIN=y
|
|
|
|
|
# CONFIG_RT_USING_ADC is not set
|
|
|
|
|
# CONFIG_RT_USING_DAC is not set
|
|
|
|
|
# CONFIG_RT_USING_NULL is not set
|
|
|
|
|
# CONFIG_RT_USING_ZERO is not set
|
|
|
|
|
# CONFIG_RT_USING_RANDOM is not set
|
|
|
|
|
# CONFIG_RT_USING_PWM is not set
|
|
|
|
|
# CONFIG_RT_USING_MTD_NOR is not set
|
|
|
|
|
# CONFIG_RT_USING_MTD_NAND is not set
|
|
|
|
|
# CONFIG_RT_USING_PM is not set
|
|
|
|
|
# CONFIG_RT_USING_RTC is not set
|
|
|
|
|
# CONFIG_RT_USING_SDIO is not set
|
|
|
|
|
# CONFIG_RT_USING_SPI is not set
|
|
|
|
|
# CONFIG_RT_USING_WDT is not set
|
|
|
|
|
# CONFIG_RT_USING_AUDIO is not set
|
|
|
|
|
# CONFIG_RT_USING_SENSOR is not set
|
|
|
|
|
# CONFIG_RT_USING_TOUCH is not set
|
|
|
|
|
# CONFIG_RT_USING_LCD is not set
|
|
|
|
|
# CONFIG_RT_USING_HWCRYPTO is not set
|
|
|
|
|
# CONFIG_RT_USING_PULSE_ENCODER is not set
|
|
|
|
|
# CONFIG_RT_USING_INPUT_CAPTURE is not set
|
|
|
|
|
# CONFIG_RT_USING_DEV_BUS is not set
|
|
|
|
|
# CONFIG_RT_USING_WIFI is not set
|
|
|
|
|
# CONFIG_RT_USING_VIRTIO is not set
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# Using USB
|
|
|
|
|
#
|
|
|
|
|
# CONFIG_RT_USING_USB_HOST is not set
|
|
|
|
|
# CONFIG_RT_USING_USB_DEVICE is not set
|
|
|
|
|
# end of Using USB
|
|
|
|
|
# end of Device Drivers
|
2023-12-09 23:11:55 +08:00
|
|
|
|
2023-12-23 16:17:15 +08:00
|
|
|
CONFIG_RTT_DIR="./"
|
