blob: b9c0065887333a9b2f81d4250856e035ffa27fd0 [file] [log] [blame]
CONFIG_GDBSTUB=y
CONFIG_GDBSTUB_SERIAL_BACKEND_NAME="UART_1"
CONFIG_NO_OPTIMIZATIONS=y
CONFIG_USERSPACE=y
CONFIG_KOBJECT_TEXT_AREA=4096