1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162 |
- #
- # This file is autogenerated: PLEASE DO NOT EDIT IT.
- #
- # You can use "make menuconfig" to make any modifications to the installed .config file.
- # You can then do "make savedefconfig" to generate a new defconfig file that includes your
- # modifications.
- #
- # CONFIG_NSH_DISABLE_IFCONFIG is not set
- # CONFIG_NSH_DISABLE_LOSMART is not set
- # CONFIG_NSH_DISABLE_PS is not set
- # CONFIG_STANDARD_SERIAL is not set
- CONFIG_ARCH_BOARD_NR5M100_NEXYS4=y
- CONFIG_ARCH_BOARD="nr5m100-nexys4"
- CONFIG_ARCH_CHIP="nr5m100"
- CONFIG_ARCH_CHIP_NR5=y
- CONFIG_ARCH_CHIP_NR5M100=y
- CONFIG_ARCH_RISCV=y
- CONFIG_ARCH_STACKDUMP=y
- CONFIG_ARCH="risc-v"
- CONFIG_BOARD_LOOPSPERMSEC=15000
- CONFIG_BUILTIN=y
- CONFIG_DEBUG_FULLOPT=y
- CONFIG_DEBUG_SYMBOLS=y
- CONFIG_DEV_ZERO=y
- CONFIG_SYSTEM_NSH_CXXINITIALIZE=y
- CONFIG_SYSTEM_NSH=y
- CONFIG_FS_WRITABLE=y
- CONFIG_HAVE_CXX=y
- CONFIG_HAVE_CXXINITIALIZE=y
- CONFIG_IDLETHREAD_STACKSIZE=2048
- CONFIG_INTELHEX_BINARY=y
- CONFIG_LIBC_PERROR_STDOUT=y
- CONFIG_LIBC_STRERROR=y
- CONFIG_MAX_TASKS=16
- CONFIG_MAX_WDOGPARMS=2
- CONFIG_NFILE_DESCRIPTORS=8
- CONFIG_NFILE_STREAMS=8
- CONFIG_NR5_TIMER1=y
- CONFIG_NR5_TIMER2=y
- CONFIG_NR5_UART1=y
- CONFIG_NSH_ARCHINIT=y
- CONFIG_NSH_BUILTIN_APPS=y
- CONFIG_NSH_DISABLE_MKRD=y
- CONFIG_NSH_FILEIOSIZE=512
- CONFIG_NSH_LINELEN=64
- CONFIG_NSH_READLINE=y
- CONFIG_NSH_STRERROR=y
- CONFIG_PREALLOC_TIMERS=4
- CONFIG_PREALLOC_WDOGS=4
- CONFIG_RAM_SIZE=114688
- CONFIG_RAM_START=0x20000000
- CONFIG_RAW_BINARY=y
- CONFIG_RR_INTERVAL=200
- CONFIG_RV32IM_HW_MULDIV=y
- CONFIG_RV32IM_SYSTEM_CSRRS_SUPPORT=y
- CONFIG_START_DAY=27
- CONFIG_START_YEAR=2013
- CONFIG_SYSLOG_NONE=y
- CONFIG_TASK_NAME_SIZE=0
- CONFIG_UART1_SERIAL_CONSOLE=y
- CONFIG_USER_ENTRYPOINT="nsh_main"
- CONFIG_WDOG_INTRESERVE=0
|