# SPDX-License-Identifier: MIT
#
# Enable EARLY_PRINTK and related PRINTK functionality
# 
CONFIG_PRINTK=y
CONFIG_PRINTK_TIME=y

CONFIG_EFI_EARLYCON=y
CONFIG_TTY_PRINTK=y