defconfig 1.9 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677
  1. # CONFIG_ARCH_FPU is not set
  2. # CONFIG_NSH_ARGCAT is not set
  3. # CONFIG_NSH_CMDOPT_DF_H is not set
  4. # CONFIG_NSH_CMDOPT_HEXDUMP is not set
  5. # CONFIG_NSH_CMDPARMS is not set
  6. CONFIG_ARCH_BOARD_STM32L476VG_DISCO=y
  7. CONFIG_ARCH_BOARD="stm32l476vg-disco"
  8. CONFIG_ARCH_BUTTONS=y
  9. CONFIG_ARCH_CHIP_STM32L4=y
  10. CONFIG_ARCH_CHIP_STM32L476RG=y
  11. CONFIG_ARCH_INTERRUPTSTACK=2048
  12. CONFIG_ARCH_IRQBUTTONS=y
  13. CONFIG_ARCH_STACKDUMP=y
  14. CONFIG_ARCH="arm"
  15. CONFIG_ARM_MPU=y
  16. CONFIG_BOARD_LOOPSPERMSEC=8499
  17. CONFIG_BOARDCTL_IOCTL=y
  18. CONFIG_BOARDCTL_UNIQUEID_SIZE=12
  19. CONFIG_BOARDCTL_UNIQUEID=y
  20. CONFIG_BUILD_PROTECTED=y
  21. CONFIG_DEV_LOOP=y
  22. CONFIG_DEV_ZERO=y
  23. CONFIG_DISABLE_POLL=y
  24. CONFIG_EXAMPLES_NSH_CXXINITIALIZE=y
  25. CONFIG_EXAMPLES_NSH=y
  26. CONFIG_FS_PROCFS_REGISTER=y
  27. CONFIG_FS_PROCFS=y
  28. CONFIG_FS_TMPFS=y
  29. CONFIG_HAVE_CXX=y
  30. CONFIG_HAVE_CXXINITIALIZE=y
  31. CONFIG_INTELHEX_BINARY=y
  32. CONFIG_MAX_TASKS=16
  33. CONFIG_MAX_WDOGPARMS=2
  34. CONFIG_MTD_N25QXXX=y
  35. CONFIG_MTD_PARTITION=y
  36. CONFIG_MTD=y
  37. CONFIG_N25QXXX_SECTOR512=y
  38. CONFIG_NFILE_DESCRIPTORS=8
  39. CONFIG_NFILE_STREAMS=8
  40. CONFIG_NSH_ARCHINIT=y
  41. CONFIG_NSH_DISABLE_DD=y
  42. CONFIG_NSH_DISABLE_IFUPDOWN=y
  43. CONFIG_NSH_DISABLE_MKRD=y
  44. CONFIG_NSH_FILEIOSIZE=512
  45. CONFIG_NSH_LINELEN=64
  46. CONFIG_NSH_READLINE=y
  47. CONFIG_NUTTX_USERSPACE=0x08020000
  48. CONFIG_PASS1_BUILDIR="configs/stm32l476vg-disco/kernel"
  49. CONFIG_PREALLOC_MQ_MSGS=4
  50. CONFIG_PREALLOC_TIMERS=4
  51. CONFIG_PREALLOC_WDOGS=8
  52. CONFIG_RAM_SIZE=98304
  53. CONFIG_RAM_START=0x20000000
  54. CONFIG_RAW_BINARY=y
  55. CONFIG_RR_INTERVAL=200
  56. CONFIG_RTC_ALARM=y
  57. CONFIG_RTC_DATETIME=y
  58. CONFIG_RTC_DRIVER=y
  59. CONFIG_RTC_IOCTL=y
  60. CONFIG_RTC_NALARMS=2
  61. CONFIG_RTC=y
  62. CONFIG_SCHED_WAITPID=y
  63. CONFIG_SDCLONE_DISABLE=y
  64. CONFIG_SPI=y
  65. CONFIG_STM32L4_DISABLE_IDLE_SLEEP_DURING_DEBUG=y
  66. CONFIG_STM32L4_DMA1=y
  67. CONFIG_STM32L4_DMA2=y
  68. CONFIG_STM32L4_PWR=y
  69. CONFIG_STM32L4_QSPI=y
  70. CONFIG_STM32L4_RNG=y
  71. CONFIG_STM32L4_SAI1PLL=y
  72. CONFIG_STM32L4_USART2=y
  73. CONFIG_SYS_RESERVED=8
  74. CONFIG_TASK_NAME_SIZE=0
  75. CONFIG_USART2_SERIAL_CONSOLE=y
  76. CONFIG_USER_ENTRYPOINT="nsh_main"
  77. CONFIG_WDOG_INTRESERVE=1