# Generated by Kconfiglib (https://github.com/ulfalizer/Kconfiglib)
CONFIG_BOARD="up2"
CONFIG_SERIAL_PCI=y
CONFIG_SERIAL_PCI_BDF="0:18.0"
CONFIG_COM_IRQ=6
CONFIG_DMAR_PARSE_ENABLED=y
CONFIG_HV_RAM_START=0x5e000000