# Generated by Kconfiglib (https://github.com/ulfalizer/Kconfiglib)
CONFIG_PLATFORM_UEFI=y
CONFIG_BOARD="UP2"
CONFIG_SERIAL_MMIO=y
CONFIG_SERIAL_MMIO_BASE=0x9141e000