CONFIG_STDOUT_CONSOLE=y
CONFIG_LOG=y
CONFIG_LOG_DEFAULT_LEVEL=4
CONFIG_HW_STACK_PROTECTION=y
CONFIG_USERSPACE=y
CONFIG_MAX_DOMAIN_PARTITIONS=16