# Enable Console and printk for logging
CONFIG_CONSOLE=y
CONFIG_LOG=y

# Enable Shell
CONFIG_SHELL=y
CONFIG_REBOOT=y

# Enable the reset command
CONFIG_KERNEL_SHELL=y