|
| 1 | +# |
| 2 | +# This file is autogenerated: PLEASE DO NOT EDIT IT. |
| 3 | +# |
| 4 | +# You can use "make menuconfig" to make any modifications to the installed .config file. |
| 5 | +# You can then do "make savedefconfig" to generate a new defconfig file that includes your |
| 6 | +# modifications. |
| 7 | +# |
| 8 | +# CONFIG_DEBUG_WARN is not set |
| 9 | +CONFIG_ARCH="arm" |
| 10 | +CONFIG_ARCH_BOARD="mps3-an547" |
| 11 | +CONFIG_ARCH_BOARD_MPS3_AN547=y |
| 12 | +CONFIG_ARCH_CHIP="mps" |
| 13 | +CONFIG_ARCH_CHIP_MPS3_AN547=y |
| 14 | +CONFIG_ARCH_CHIP_MPS=y |
| 15 | +CONFIG_ARCH_INTERRUPTSTACK=2048 |
| 16 | +CONFIG_ARCH_STACKDUMP=y |
| 17 | +CONFIG_ARMV8M_SYSTICK=y |
| 18 | +CONFIG_ARMV8M_USEBASEPRI=y |
| 19 | +CONFIG_ARM_TOOLCHAIN_CLANG=y |
| 20 | +CONFIG_BUILTIN=y |
| 21 | +CONFIG_BUILTIN_COMPILER_RT=y |
| 22 | +CONFIG_CMSDK_UART0=y |
| 23 | +CONFIG_CMSDK_UART0_BASE=0x49303000 |
| 24 | +CONFIG_CMSDK_UART0_CLOCK=25000000 |
| 25 | +CONFIG_CMSDK_UART0_OV_IRQ=59 |
| 26 | +CONFIG_CMSDK_UART0_RX_IRQ=50 |
| 27 | +CONFIG_CMSDK_UART0_SERIAL_CONSOLE=y |
| 28 | +CONFIG_CMSDK_UART0_TX_IRQ=49 |
| 29 | +CONFIG_CMSDK_UART=y |
| 30 | +CONFIG_DEBUG_ASSERTIONS=y |
| 31 | +CONFIG_DEBUG_BUSFAULT=y |
| 32 | +CONFIG_DEBUG_FEATURES=y |
| 33 | +CONFIG_DEBUG_HARDFAULT_ALERT=y |
| 34 | +CONFIG_DEBUG_SCHED=y |
| 35 | +CONFIG_DEBUG_SCHED_ERROR=y |
| 36 | +CONFIG_DEBUG_SYMBOLS=y |
| 37 | +CONFIG_DEBUG_USAGEFAULT=y |
| 38 | +CONFIG_DEFAULT_TASK_STACKSIZE=4096 |
| 39 | +CONFIG_DEV_ZERO=y |
| 40 | +CONFIG_EXAMPLES_HELLO=y |
| 41 | +CONFIG_EXPERIMENTAL=y |
| 42 | +CONFIG_FS_PROCFS=y |
| 43 | +CONFIG_FS_ROMFS=y |
| 44 | +CONFIG_FS_TMPFS=y |
| 45 | +CONFIG_HAVE_CXX=y |
| 46 | +CONFIG_HAVE_CXXINITIALIZE=y |
| 47 | +CONFIG_IDLETHREAD_STACKSIZE=4096 |
| 48 | +CONFIG_INIT_ENTRYPOINT="nsh_main" |
| 49 | +CONFIG_INTELHEX_BINARY=y |
| 50 | +CONFIG_LIBC_MEMFD_ERROR=y |
| 51 | +CONFIG_LIBM=y |
| 52 | +CONFIG_MM_REGIONS=2 |
| 53 | +CONFIG_NSH_ARCHINIT=y |
| 54 | +CONFIG_NSH_BUILTIN_APPS=y |
| 55 | +CONFIG_NSH_FILEIOSIZE=512 |
| 56 | +CONFIG_NSH_READLINE=y |
| 57 | +CONFIG_PREALLOC_TIMERS=4 |
| 58 | +CONFIG_RAMLOG=y |
| 59 | +CONFIG_RAM_SIZE=2097152 |
| 60 | +CONFIG_RAM_START=0x01000000 |
| 61 | +CONFIG_RAW_BINARY=y |
| 62 | +CONFIG_READLINE_CMD_HISTORY=y |
| 63 | +CONFIG_RR_INTERVAL=200 |
| 64 | +CONFIG_SCHED_HPWORK=y |
| 65 | +CONFIG_SCHED_HPWORKPRIORITY=192 |
| 66 | +CONFIG_SCHED_IRQMONITOR=y |
| 67 | +CONFIG_SPINLOCK=y |
| 68 | +CONFIG_STACK_COLORATION=y |
| 69 | +CONFIG_STANDARD_SERIAL=y |
| 70 | +CONFIG_START_DAY=25 |
| 71 | +CONFIG_START_MONTH=4 |
| 72 | +CONFIG_START_YEAR=2023 |
| 73 | +CONFIG_SYMTAB_ORDEREDBYNAME=y |
| 74 | +CONFIG_SYSTEM_NSH=y |
| 75 | +CONFIG_SYSTEM_SYSTEM=y |
| 76 | +CONFIG_TESTING_GETPRIME=y |
| 77 | +CONFIG_TESTING_OSTEST=y |
| 78 | +CONFIG_TIMER=y |
| 79 | +CONFIG_TIMER_ARCH=y |
| 80 | +CONFIG_USEC_PER_TICK=1000 |
0 commit comments