# Generated by Kconfiglib (https://github.com/ulfalizer/Kconfiglib)
CONFIG_BOARD="apl-mrb"
CONFIG_SERIAL_PCI=y
CONFIG_HV_RAM_START=0x6e000000
CONFIG_HV_RAM_SIZE=0x07800000
CONFIG_PLATFORM_RAM_SIZE=0x200000000
CONFIG_SOS_RAM_SIZE=0x200000000
CONFIG_UOS_RAM_SIZE=0x200000000
CONFIG_IOMMU_BUS_NUM=0x10
