# Enable the console
CONFIG_CONSOLE_SHELL=y
CONFIG_KERNEL_SHELL=y
# Use the bootloader.
CONFIG_BOOT_HEADER=y
CONFIG_TEXT_SECTION_OFFSET=0x200