Advertisement
Guest User

Untitled

a guest
Sep 22nd, 2017
85
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #
  2. # Automatically generated file; DO NOT EDIT.
  3. # Zephyr Kernel Configuration
  4. #
  5. # CONFIG_ARC is not set
  6. CONFIG_ARM=y
  7. # CONFIG_X86 is not set
  8. # CONFIG_NIOS2 is not set
  9. # CONFIG_RISCV32 is not set
  10. # CONFIG_XTENSA is not set
  11. # CONFIG_SYS_POWER_LOW_POWER_STATE_SUPPORTED is not set
  12. # CONFIG_SYS_POWER_DEEP_SLEEP_SUPPORTED is not set
  13. # CONFIG_BOOTLOADER_CONTEXT_RESTORE_SUPPORTED is not set
  14. # CONFIG_SIMPLE_FATAL_ERROR_HANDLER is not set
  15. CONFIG_ARCH="arm"
  16. CONFIG_SOC="ti_lm3s6965"
  17. CONFIG_BOARD="qemu_cortex_m3"
  18. CONFIG_GEN_ISR_TABLES=y
  19. CONFIG_GEN_IRQ_VECTOR_TABLE=y
  20. CONFIG_GEN_SW_ISR_TABLE=y
  21. CONFIG_GEN_IRQ_START_VECTOR=0
  22. CONFIG_ARCH_DEFCONFIG="arch/arm/defconfig"
  23. # CONFIG_CPU_HAS_MPU is not set
  24. # CONFIG_CPU_HAS_FPU is not set
  25. CONFIG_DATA_ENDIANNESS_LITTLE=y
  26. CONFIG_NUM_IRQS=34
  27. CONFIG_FAULT_DUMP=2
  28. # CONFIG_IRQ_OFFLOAD is not set
  29. CONFIG_XIP=y
  30. # CONFIG_SOC_SERIES_BEETLE is not set
  31. # CONFIG_SOC_SERIES_MPS2 is not set
  32. # CONFIG_SOC_SERIES_SAM3X is not set
  33. # CONFIG_SOC_SERIES_SAM4S is not set
  34. # CONFIG_SOC_SERIES_SAME70 is not set
  35. # CONFIG_SOC_SERIES_NRF51X is not set
  36. # CONFIG_SOC_SERIES_NRF52X is not set
  37. # CONFIG_SOC_SERIES_KINETIS_K6X is not set
  38. # CONFIG_SOC_SERIES_KINETIS_KL2X is not set
  39. # CONFIG_SOC_SERIES_KINETIS_KWX is not set
  40. # CONFIG_SOC_SERIES_STM32F1X is not set
  41. # CONFIG_SOC_SERIES_STM32F3X is not set
  42. # CONFIG_SOC_SERIES_STM32F4X is not set
  43. # CONFIG_SOC_SERIES_STM32L4X is not set
  44. CONFIG_SOC_TI_LM3S6965=y
  45. # CONFIG_SOC_SERIES_CC2650 is not set
  46. # CONFIG_SOC_SERIES_CC32XX is not set
  47.  
  48. #
  49. # ARM Options
  50. #
  51. CONFIG_CPU_CORTEX=y
  52. CONFIG_CPU_CORTEX_M=y
  53. CONFIG_CPU_HAS_SYSTICK=y
  54. CONFIG_ISA_THUMB2=y
  55. CONFIG_CPU_CORTEX_M_HAS_BASEPRI=y
  56. CONFIG_CPU_CORTEX_M_HAS_PROGRAMMABLE_FAULT_PRIOS=y
  57. # CONFIG_ARMV6_M is not set
  58. CONFIG_ARMV7_M=y
  59. CONFIG_CPU_CORTEX_M3=y
  60. # CONFIG_CPU_CORTEX_M7 is not set
  61.  
  62. #
  63. # ARM Cortex-M options
  64. #
  65. CONFIG_LDREX_STREX_AVAILABLE=y
  66. CONFIG_STACK_ALIGN_DOUBLE_WORD=y
  67. # CONFIG_RUNTIME_NMI is not set
  68.  
  69. #
  70. # ARM Cortex-M0/M0+/M3/M4/M7 options
  71. #
  72. # CONFIG_ZERO_LATENCY_IRQS is not set
  73. CONFIG_ARCH_HAS_THREAD_ABORT=y
  74.  
  75. #
  76. # Board Configuration
  77. #
  78. # CONFIG_SOC_FAMILY_ARM is not set
  79. # CONFIG_SOC_FAMILY_NRF5 is not set
  80. # CONFIG_SOC_FAMILY_KINETIS is not set
  81. # CONFIG_HAS_OSC is not set
  82. # CONFIG_HAS_MCG is not set
  83. # CONFIG_HAS_RNGA is not set
  84. # CONFIG_HAS_TRNG is not set
  85. # CONFIG_HAS_FTM is not set
  86. # CONFIG_HAS_LPUART is not set
  87. # CONFIG_HAS_LPSCI is not set
  88. # CONFIG_HAS_ADC16 is not set
  89. # CONFIG_SOC_FAMILY_STM32 is not set
  90. CONFIG_SOC_TI_LM3S6965_QEMU=y
  91. # CONFIG_SOC_FAMILY_TISIMPLELINK is not set
  92. CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=12000000
  93. CONFIG_TOOLCHAIN_VARIANT=""
  94. CONFIG_QEMU_TARGET=y
  95. CONFIG_BOARD_QEMU_CORTEX_M3=y
  96. # CONFIG_BOARD_XT_SIM is not set
  97.  
  98. #
  99. # Board Options
  100. #
  101.  
  102. #
  103. # General Kernel Options
  104. #
  105. CONFIG_MULTITHREADING=y
  106. CONFIG_NUM_COOP_PRIORITIES=16
  107. CONFIG_NUM_PREEMPT_PRIORITIES=15
  108. CONFIG_MAIN_THREAD_PRIORITY=0
  109. CONFIG_COOP_ENABLED=y
  110. CONFIG_PREEMPT_ENABLED=y
  111. CONFIG_PRIORITY_CEILING=0
  112. CONFIG_MAIN_STACK_SIZE=1024
  113. CONFIG_IDLE_STACK_SIZE=256
  114. CONFIG_ISR_STACK_SIZE=2048
  115. # CONFIG_THREAD_STACK_INFO is not set
  116. # CONFIG_THREAD_CUSTOM_DATA is not set
  117. CONFIG_ERRNO=y
  118. # CONFIG_APPLICATION_MEMORY is not set
  119.  
  120. #
  121. # Kernel Debugging and Metrics
  122. #
  123. # CONFIG_KERNEL_DEBUG is not set
  124. CONFIG_BOOT_BANNER=y
  125. CONFIG_BOOT_DELAY=0
  126. CONFIG_BUILD_TIMESTAMP=y
  127. # CONFIG_EXECUTION_BENCHMARKING is not set
  128. # CONFIG_THREAD_MONITOR is not set
  129.  
  130. #
  131. # Work Queue Options
  132. #
  133. CONFIG_SYSTEM_WORKQUEUE_STACK_SIZE=1024
  134. CONFIG_SYSTEM_WORKQUEUE_PRIORITY=-1
  135. CONFIG_OFFLOAD_WORKQUEUE_STACK_SIZE=1024
  136. CONFIG_OFFLOAD_WORKQUEUE_PRIORITY=-1
  137.  
  138. #
  139. # Atomic Operations
  140. #
  141. CONFIG_ATOMIC_OPERATIONS_BUILTIN=y
  142.  
  143. #
  144. # Timer API Options
  145. #
  146. CONFIG_TIMESLICING=y
  147. CONFIG_TIMESLICE_SIZE=0
  148. CONFIG_TIMESLICE_PRIORITY=0
  149. # CONFIG_POLL is not set
  150.  
  151. #
  152. # Other Kernel Object Options
  153. #
  154. CONFIG_NUM_MBOX_ASYNC_MSGS=10
  155. CONFIG_NUM_PIPE_ASYNC_MSGS=10
  156. # CONFIG_USERSPACE is not set
  157.  
  158. #
  159. # Memory Pool Options
  160. #
  161. CONFIG_MEM_POOL_SPLIT_BEFORE_DEFRAG=y
  162. # CONFIG_MEM_POOL_DEFRAG_BEFORE_SPLIT is not set
  163. # CONFIG_MEM_POOL_SPLIT_ONLY is not set
  164. CONFIG_HEAP_MEM_POOL_SIZE=0
  165. CONFIG_ARCH_HAS_CUSTOM_SWAP_TO_MAIN=y
  166. CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
  167. CONFIG_SYS_CLOCK_EXISTS=y
  168. # CONFIG_INIT_STACKS is not set
  169. # CONFIG_RING_BUFFER is not set
  170.  
  171. #
  172. # Initialization Priorities
  173. #
  174. CONFIG_KERNEL_INIT_PRIORITY_OBJECTS=30
  175. CONFIG_KERNEL_INIT_PRIORITY_DEFAULT=40
  176. CONFIG_KERNEL_INIT_PRIORITY_DEVICE=50
  177. CONFIG_APPLICATION_INIT_PRIORITY=90
  178. # CONFIG_PTHREAD_IPC is not set
  179.  
  180. #
  181. # Security Options
  182. #
  183. # CONFIG_STACK_CANARIES is not set
  184. # CONFIG_KERNEL_EVENT_LOGGER is not set
  185. # CONFIG_SYS_POWER_MANAGEMENT is not set
  186. CONFIG_HAS_DTS=y
  187. # CONFIG_HAS_DTS_I2C is not set
  188.  
  189. #
  190. # Device Drivers
  191. #
  192. # CONFIG_IEEE802154 is not set
  193.  
  194. #
  195. # IEEE 802.15.4 drivers options
  196. #
  197. CONFIG_CONSOLE=y
  198. CONFIG_CONSOLE_INPUT_MAX_LINE_LEN=128
  199. CONFIG_CONSOLE_HAS_DRIVER=y
  200. # CONFIG_CONSOLE_HANDLER is not set
  201. CONFIG_UART_CONSOLE=y
  202. CONFIG_UART_CONSOLE_INIT_PRIORITY=60
  203. # CONFIG_UART_CONSOLE_DEBUG_SERVER_HOOKS is not set
  204. # CONFIG_USB_UART_CONSOLE is not set
  205. # CONFIG_RAM_CONSOLE is not set
  206. # CONFIG_IPM_CONSOLE_SENDER is not set
  207. # CONFIG_IPM_CONSOLE_RECEIVER is not set
  208. # CONFIG_UART_PIPE is not set
  209. # CONFIG_TELNET_CONSOLE is not set
  210.  
  211. #
  212. # Ethernet Drivers
  213. #
  214. # CONFIG_SLIP is not set
  215. CONFIG_SERIAL=y
  216.  
  217. #
  218. # Capabilities
  219. #
  220. CONFIG_SERIAL_HAS_DRIVER=y
  221. CONFIG_SERIAL_SUPPORT_INTERRUPT=y
  222. # CONFIG_UART_INTERRUPT_DRIVEN is not set
  223. # CONFIG_UART_LINE_CTRL is not set
  224. # CONFIG_UART_DRV_CMD is not set
  225.  
  226. #
  227. # Serial Drivers
  228. #
  229. # CONFIG_UART_NS16550 is not set
  230. CONFIG_UART_STELLARIS=y
  231. CONFIG_UART_STELLARIS_PORT_0=y
  232. CONFIG_UART_STELLARIS_PORT_1=y
  233. CONFIG_UART_STELLARIS_PORT_2=y
  234. # CONFIG_UART_ALTERA_JTAG is not set
  235.  
  236. #
  237. # Interrupt Controllers
  238. #
  239.  
  240. #
  241. # Timer Drivers
  242. #
  243. CONFIG_CORTEX_M_SYSTICK=y
  244. # CONFIG_SYSTEM_CLOCK_DISABLE is not set
  245. # CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME is not set
  246. CONFIG_SYSTEM_CLOCK_INIT_PRIORITY=0
  247. # CONFIG_RANDOM_GENERATOR is not set
  248. # CONFIG_GROVE is not set
  249. # CONFIG_GPIO is not set
  250. # CONFIG_SHARED_IRQ is not set
  251. CONFIG_SPI_LEGACY_API=y
  252. # CONFIG_SPI is not set
  253. # CONFIG_I2C is not set
  254. # CONFIG_I2S is not set
  255. # CONFIG_PWM is not set
  256. # CONFIG_PINMUX is not set
  257. # CONFIG_ADC is not set
  258. # CONFIG_RTC is not set
  259. # CONFIG_WATCHDOG is not set
  260. # CONFIG_CLOCK_CONTROL is not set
  261. # CONFIG_IPM is not set
  262. # CONFIG_AIO_COMPARATOR is not set
  263. # CONFIG_FLASH is not set
  264. # CONFIG_SENSOR is not set
  265. # CONFIG_COUNTER is not set
  266. # CONFIG_DMA is not set
  267. # CONFIG_USB is not set
  268. # CONFIG_CRYPTO is not set
  269.  
  270. #
  271. # Compile and Link Features
  272. #
  273.  
  274. #
  275. # Linker Options
  276. #
  277. CONFIG_HAS_FLASH_LOAD_OFFSET=y
  278. CONFIG_TEXT_SECTION_OFFSET=0
  279. # CONFIG_HAVE_CUSTOM_LINKER_SCRIPT is not set
  280. # CONFIG_CUSTOM_RODATA_LD is not set
  281. # CONFIG_CUSTOM_RWDATA_LD is not set
  282. # CONFIG_CUSTOM_SECTIONS_LD is not set
  283. # CONFIG_LINK_WHOLE_ARCHIVE is not set
  284.  
  285. #
  286. # Compiler Options
  287. #
  288. CONFIG_CROSS_COMPILE=""
  289. CONFIG_COMPILER_OPT=""
  290. # CONFIG_GDB_INFO is not set
  291. CONFIG_KERNEL_BIN_NAME="zephyr"
  292.  
  293. #
  294. # System Monitoring Options
  295. #
  296. # CONFIG_PERFORMANCE_METRICS is not set
  297.  
  298. #
  299. # Boot Options
  300. #
  301. # CONFIG_IS_BOOTLOADER is not set
  302. # CONFIG_REBOOT is not set
  303.  
  304. #
  305. # Cryptography
  306. #
  307.  
  308. #
  309. # C Library
  310. #
  311. # CONFIG_NEWLIB_LIBC is not set
  312.  
  313. #
  314. # Additional libraries
  315. #
  316. # CONFIG_JSON_LIBRARY is not set
  317.  
  318. #
  319. # Bluetooth
  320. #
  321. # CONFIG_BT is not set
  322.  
  323. #
  324. # Console (pull-style)
  325. #
  326. # CONFIG_CONSOLE_PULL is not set
  327. # CONFIG_CPLUSPLUS is not set
  328.  
  329. #
  330. # Debugging Options
  331. #
  332. # CONFIG_DEBUG is not set
  333. # CONFIG_STACK_USAGE is not set
  334. # CONFIG_STACK_SENTINEL is not set
  335. CONFIG_PRINTK=y
  336. # CONFIG_STDOUT_CONSOLE is not set
  337. CONFIG_EARLY_CONSOLE=y
  338. # CONFIG_ASSERT is not set
  339. # CONFIG_DEBUG_TRACING_KERNEL_OBJECTS is not set
  340. # CONFIG_OBJECT_TRACING is not set
  341. # CONFIG_OVERRIDE_FRAME_POINTER_DEFAULT is not set
  342. # CONFIG_OPENOCD_SUPPORT is not set
  343.  
  344. #
  345. # Disk
  346. #
  347. # CONFIG_DISK_ACCESS is not set
  348.  
  349. #
  350. # File System
  351. #
  352. # CONFIG_FILE_SYSTEM is not set
  353.  
  354. #
  355. # Logging Options
  356. #
  357. # CONFIG_SYS_LOG is not set
  358.  
  359. #
  360. # Networking
  361. #
  362. # CONFIG_NET_BUF is not set
  363. # CONFIG_NETWORKING is not set
  364. # CONFIG_CONSOLE_SHELL is not set
  365.  
  366. #
  367. # External Sources
  368. #
  369.  
  370. #
  371. # HALs
  372. #
  373. CONFIG_HAS_CMSIS=y
  374.  
  375. #
  376. # Cryptography
  377. #
  378. # CONFIG_TINYCRYPT is not set
  379. # CONFIG_MBEDTLS is not set
  380.  
  381. #
  382. # File Systems
  383. #
  384.  
  385. #
  386. # Debug libraries
  387. #
  388. # CONFIG_HAS_SEGGER_RTT is not set
  389. # CONFIG_HAS_SEGGER_SYSTEMVIEW is not set
  390.  
  391. #
  392. # Testing
  393. #
  394. # CONFIG_ZTEST is not set
  395. CONFIG_TEST_EXTRA_STACKSIZE=0
  396. # CONFIG_SOC_FAMILY_SAM is not set
  397. # CONFIG_SOC_FAMILY_RISCV_PRIVILEGE is not set
Advertisement
Advertisement
Advertisement
RAW Paste Data Copied
Advertisement