# # 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_STANDARD_SERIAL is not set CONFIG_ARCH="arm" CONFIG_ARCH_BOARD="nucleo-wl55jc" CONFIG_ARCH_BOARD_NUCLEO_WL55JC=y CONFIG_ARCH_BUTTONS=y CONFIG_ARCH_CHIP="stm32wl5" CONFIG_ARCH_CHIP_STM32WL55JC_CPU1=y CONFIG_ARCH_CHIP_STM32WL5=y CONFIG_INIT_ENTRYNAME="main" CONFIG_INIT_ENTRYPOINT="nsh_main" CONFIG_LPUART1_SERIAL_CONSOLE=y CONFIG_RAM_SIZE=32768 CONFIG_RAM_START=0x20000000 CONFIG_RAW_BINARY=y CONFIG_STM32WL5_LPUART1=y CONFIG_SYSTEM_NSH=y